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-ws97-5.opb
MD5SUM	6049145b9f1adfd7114adf044503d587
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2642
Optimality of the best value was proved	NO
Number of terms in the objective function	748
Biggest coefficient in the objective function	240
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	33855
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	240
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	33855
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	907
Total number of constraints	1309
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	1183
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	134
Trace number 7949

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-17 17:23:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3219 boxname=wulflinc12 idbench=358 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc12/normalized-ws97-5.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc12/normalized-ws97-5.opb
IDLAUNCH: 3219
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        862336 kB
Buffers:         37196 kB
Cached:         114428 kB
SwapCached:         16 kB
Active:          75016 kB
Inactive:        79484 kB
HighTotal:      131008 kB
HighFree:        12656 kB
LowTotal:       903652 kB
LowFree:        849680 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12216 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:43:40 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 3219 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc12/normalized-ws97-5.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.91 0.97 0.91 2/54 18056
Raw data (stat): 18056 (runsolver) R 18055 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454063121 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+9.99982 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 1821 0 0 0 992 6 0 0 25 0 1 0 454063121 9994240 1817 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2440 1817 231 231 0 2209 0
vsize: 9760
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 3313 0 0 0 1988 10 0 0 25 0 1 0 454063121 18718720 3309 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3309 231 231 0 4339 0
vsize: 18280
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 3916 0 0 0 2986 13 0 0 25 0 1 0 454063121 18718720 3912 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3912 231 231 0 4339 0
vsize: 18280
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4009 0 0 0 3985 14 0 0 25 0 1 0 454063121 18718720 4005 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4570 4005 231 231 0 4339 0
vsize: 18280
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4218 0 0 0 4985 14 0 0 25 0 1 0 454063121 18718720 4214 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4570 4214 231 231 0 4339 0
vsize: 18280
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4525 0 0 0 5982 17 0 0 25 0 1 0 454063121 19185664 4472 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 4472 231 231 0 4453 0
vsize: 18736
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4531 0 0 0 6982 18 0 0 25 0 1 0 454063121 19185664 4478 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 4478 231 231 0 4453 0
vsize: 18736
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4566 0 0 0 7981 19 0 0 25 0 1 0 454063121 19316736 4513 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 4513 231 231 0 4485 0
vsize: 18864
[startup+90.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4580 0 0 0 8981 19 0 0 25 0 1 0 454063121 19316736 4527 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 4527 231 231 0 4485 0
vsize: 18864
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4608 0 0 0 9980 20 0 0 25 0 1 0 454063121 19447808 4555 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 4555 231 231 0 4517 0
vsize: 18992
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4619 0 0 0 10980 20 0 0 25 0 1 0 454063121 19447808 4566 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 4566 231 231 0 4517 0
vsize: 18992
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4644 0 0 0 11980 21 0 0 25 0 1 0 454063121 19587072 4591 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 4591 231 231 0 4551 0
vsize: 19128
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4663 0 0 0 12980 21 0 0 25 0 1 0 454063121 19587072 4610 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 4610 231 231 0 4551 0
vsize: 19128
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4666 0 0 0 13980 21 0 0 25 0 1 0 454063121 19587072 4613 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 4613 231 231 0 4551 0
vsize: 19128
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4673 0 0 0 14980 21 0 0 25 0 1 0 454063121 19587072 4620 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 4620 231 231 0 4551 0
vsize: 19128
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4678 0 0 0 15980 21 0 0 25 0 1 0 454063121 19587072 4625 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 4625 231 231 0 4551 0
vsize: 19128
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4783 0 0 0 16980 22 0 0 25 0 1 0 454063121 19980288 4633 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4878 4633 231 231 0 4647 0
vsize: 19512
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4792 0 0 0 17980 22 0 0 25 0 1 0 454063121 19980288 4642 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4878 4642 231 231 0 4647 0
vsize: 19512
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4802 0 0 0 18980 22 0 0 25 0 1 0 454063121 20115456 4652 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4652 231 231 0 4680 0
vsize: 19644
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4805 0 0 0 19980 23 0 0 25 0 1 0 454063121 20115456 4655 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4655 231 231 0 4680 0
vsize: 19644
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4806 0 0 0 20980 23 0 0 25 0 1 0 454063121 20115456 4656 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4656 231 231 0 4680 0
vsize: 19644
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4814 0 0 0 21980 23 0 0 25 0 1 0 454063121 20115456 4664 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4664 231 231 0 4680 0
vsize: 19644
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4817 0 0 0 22980 23 0 0 25 0 1 0 454063121 20115456 4667 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4667 231 231 0 4680 0
vsize: 19644
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4818 0 0 0 23980 23 0 0 25 0 1 0 454063121 20115456 4668 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4668 231 231 0 4680 0
vsize: 19644
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4824 0 0 0 24980 23 0 0 25 0 1 0 454063121 20115456 4674 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4674 231 231 0 4680 0
vsize: 19644
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4833 0 0 0 25980 24 0 0 25 0 1 0 454063121 20115456 4683 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4683 231 231 0 4680 0
vsize: 19644
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4835 0 0 0 26980 24 0 0 25 0 1 0 454063121 20115456 4685 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4685 231 231 0 4680 0
vsize: 19644
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 4836 0 0 0 27980 24 0 0 25 0 1 0 454063121 20115456 4686 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4686 231 231 0 4680 0
vsize: 19644
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 5040 0 0 0 28980 25 0 0 25 0 1 0 454063121 36892672 4890 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9007 4890 231 231 0 8776 0
vsize: 36028
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 5262 0 0 0 29979 25 0 0 25 0 1 0 454063121 36892672 5112 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9007 5112 231 231 0 8776 0
vsize: 36028
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 5395 0 0 0 30979 25 0 0 25 0 1 0 454063121 36892672 5245 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9007 5245 231 231 0 8776 0
vsize: 36028
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 5524 0 0 0 31979 26 0 0 25 0 1 0 454063121 36892672 5374 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9007 5374 231 231 0 8776 0
vsize: 36028
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 5926 0 0 0 32978 27 0 0 25 0 1 0 454063121 37019648 5776 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9038 5776 231 231 0 8807 0
vsize: 36152
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 6327 0 0 0 33977 28 0 0 25 0 1 0 454063121 37019648 6177 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9038 6177 231 231 0 8807 0
vsize: 36152
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 6650 0 0 0 34976 29 0 0 25 0 1 0 454063121 37019648 6500 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9038 6500 231 231 0 8807 0
vsize: 36152
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 7115 0 0 0 35975 31 0 0 25 0 1 0 454063121 37154816 6965 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9071 6965 231 231 0 8840 0
vsize: 36284
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 7417 0 0 0 36974 32 0 0 25 0 1 0 454063121 37154816 7267 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9071 7267 231 231 0 8840 0
vsize: 36284
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 7826 0 0 0 37973 33 0 0 25 0 1 0 454063121 37154816 7676 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9071 7676 231 231 0 8840 0
vsize: 36284
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 7867 0 0 0 38973 33 0 0 25 0 1 0 454063121 37289984 7717 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9104 7717 231 231 0 8873 0
vsize: 36416
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 8044 0 0 0 39973 34 0 0 25 0 1 0 454063121 37289984 7894 4294967295 134512640 135450300 3221224640 3221223360 134535971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9104 7894 231 231 0 8873 0
vsize: 36416
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 8336 0 0 0 40972 34 0 0 25 0 1 0 454063121 37289984 8186 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9104 8186 231 231 0 8873 0
vsize: 36416
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 8759 0 0 0 41971 36 0 0 25 0 1 0 454063121 37289984 8609 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9104 8609 231 231 0 8873 0
vsize: 36416
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 9127 0 0 0 42969 37 0 0 25 0 1 0 454063121 70979584 8977 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 8977 231 231 0 17098 0
vsize: 69316
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 9509 0 0 0 43968 39 0 0 25 0 1 0 454063121 70979584 9359 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 9359 231 231 0 17098 0
vsize: 69316
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 9665 0 0 0 44968 40 0 0 25 0 1 0 454063121 71114752 9515 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 9515 231 231 0 17131 0
vsize: 69448
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 9877 0 0 0 45967 41 0 0 25 0 1 0 454063121 71114752 9727 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 9727 231 231 0 17131 0
vsize: 69448
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 10167 0 0 0 46966 42 0 0 25 0 1 0 454063121 71114752 10017 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 10017 231 231 0 17131 0
vsize: 69448
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 10425 0 0 0 47965 43 0 0 25 0 1 0 454063121 71114752 10275 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 10275 231 231 0 17131 0
vsize: 69448
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 10945 0 0 0 48963 45 0 0 25 0 1 0 454063121 72056832 10602 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17592 10602 231 231 0 17361 0
vsize: 70368
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 11298 0 0 0 49962 46 0 0 25 0 1 0 454063121 72192000 10955 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17625 10955 231 231 0 17394 0
vsize: 70500
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 11551 0 0 0 50961 47 0 0 25 0 1 0 454063121 72192000 11208 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17625 11208 231 231 0 17394 0
vsize: 70500
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 11620 0 0 0 51962 47 0 0 25 0 1 0 454063121 72331264 11277 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17659 11277 231 231 0 17428 0
vsize: 70636
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 11876 0 0 0 52960 48 0 0 25 0 1 0 454063121 72331264 11533 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17659 11533 231 231 0 17428 0
vsize: 70636
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 12208 0 0 0 53960 49 0 0 25 0 1 0 454063121 72466432 11865 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 11865 231 231 0 17461 0
vsize: 70768
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 12368 0 0 0 54959 50 0 0 25 0 1 0 454063121 72466432 12025 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 12025 231 231 0 17461 0
vsize: 70768
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 12520 0 0 0 55959 50 0 0 25 0 1 0 454063121 72466432 12177 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 12177 231 231 0 17461 0
vsize: 70768
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 12835 0 0 0 56959 51 0 0 25 0 1 0 454063121 72466432 12492 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 12492 231 231 0 17461 0
vsize: 70768
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 13084 0 0 0 57958 52 0 0 25 0 1 0 454063121 72605696 12741 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17726 12741 231 231 0 17495 0
vsize: 70904
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 13270 0 0 0 58958 52 0 0 25 0 1 0 454063121 72605696 12927 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17726 12927 231 231 0 17495 0
vsize: 70904
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 13353 0 0 0 59957 53 0 0 25 0 1 0 454063121 72605696 13010 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17726 13010 231 231 0 17495 0
vsize: 70904
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 13549 0 0 0 60956 54 0 0 25 0 1 0 454063121 72744960 13206 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17760 13206 231 231 0 17529 0
vsize: 71040
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 13803 0 0 0 61955 55 0 0 25 0 1 0 454063121 72744960 13460 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17760 13460 231 231 0 17529 0
vsize: 71040
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 14100 0 0 0 62955 56 0 0 25 0 1 0 454063121 72876032 13757 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17792 13757 231 231 0 17561 0
vsize: 71168
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 14392 0 0 0 63953 57 0 0 25 0 1 0 454063121 72876032 14049 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17792 14049 231 231 0 17561 0
vsize: 71168
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 14682 0 0 0 64952 59 0 0 25 0 1 0 454063121 73023488 14339 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 14339 231 231 0 17597 0
vsize: 71312
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 14959 0 0 0 65951 60 0 0 25 0 1 0 454063121 73023488 14616 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 14616 231 231 0 17597 0
vsize: 71312
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 14989 0 0 0 66951 60 0 0 25 0 1 0 454063121 73023488 14646 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 14646 231 231 0 17597 0
vsize: 71312
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 15140 0 0 0 67951 61 0 0 25 0 1 0 454063121 73023488 14797 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 14797 231 231 0 17597 0
vsize: 71312
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 15348 0 0 0 68950 62 0 0 25 0 1 0 454063121 73302016 15005 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15005 231 231 0 17665 0
vsize: 71584
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 15575 0 0 0 69949 62 0 0 25 0 1 0 454063121 73302016 15232 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15232 231 231 0 17665 0
vsize: 71584
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 15853 0 0 0 70949 64 0 0 25 0 1 0 454063121 73302016 15510 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15510 231 231 0 17665 0
vsize: 71584
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 16136 0 0 0 71948 64 0 0 25 0 1 0 454063121 73302016 15793 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15793 231 231 0 17665 0
vsize: 71584
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 16400 0 0 0 72947 65 0 0 25 0 1 0 454063121 73302016 16057 4294967295 134512640 135450300 3221224640 3221223472 134549498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 16057 231 231 0 17665 0
vsize: 71584
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 16545 0 0 0 73947 65 0 0 25 0 1 0 454063121 73449472 16202 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17932 16202 231 231 0 17701 0
vsize: 71728
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 16679 0 0 0 74947 66 0 0 25 0 1 0 454063121 73449472 16336 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17932 16336 231 231 0 17701 0
vsize: 71728
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 16804 0 0 0 75947 66 0 0 25 0 1 0 454063121 73449472 16461 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17932 16461 231 231 0 17701 0
vsize: 71728
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 16966 0 0 0 76947 66 0 0 25 0 1 0 454063121 73449472 16623 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17932 16623 231 231 0 17701 0
vsize: 71728
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 17199 0 0 0 77946 67 0 0 25 0 1 0 454063121 73728000 16856 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18000 16856 231 231 0 17769 0
vsize: 72000
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 17341 0 0 0 78945 68 0 0 25 0 1 0 454063121 73728000 16998 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18000 16998 231 231 0 17769 0
vsize: 72000
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 17489 0 0 0 79945 69 0 0 25 0 1 0 454063121 73728000 17146 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18000 17146 231 231 0 17769 0
vsize: 72000
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 17724 0 0 0 80944 70 0 0 25 0 1 0 454063121 74006528 17381 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18068 17381 231 231 0 17837 0
vsize: 72272
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 18007 0 0 0 81943 71 0 0 25 0 1 0 454063121 74006528 17664 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18068 17664 231 231 0 17837 0
vsize: 72272
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 18173 0 0 0 82943 71 0 0 25 0 1 0 454063121 141254656 17830 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34486 17830 231 231 0 34255 0
vsize: 137944
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 18329 0 0 0 83943 72 0 0 25 0 1 0 454063121 141254656 17986 4294967295 134512640 135450300 3221224640 3221223456 134547391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34486 17986 231 231 0 34255 0
vsize: 137944
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 18551 0 0 0 84943 72 0 0 25 0 1 0 454063121 141393920 18208 4294967295 134512640 135450300 3221224640 3221223560 134546177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34520 18208 231 231 0 34289 0
vsize: 138080
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 18817 0 0 0 85942 72 0 0 25 0 1 0 454063121 141393920 18474 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34520 18474 231 231 0 34289 0
vsize: 138080
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 18945 0 0 0 86942 73 0 0 25 0 1 0 454063121 141393920 18602 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34520 18602 231 231 0 34289 0
vsize: 138080
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 19085 0 0 0 87942 73 0 0 25 0 1 0 454063121 141393920 18742 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34520 18742 231 231 0 34289 0
vsize: 138080
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 19261 0 0 0 88942 73 0 0 25 0 1 0 454063121 141680640 18918 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34590 18918 231 231 0 34359 0
vsize: 138360
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 19571 0 0 0 89941 75 0 0 25 0 1 0 454063121 141680640 19228 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34590 19228 231 231 0 34359 0
vsize: 138360
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 19740 0 0 0 90941 75 0 0 25 0 1 0 454063121 141680640 19397 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34590 19397 231 231 0 34359 0
vsize: 138360
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 19888 0 0 0 91941 75 0 0 25 0 1 0 454063121 141680640 19545 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34590 19545 231 231 0 34359 0
vsize: 138360
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 20026 0 0 0 92941 76 0 0 25 0 1 0 454063121 141680640 19683 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34590 19683 231 231 0 34359 0
vsize: 138360
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 20332 0 0 0 93940 76 0 0 25 0 1 0 454063121 141819904 19989 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34624 19989 231 231 0 34393 0
vsize: 138496
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 20555 0 0 0 94939 77 0 0 25 0 1 0 454063121 141819904 20212 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34624 20212 231 231 0 34393 0
vsize: 138496
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 20761 0 0 0 95939 77 0 0 25 0 1 0 454063121 141819904 20418 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34624 20418 231 231 0 34393 0
vsize: 138496
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 20968 0 0 0 96939 78 0 0 25 0 1 0 454063121 141959168 20625 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34658 20625 231 231 0 34427 0
vsize: 138632
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 21213 0 0 0 97938 79 0 0 25 0 1 0 454063121 141959168 20870 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34658 20870 231 231 0 34427 0
vsize: 138632
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 21403 0 0 0 98937 80 0 0 25 0 1 0 454063121 142106624 21060 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34694 21060 231 231 0 34463 0
vsize: 138776
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 21575 0 0 0 99937 81 0 0 25 0 1 0 454063121 142106624 21232 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34694 21232 231 231 0 34463 0
vsize: 138776
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 21798 0 0 0 100936 82 0 0 25 0 1 0 454063121 142106624 21455 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34694 21455 231 231 0 34463 0
vsize: 138776
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 22055 0 0 0 101935 82 0 0 25 0 1 0 454063121 142245888 21712 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34728 21713 231 231 0 34497 0
vsize: 138912
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 22248 0 0 0 102935 83 0 0 25 0 1 0 454063121 142245888 21905 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34728 21905 231 231 0 34497 0
vsize: 138912
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 22421 0 0 0 103935 83 0 0 25 0 1 0 454063121 142245888 22078 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34728 22078 231 231 0 34497 0
vsize: 138912
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 22679 0 0 0 104933 85 0 0 25 0 1 0 454063121 142393344 22336 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34764 22336 231 231 0 34533 0
vsize: 139056
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 22863 0 0 0 105933 85 0 0 25 0 1 0 454063121 142393344 22520 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34764 22520 231 231 0 34533 0
vsize: 139056
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 23038 0 0 0 106933 85 0 0 25 0 1 0 454063121 142393344 22695 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34764 22695 231 231 0 34533 0
vsize: 139056
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 23203 0 0 0 107933 86 0 0 25 0 1 0 454063121 142393344 22860 4294967295 134512640 135450300 3221224640 3221223456 134536531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34764 22860 231 231 0 34533 0
vsize: 139056
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 23480 0 0 0 108932 87 0 0 25 0 1 0 454063121 142532608 23137 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34798 23138 231 231 0 34567 0
vsize: 139192
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 23662 0 0 0 109932 87 0 0 25 0 1 0 454063121 142532608 23319 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34798 23319 231 231 0 34567 0
vsize: 139192
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 23794 0 0 0 110932 88 0 0 25 0 1 0 454063121 142532608 23451 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34798 23451 231 231 0 34567 0
vsize: 139192
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 23925 0 0 0 111931 88 0 0 25 0 1 0 454063121 142532608 23582 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34798 23582 231 231 0 34567 0
vsize: 139192
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 24096 0 0 0 112931 89 0 0 25 0 1 0 454063121 142671872 23753 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34832 23753 231 231 0 34601 0
vsize: 139328
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 24381 0 0 0 113930 90 0 0 25 0 1 0 454063121 142671872 24038 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34832 24038 231 231 0 34601 0
vsize: 139328
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 24526 0 0 0 114929 91 0 0 25 0 1 0 454063121 142807040 24183 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34865 24183 231 231 0 34634 0
vsize: 139460
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 24693 0 0 0 115929 92 0 0 25 0 1 0 454063121 142807040 24350 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34865 24350 231 231 0 34634 0
vsize: 139460
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 24831 0 0 0 116928 92 0 0 25 0 1 0 454063121 142807040 24488 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34865 24488 231 231 0 34634 0
vsize: 139460
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 25105 0 0 0 117928 93 0 0 25 0 1 0 454063121 142807040 24762 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34865 24762 231 231 0 34634 0
vsize: 139460
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 25264 0 0 0 118928 93 0 0 25 0 1 0 454063121 142807040 24921 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34865 24921 231 231 0 34634 0
vsize: 139460
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18056
Raw data (stat): 18056 (PBS4) R 18055 25285 25284 0 -1 0 25420 0 0 0 119927 94 0 0 25 0 1 0 454063121 142807040 25077 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34865 25077 231 231 0 34634 0
vsize: 139460
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18056
Raw data (stat): 18056 (PBS4) Z 18055 25285 25284 0 -1 1036 25420 0 0 0 119927 98 0 0 25 0 1 0 454063121 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.07
CPU time (s): 1200.27
CPU user time (s): 1199.28
CPU system time (s): 0.987849
CPU usage (%): 100.016
Max. virtual memory (Kb): 139460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####