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/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	435
Biggest coefficient in the objective function	282
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1168
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	282
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1168
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 7953

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-17 17:24:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3282 boxname=wulflinc18 idbench=365 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc18/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 3282
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        821580 kB
Buffers:         36432 kB
Cached:         139640 kB
SwapCached:        320 kB
Active:          74052 kB
Inactive:       105204 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        821328 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            28112 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:44:58 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 3282 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-10:10:4.5:0.95:100.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.96 0.93 2/55 16983
Raw data (stat): 16983 (runsolver) R 16982 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512287431 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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+10.0012 s]
Raw data (loadavg): 0.87 0.96 0.93 2/55 16983
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 1119 0 0 0 995 4 0 0 25 0 1 0 512287431 5787648 1115 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1413 1115 231 231 0 1182 0
vsize: 5652
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.96 0.93 2/55 16983
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 1996 0 0 0 1992 7 0 0 25 0 1 0 512287431 10182656 1992 4294967295 134512640 135450300 3221224624 3221223232 134537672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1992 231 231 0 2255 0
vsize: 9944
[startup+30.0019 s]
Raw data (loadavg): 0.90 0.96 0.93 2/55 16983
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 2723 0 0 0 2990 9 0 0 25 0 1 0 512287431 18706432 2719 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4567 2719 231 231 0 4336 0
vsize: 18268
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.97 0.93 2/55 16983
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 3498 0 0 0 3986 13 0 0 25 0 1 0 512287431 19177472 3445 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3445 231 231 0 4451 0
vsize: 18728
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.97 0.93 2/55 16983
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 3874 0 0 0 4984 15 0 0 25 0 1 0 512287431 19329024 3821 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4719 3821 231 231 0 4488 0
vsize: 18876
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.97 0.93 2/55 16983
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 3909 0 0 0 5984 16 0 0 25 0 1 0 512287431 19329024 3856 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4719 3856 231 231 0 4488 0
vsize: 18876
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 16983
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4038 0 0 0 6983 17 0 0 25 0 1 0 512287431 19865600 3888 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4850 3888 231 231 0 4619 0
vsize: 19400
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4066 0 0 0 7982 18 0 0 25 0 1 0 512287431 19996672 3916 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 3916 231 231 0 4651 0
vsize: 19528
[startup+90.0024 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4094 0 0 0 8981 19 0 0 25 0 1 0 512287431 19996672 3944 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 3944 231 231 0 4651 0
vsize: 19528
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4128 0 0 0 9980 20 0 0 25 0 1 0 512287431 20160512 3978 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4922 3978 231 231 0 4691 0
vsize: 19688
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4155 0 0 0 10979 21 0 0 25 0 1 0 512287431 20160512 4005 4294967295 134512640 135450300 3221224624 3221223344 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4922 4005 231 231 0 4691 0
vsize: 19688
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4189 0 0 0 11978 22 0 0 25 0 1 0 512287431 20160512 4039 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4922 4039 231 231 0 4691 0
vsize: 19688
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4216 0 0 0 12977 23 0 0 25 0 1 0 512287431 20291584 4066 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4954 4066 231 231 0 4723 0
vsize: 19816
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4245 0 0 0 13976 25 0 0 25 0 1 0 512287431 20291584 4095 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4954 4095 231 231 0 4723 0
vsize: 19816
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4469 0 0 0 14974 27 0 0 25 0 1 0 512287431 21258240 4126 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4126 231 231 0 4959 0
vsize: 20760
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4490 0 0 0 15973 28 0 0 25 0 1 0 512287431 21258240 4147 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4147 231 231 0 4959 0
vsize: 20760
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4524 0 0 0 16972 29 0 0 25 0 1 0 512287431 21393408 4181 4294967295 134512640 135450300 3221224624 3221223344 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4181 231 231 0 4992 0
vsize: 20892
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4545 0 0 0 17971 30 0 0 25 0 1 0 512287431 21393408 4202 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4202 231 231 0 4992 0
vsize: 20892
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4569 0 0 0 18971 31 0 0 25 0 1 0 512287431 21393408 4226 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4226 231 231 0 4992 0
vsize: 20892
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4588 0 0 0 19970 32 0 0 25 0 1 0 512287431 21549056 4245 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5261 4245 231 231 0 5030 0
vsize: 21044
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4606 0 0 0 20969 33 0 0 25 0 1 0 512287431 21549056 4263 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5261 4263 231 231 0 5030 0
vsize: 21044
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4625 0 0 0 21969 33 0 0 25 0 1 0 512287431 21549056 4282 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5261 4282 231 231 0 5030 0
vsize: 21044
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4646 0 0 0 22968 34 0 0 25 0 1 0 512287431 21712896 4303 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5301 4303 231 231 0 5070 0
vsize: 21204
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4667 0 0 0 23968 35 0 0 25 0 1 0 512287431 21712896 4324 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5301 4324 231 231 0 5070 0
vsize: 21204
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4684 0 0 0 24968 35 0 0 25 0 1 0 512287431 21712896 4341 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5301 4341 231 231 0 5070 0
vsize: 21204
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4706 0 0 0 25967 36 0 0 25 0 1 0 512287431 21712896 4363 4294967295 134512640 135450300 3221224624 3221223456 134549466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5301 4363 231 231 0 5070 0
vsize: 21204
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4724 0 0 0 26967 37 0 0 25 0 1 0 512287431 21712896 4381 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5301 4381 231 231 0 5070 0
vsize: 21204
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4742 0 0 0 27966 37 0 0 25 0 1 0 512287431 21893120 4399 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4399 231 231 0 5114 0
vsize: 21380
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4760 0 0 0 28966 38 0 0 25 0 1 0 512287431 21893120 4417 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4417 231 231 0 5114 0
vsize: 21380
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4788 0 0 0 29965 39 0 0 25 0 1 0 512287431 21893120 4445 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4445 231 231 0 5114 0
vsize: 21380
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4812 0 0 0 30964 40 0 0 25 0 1 0 512287431 21893120 4469 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4469 231 231 0 5114 0
vsize: 21380
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4841 0 0 0 31963 41 0 0 25 0 1 0 512287431 22122496 4498 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4498 231 231 0 5170 0
vsize: 21604
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 4861 0 0 0 32962 42 0 0 25 0 1 0 512287431 22122496 4518 4294967295 134512640 135450300 3221224624 3221223152 134544099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4518 231 231 0 5170 0
vsize: 21604
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5268 0 0 0 33960 44 0 0 25 0 1 0 512287431 23695360 4540 4294967295 134512640 135450300 3221224624 3221223344 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 4540 231 231 0 5554 0
vsize: 23140
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5281 0 0 0 34960 45 0 0 25 0 1 0 512287431 23695360 4553 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 4553 231 231 0 5554 0
vsize: 23140
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5302 0 0 0 35959 46 0 0 25 0 1 0 512287431 23695360 4574 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 4574 231 231 0 5554 0
vsize: 23140
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16985
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5322 0 0 0 36959 46 0 0 25 0 1 0 512287431 23924736 4594 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5841 4594 231 231 0 5610 0
vsize: 23364
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5339 0 0 0 37958 47 0 0 25 0 1 0 512287431 23924736 4611 4294967295 134512640 135450300 3221224624 3221223344 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5841 4611 231 231 0 5610 0
vsize: 23364
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5355 0 0 0 38957 48 0 0 25 0 1 0 512287431 23924736 4627 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5841 4627 231 231 0 5610 0
vsize: 23364
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5372 0 0 0 39957 49 0 0 25 0 1 0 512287431 23924736 4644 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5841 4644 231 231 0 5610 0
vsize: 23364
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5402 0 0 0 40956 50 0 0 25 0 1 0 512287431 24072192 4674 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5877 4674 231 231 0 5646 0
vsize: 23508
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5421 0 0 0 41955 51 0 0 25 0 1 0 512287431 24072192 4693 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5877 4693 231 231 0 5646 0
vsize: 23508
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5439 0 0 0 42954 52 0 0 25 0 1 0 512287431 24203264 4711 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5909 4711 231 231 0 5678 0
vsize: 23636
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5462 0 0 0 43954 53 0 0 25 0 1 0 512287431 24203264 4734 4294967295 134512640 135450300 3221224624 3221223344 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5909 4734 231 231 0 5678 0
vsize: 23636
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5479 0 0 0 44953 54 0 0 25 0 1 0 512287431 24203264 4751 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5909 4751 231 231 0 5678 0
vsize: 23636
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5496 0 0 0 45952 55 0 0 25 0 1 0 512287431 24338432 4768 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5942 4768 231 231 0 5711 0
vsize: 23768
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5514 0 0 0 46952 55 0 0 25 0 1 0 512287431 24338432 4786 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5942 4786 231 231 0 5711 0
vsize: 23768
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5534 0 0 0 47952 56 0 0 25 0 1 0 512287431 24338432 4806 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5942 4806 231 231 0 5711 0
vsize: 23768
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5553 0 0 0 48951 56 0 0 25 0 1 0 512287431 24338432 4825 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5942 4825 231 231 0 5711 0
vsize: 23768
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5571 0 0 0 49951 57 0 0 25 0 1 0 512287431 24481792 4843 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5977 4843 231 231 0 5746 0
vsize: 23908
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5590 0 0 0 50950 58 0 0 25 0 1 0 512287431 24481792 4862 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5977 4862 231 231 0 5746 0
vsize: 23908
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5607 0 0 0 51949 59 0 0 25 0 1 0 512287431 24481792 4879 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5977 4879 231 231 0 5746 0
vsize: 23908
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5624 0 0 0 52949 60 0 0 25 0 1 0 512287431 24481792 4896 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5977 4896 231 231 0 5746 0
vsize: 23908
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5641 0 0 0 53948 61 0 0 25 0 1 0 512287431 24633344 4913 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4913 231 231 0 5783 0
vsize: 24056
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5660 0 0 0 54947 61 0 0 25 0 1 0 512287431 24633344 4932 4294967295 134512640 135450300 3221224624 3221223456 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4932 231 231 0 5783 0
vsize: 24056
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5677 0 0 0 55947 62 0 0 25 0 1 0 512287431 24633344 4949 4294967295 134512640 135450300 3221224624 3221223344 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4949 231 231 0 5783 0
vsize: 24056
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5694 0 0 0 56946 63 0 0 25 0 1 0 512287431 24633344 4966 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4966 231 231 0 5783 0
vsize: 24056
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5718 0 0 0 57946 63 0 0 25 0 1 0 512287431 24793088 4990 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6053 4990 231 231 0 5822 0
vsize: 24212
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5736 0 0 0 58945 65 0 0 25 0 1 0 512287431 24793088 5008 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6053 5008 231 231 0 5822 0
vsize: 24212
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5748 0 0 0 59944 65 0 0 25 0 1 0 512287431 24793088 5020 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6053 5020 231 231 0 5822 0
vsize: 24212
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5770 0 0 0 60944 66 0 0 25 0 1 0 512287431 24793088 5042 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6053 5042 231 231 0 5822 0
vsize: 24212
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5785 0 0 0 61944 66 0 0 25 0 1 0 512287431 24793088 5057 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6053 5057 231 231 0 5822 0
vsize: 24212
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5810 0 0 0 62943 67 0 0 25 0 1 0 512287431 24965120 5082 4294967295 134512640 135450300 3221224624 3221223344 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6095 5082 231 231 0 5864 0
vsize: 24380
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5829 0 0 0 63942 68 0 0 25 0 1 0 512287431 24965120 5101 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6095 5101 231 231 0 5864 0
vsize: 24380
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5855 0 0 0 64942 69 0 0 25 0 1 0 512287431 24965120 5127 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6095 5127 231 231 0 5864 0
vsize: 24380
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5882 0 0 0 65940 70 0 0 25 0 1 0 512287431 25145344 5154 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5154 231 231 0 5908 0
vsize: 24556
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16987
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5893 0 0 0 66939 72 0 0 25 0 1 0 512287431 25145344 5165 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5165 231 231 0 5908 0
vsize: 24556
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5910 0 0 0 67939 72 0 0 25 0 1 0 512287431 25145344 5182 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5182 231 231 0 5908 0
vsize: 24556
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5927 0 0 0 68938 74 0 0 25 0 1 0 512287431 25145344 5199 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5199 231 231 0 5908 0
vsize: 24556
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5942 0 0 0 69937 74 0 0 25 0 1 0 512287431 25145344 5214 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5214 231 231 0 5908 0
vsize: 24556
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5966 0 0 0 70937 75 0 0 25 0 1 0 512287431 25145344 5238 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5238 231 231 0 5908 0
vsize: 24556
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 5989 0 0 0 71936 76 0 0 25 0 1 0 512287431 25337856 5261 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5261 231 231 0 5955 0
vsize: 24744
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6008 0 0 0 72935 77 0 0 25 0 1 0 512287431 25337856 5280 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5280 231 231 0 5955 0
vsize: 24744
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6026 0 0 0 73935 78 0 0 25 0 1 0 512287431 25337856 5298 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5298 231 231 0 5955 0
vsize: 24744
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6042 0 0 0 74935 78 0 0 25 0 1 0 512287431 25337856 5314 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5314 231 231 0 5955 0
vsize: 24744
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6833 0 0 0 75932 80 0 0 25 0 1 0 512287431 28483584 5336 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6954 5336 231 231 0 6723 0
vsize: 27816
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6849 0 0 0 76932 81 0 0 25 0 1 0 512287431 28688384 5352 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 5352 231 231 0 6773 0
vsize: 28016
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6866 0 0 0 77931 82 0 0 25 0 1 0 512287431 28688384 5369 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 5369 231 231 0 6773 0
vsize: 28016
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6887 0 0 0 78930 83 0 0 25 0 1 0 512287431 28688384 5390 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 5390 231 231 0 6773 0
vsize: 28016
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6903 0 0 0 79930 84 0 0 25 0 1 0 512287431 28688384 5406 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 5406 231 231 0 6773 0
vsize: 28016
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6917 0 0 0 80929 84 0 0 25 0 1 0 512287431 28688384 5420 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 5420 231 231 0 6773 0
vsize: 28016
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6936 0 0 0 81929 85 0 0 25 0 1 0 512287431 28688384 5439 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 5439 231 231 0 6773 0
vsize: 28016
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6951 0 0 0 82929 85 0 0 25 0 1 0 512287431 28905472 5454 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7057 5454 231 231 0 6826 0
vsize: 28228
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6966 0 0 0 83928 86 0 0 25 0 1 0 512287431 28905472 5469 4294967295 134512640 135450300 3221224624 3221223376 135069216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7057 5469 231 231 0 6826 0
vsize: 28228
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6979 0 0 0 84928 87 0 0 25 0 1 0 512287431 28905472 5482 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7057 5482 231 231 0 6826 0
vsize: 28228
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 6994 0 0 0 85927 88 0 0 25 0 1 0 512287431 28905472 5497 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7057 5497 231 231 0 6826 0
vsize: 28228
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7007 0 0 0 86926 89 0 0 25 0 1 0 512287431 28905472 5510 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7057 5510 231 231 0 6826 0
vsize: 28228
[startup+880.032 s]
Raw data (loadavg): 1.31 1.04 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7027 0 0 0 87926 89 0 0 25 0 1 0 512287431 29036544 5530 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7089 5530 231 231 0 6858 0
vsize: 28356
[startup+890.032 s]
Raw data (loadavg): 1.34 1.05 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7042 0 0 0 88925 90 0 0 25 0 1 0 512287431 29036544 5545 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7089 5545 231 231 0 6858 0
vsize: 28356
[startup+900.032 s]
Raw data (loadavg): 1.29 1.05 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7055 0 0 0 89925 91 0 0 25 0 1 0 512287431 29270016 5558 4294967295 134512640 135450300 3221224624 3221222976 134533334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5558 231 231 0 6915 0
vsize: 28584
[startup+910.033 s]
Raw data (loadavg): 1.24 1.05 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7072 0 0 0 90924 92 0 0 25 0 1 0 512287431 29270016 5575 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5575 231 231 0 6915 0
vsize: 28584
[startup+920.033 s]
Raw data (loadavg): 1.20 1.05 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7087 0 0 0 91923 93 0 0 25 0 1 0 512287431 29270016 5590 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5590 231 231 0 6915 0
vsize: 28584
[startup+930.034 s]
Raw data (loadavg): 1.17 1.04 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7103 0 0 0 92923 93 0 0 25 0 1 0 512287431 29270016 5606 4294967295 134512640 135450300 3221224624 3221223456 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5606 231 231 0 6915 0
vsize: 28584
[startup+940.034 s]
Raw data (loadavg): 1.15 1.04 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7120 0 0 0 93922 94 0 0 25 0 1 0 512287431 29270016 5623 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5623 231 231 0 6915 0
vsize: 28584
[startup+950.034 s]
Raw data (loadavg): 1.12 1.04 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7137 0 0 0 94922 95 0 0 25 0 1 0 512287431 29270016 5640 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5640 231 231 0 6915 0
vsize: 28584
[startup+960.034 s]
Raw data (loadavg): 1.10 1.04 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7148 0 0 0 95922 95 0 0 25 0 1 0 512287431 29270016 5651 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5651 231 231 0 6915 0
vsize: 28584
[startup+970.035 s]
Raw data (loadavg): 1.09 1.04 0.95 2/55 16989
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7164 0 0 0 96921 96 0 0 25 0 1 0 512287431 29270016 5667 4294967295 134512640 135450300 3221224624 3221223232 134537727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7146 5667 231 231 0 6915 0
vsize: 28584
[startup+980.036 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7175 0 0 0 97921 96 0 0 25 0 1 0 512287431 29515776 5678 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5678 231 231 0 6975 0
vsize: 28824
[startup+990.036 s]
Raw data (loadavg): 1.06 1.03 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7190 0 0 0 98921 97 0 0 25 0 1 0 512287431 29515776 5693 4294967295 134512640 135450300 3221224624 3221223344 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5693 231 231 0 6975 0
vsize: 28824
[startup+1000.04 s]
Raw data (loadavg): 1.05 1.03 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7205 0 0 0 99920 97 0 0 25 0 1 0 512287431 29515776 5708 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5708 231 231 0 6975 0
vsize: 28824
[startup+1010.04 s]
Raw data (loadavg): 1.04 1.03 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7221 0 0 0 100920 98 0 0 25 0 1 0 512287431 29515776 5724 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5724 231 231 0 6975 0
vsize: 28824
[startup+1020.04 s]
Raw data (loadavg): 1.04 1.03 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7233 0 0 0 101919 99 0 0 25 0 1 0 512287431 29515776 5736 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5736 231 231 0 6975 0
vsize: 28824
[startup+1030.04 s]
Raw data (loadavg): 1.03 1.03 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7248 0 0 0 102919 100 0 0 25 0 1 0 512287431 29515776 5751 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5751 231 231 0 6975 0
vsize: 28824
[startup+1040.04 s]
Raw data (loadavg): 1.02 1.03 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7263 0 0 0 103919 100 0 0 25 0 1 0 512287431 29515776 5766 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5766 231 231 0 6975 0
vsize: 28824
[startup+1050.04 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7275 0 0 0 104917 101 0 0 25 0 1 0 512287431 29515776 5778 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 5778 231 231 0 6975 0
vsize: 28824
[startup+1060.04 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7291 0 0 0 105916 103 0 0 25 0 1 0 512287431 29777920 5794 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5794 231 231 0 7039 0
vsize: 29080
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7306 0 0 0 106916 104 0 0 25 0 1 0 512287431 29777920 5809 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5809 231 231 0 7039 0
vsize: 29080
[startup+1080.04 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7319 0 0 0 107915 105 0 0 25 0 1 0 512287431 29777920 5822 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5822 231 231 0 7039 0
vsize: 29080
[startup+1090.04 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7333 0 0 0 108914 106 0 0 25 0 1 0 512287431 29777920 5836 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5836 231 231 0 7039 0
vsize: 29080
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7349 0 0 0 109913 106 0 0 25 0 1 0 512287431 29777920 5852 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5852 231 231 0 7039 0
vsize: 29080
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7364 0 0 0 110914 106 0 0 25 0 1 0 512287431 29777920 5867 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5867 231 231 0 7039 0
vsize: 29080
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7376 0 0 0 111914 106 0 0 25 0 1 0 512287431 29777920 5879 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5879 231 231 0 7039 0
vsize: 29080
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7390 0 0 0 112913 107 0 0 25 0 1 0 512287431 29777920 5893 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5893 231 231 0 7039 0
vsize: 29080
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7407 0 0 0 113913 108 0 0 25 0 1 0 512287431 29777920 5910 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5910 231 231 0 7039 0
vsize: 29080
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7418 0 0 0 114912 109 0 0 25 0 1 0 512287431 29777920 5921 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 5921 231 231 0 7039 0
vsize: 29080
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7433 0 0 0 115911 109 0 0 25 0 1 0 512287431 30056448 5936 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 5936 231 231 0 7107 0
vsize: 29352
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7445 0 0 0 116911 110 0 0 25 0 1 0 512287431 30056448 5948 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 5948 231 231 0 7107 0
vsize: 29352
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7458 0 0 0 117911 110 0 0 25 0 1 0 512287431 30056448 5961 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 5961 231 231 0 7107 0
vsize: 29352
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7469 0 0 0 118911 111 0 0 25 0 1 0 512287431 30056448 5972 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 5972 231 231 0 7107 0
vsize: 29352
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 16991
Raw data (stat): 16983 (PBS4) R 16982 20024 20023 0 -1 0 7484 0 0 0 119910 111 0 0 25 0 1 0 512287431 30056448 5987 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 5987 231 231 0 7107 0
vsize: 29352
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 16991
Raw data (stat): 16983 (PBS4) Z 16982 20024 20023 0 -1 1036 7484 0 0 0 119910 112 0 0 25 0 1 0 512287431 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.06
CPU time (s): 1200.24
CPU user time (s): 1199.11
CPU system time (s): 1.12983
CPU usage (%): 100.015
Max. virtual memory (Kb): 29352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####