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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 18929

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-21 17:02:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17335 boxname=wulflinc23 idbench=1334 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 17335
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        643320 kB
Buffers:         25068 kB
Cached:         341052 kB
SwapCached:        536 kB
Active:          28576 kB
Inactive:       339708 kB
HighTotal:      131008 kB
HighFree:        16912 kB
LowTotal:       903652 kB
LowFree:        626408 kB
SwapTotal:     2097136 kB
SwapFree:      2095852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            17560 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 17:22:33 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 17335 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-stein45.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.86 0.95 0.90 2/54 8204
Raw data (stat): 8204 (runsolver) R 8203 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546725223 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.95 0.90 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 1294 0 0 0 991 7 0 0 25 0 1 0 546725223 6815744 1241 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1664 1241 231 231 0 1433 0
vsize: 6656
[startup+20.0005 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 1746 0 0 0 1987 11 0 0 25 0 1 0 546725223 7815168 1596 4294967295 134512640 135450300 3221224624 3221223440 134537311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1908 1596 231 231 0 1677 0
vsize: 7632
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 2000 0 0 0 2985 13 0 0 25 0 1 0 546725223 12316672 1850 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3007 1850 231 231 0 2776 0
vsize: 12028
[startup+40.001 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 2373 0 0 0 3982 16 0 0 25 0 1 0 546725223 13426688 2030 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2030 231 231 0 3047 0
vsize: 13112
[startup+50.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 2453 0 0 0 4981 18 0 0 25 0 1 0 546725223 13570048 2110 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3313 2110 231 231 0 3082 0
vsize: 13252
[startup+60.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 2540 0 0 0 5980 19 0 0 25 0 1 0 546725223 13873152 2197 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3387 2197 231 231 0 3156 0
vsize: 13548
[startup+70.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 2632 0 0 0 6979 20 0 0 25 0 1 0 546725223 14024704 2289 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2289 231 231 0 3193 0
vsize: 13696
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 2718 0 0 0 7978 21 0 0 25 0 1 0 546725223 14221312 2375 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2375 231 231 0 3241 0
vsize: 13888
[startup+90.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3209 0 0 0 8977 23 0 0 25 0 1 0 546725223 16195584 2481 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2481 231 231 0 3723 0
vsize: 15816
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3299 0 0 0 9975 24 0 0 25 0 1 0 546725223 16355328 2571 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3993 2571 231 231 0 3762 0
vsize: 15972
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3402 0 0 0 10974 25 0 0 25 0 1 0 546725223 16732160 2674 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 2674 231 231 0 3854 0
vsize: 16340
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3467 0 0 0 11974 26 0 0 25 0 1 0 546725223 16732160 2739 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 2739 231 231 0 3854 0
vsize: 16340
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3526 0 0 0 12973 27 0 0 25 0 1 0 546725223 16932864 2798 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4134 2798 231 231 0 3903 0
vsize: 16536
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3583 0 0 0 13972 28 0 0 25 0 1 0 546725223 16932864 2855 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4134 2855 231 231 0 3903 0
vsize: 16536
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3640 0 0 0 14971 29 0 0 25 0 1 0 546725223 17162240 2912 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4190 2912 231 231 0 3959 0
vsize: 16760
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3696 0 0 0 15970 31 0 0 25 0 1 0 546725223 17162240 2968 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4190 2968 231 231 0 3959 0
vsize: 16760
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3767 0 0 0 16969 32 0 0 25 0 1 0 546725223 17485824 3039 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4269 3039 231 231 0 4038 0
vsize: 17076
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3810 0 0 0 17968 33 0 0 25 0 1 0 546725223 17629184 3082 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4304 3082 231 231 0 4073 0
vsize: 17216
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 3898 0 0 0 18968 34 0 0 25 0 1 0 546725223 17825792 3170 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3170 231 231 0 4121 0
vsize: 17408
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 4023 0 0 0 19966 35 0 0 25 0 1 0 546725223 17977344 3295 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4389 3295 231 231 0 4158 0
vsize: 17556
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 4111 0 0 0 20965 36 0 0 25 0 1 0 546725223 18333696 3383 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3383 231 231 0 4245 0
vsize: 17904
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 4207 0 0 0 21964 37 0 0 25 0 1 0 546725223 18530304 3479 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4524 3479 231 231 0 4293 0
vsize: 18096
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8204
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5048 0 0 0 22962 40 0 0 25 0 1 0 546725223 21848064 3551 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5334 3551 231 231 0 5103 0
vsize: 21336
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5112 0 0 0 23961 41 0 0 25 0 1 0 546725223 22028288 3615 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 3615 231 231 0 5147 0
vsize: 21512
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5148 0 0 0 24960 42 0 0 25 0 1 0 546725223 22028288 3651 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 3651 231 231 0 5147 0
vsize: 21512
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5186 0 0 0 25959 43 0 0 25 0 1 0 546725223 22028288 3689 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 3689 231 231 0 5147 0
vsize: 21512
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5297 0 0 0 26958 44 0 0 25 0 1 0 546725223 22417408 3800 4294967295 134512640 135450300 3221224624 3221223440 134537232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 3800 231 231 0 5242 0
vsize: 21892
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5364 0 0 0 27958 45 0 0 25 0 1 0 546725223 22417408 3867 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 3867 231 231 0 5242 0
vsize: 21892
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5421 0 0 0 28957 46 0 0 25 0 1 0 546725223 22622208 3924 4294967295 134512640 135450300 3221224624 3221223344 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 3924 231 231 0 5292 0
vsize: 22092
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5459 0 0 0 29956 47 0 0 25 0 1 0 546725223 22622208 3962 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 3962 231 231 0 5292 0
vsize: 22092
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5514 0 0 0 30955 48 0 0 25 0 1 0 546725223 22839296 4017 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4017 231 231 0 5345 0
vsize: 22304
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5563 0 0 0 31954 49 0 0 25 0 1 0 546725223 23035904 4066 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5624 4066 231 231 0 5393 0
vsize: 22496
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5609 0 0 0 32953 50 0 0 25 0 1 0 546725223 23269376 4112 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4112 231 231 0 5450 0
vsize: 22724
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5650 0 0 0 33953 51 0 0 25 0 1 0 546725223 23269376 4153 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4153 231 231 0 5450 0
vsize: 22724
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5695 0 0 0 34952 51 0 0 25 0 1 0 546725223 23269376 4198 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4198 231 231 0 5450 0
vsize: 22724
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5731 0 0 0 35952 52 0 0 25 0 1 0 546725223 23515136 4234 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4234 231 231 0 5510 0
vsize: 22964
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5763 0 0 0 36951 53 0 0 25 0 1 0 546725223 23515136 4266 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4266 231 231 0 5510 0
vsize: 22964
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5811 0 0 0 37950 54 0 0 25 0 1 0 546725223 23515136 4314 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4314 231 231 0 5510 0
vsize: 22964
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5846 0 0 0 38950 55 0 0 25 0 1 0 546725223 23515136 4349 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4349 231 231 0 5510 0
vsize: 22964
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5880 0 0 0 39949 55 0 0 25 0 1 0 546725223 23777280 4383 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5805 4383 231 231 0 5574 0
vsize: 23220
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 5989 0 0 0 40948 56 0 0 25 0 1 0 546725223 23973888 4492 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4492 231 231 0 5622 0
vsize: 23412
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6121 0 0 0 41947 58 0 0 25 0 1 0 546725223 23973888 4624 4294967295 134512640 135450300 3221224624 3221223080 135084203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4624 231 231 0 5622 0
vsize: 23412
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6159 0 0 0 42947 58 0 0 25 0 1 0 546725223 23973888 4662 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4662 231 231 0 5622 0
vsize: 23412
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6203 0 0 0 43946 59 0 0 25 0 1 0 546725223 24252416 4706 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 4706 231 231 0 5690 0
vsize: 23684
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6236 0 0 0 44945 60 0 0 25 0 1 0 546725223 24252416 4739 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 4739 231 231 0 5690 0
vsize: 23684
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6267 0 0 0 45944 62 0 0 25 0 1 0 546725223 24252416 4770 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 4770 231 231 0 5690 0
vsize: 23684
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6316 0 0 0 46942 63 0 0 25 0 1 0 546725223 24252416 4819 4294967295 134512640 135450300 3221224624 3221223456 134549521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 4819 231 231 0 5690 0
vsize: 23684
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6379 0 0 0 47941 64 0 0 25 0 1 0 546725223 24547328 4882 4294967295 134512640 135450300 3221224624 3221223360 134538643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5993 4882 231 231 0 5762 0
vsize: 23972
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6412 0 0 0 48941 65 0 0 25 0 1 0 546725223 24547328 4915 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5993 4915 231 231 0 5762 0
vsize: 23972
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6445 0 0 0 49940 66 0 0 25 0 1 0 546725223 24547328 4948 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5993 4948 231 231 0 5762 0
vsize: 23972
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6482 0 0 0 50939 67 0 0 25 0 1 0 546725223 24547328 4985 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5993 4985 231 231 0 5762 0
vsize: 23972
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6513 0 0 0 51938 68 0 0 25 0 1 0 546725223 24858624 5016 4294967295 134512640 135450300 3221224624 3221223456 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 5016 231 231 0 5838 0
vsize: 24276
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6551 0 0 0 52937 70 0 0 25 0 1 0 546725223 24858624 5054 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6069 5054 231 231 0 5838 0
vsize: 24276
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6593 0 0 0 53936 70 0 0 25 0 1 0 546725223 24858624 5096 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6069 5096 231 231 0 5838 0
vsize: 24276
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6641 0 0 0 54935 72 0 0 25 0 1 0 546725223 24858624 5144 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6069 5144 231 231 0 5838 0
vsize: 24276
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6683 0 0 0 55935 72 0 0 25 0 1 0 546725223 25190400 5186 4294967295 134512640 135450300 3221224624 3221223440 134536495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 5186 231 231 0 5919 0
vsize: 24600
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6727 0 0 0 56934 73 0 0 25 0 1 0 546725223 25190400 5230 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 5230 231 231 0 5919 0
vsize: 24600
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6764 0 0 0 57934 73 0 0 25 0 1 0 546725223 25190400 5267 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 5267 231 231 0 5919 0
vsize: 24600
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6804 0 0 0 58934 74 0 0 25 0 1 0 546725223 25190400 5307 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 5307 231 231 0 5919 0
vsize: 24600
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6829 0 0 0 59933 75 0 0 25 0 1 0 546725223 25190400 5332 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 5332 231 231 0 5919 0
vsize: 24600
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6868 0 0 0 60932 76 0 0 25 0 1 0 546725223 25542656 5371 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5371 231 231 0 6005 0
vsize: 24944
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6906 0 0 0 61932 76 0 0 25 0 1 0 546725223 25542656 5409 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5409 231 231 0 6005 0
vsize: 24944
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 6952 0 0 0 62932 77 0 0 25 0 1 0 546725223 25542656 5455 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5455 231 231 0 6005 0
vsize: 24944
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8523 0 0 0 63929 80 0 0 25 0 1 0 546725223 31834112 5489 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7772 5489 231 231 0 7541 0
vsize: 31088
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8563 0 0 0 64928 81 0 0 25 0 1 0 546725223 32403456 5529 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 5529 231 231 0 7680 0
vsize: 31644
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8602 0 0 0 65927 82 0 0 25 0 1 0 546725223 32403456 5568 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 5568 231 231 0 7680 0
vsize: 31644
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8634 0 0 0 66926 83 0 0 25 0 1 0 546725223 32403456 5600 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 5600 231 231 0 7680 0
vsize: 31644
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8665 0 0 0 67926 83 0 0 25 0 1 0 546725223 32403456 5631 4294967295 134512640 135450300 3221224624 3221223440 134536468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 5631 231 231 0 7680 0
vsize: 31644
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8704 0 0 0 68926 84 0 0 25 0 1 0 546725223 32403456 5670 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 5670 231 231 0 7680 0
vsize: 31644
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8735 0 0 0 69925 85 0 0 25 0 1 0 546725223 32800768 5701 4294967295 134512640 135450300 3221224624 3221223232 134537752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5701 231 231 0 7777 0
vsize: 32032
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8769 0 0 0 70924 86 0 0 25 0 1 0 546725223 32800768 5735 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5735 231 231 0 7777 0
vsize: 32032
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8811 0 0 0 71923 87 0 0 25 0 1 0 546725223 32800768 5777 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5777 231 231 0 7777 0
vsize: 32032
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8838 0 0 0 72923 87 0 0 25 0 1 0 546725223 32800768 5804 4294967295 134512640 135450300 3221224624 3221223440 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5804 231 231 0 7777 0
vsize: 32032
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8871 0 0 0 73923 88 0 0 25 0 1 0 546725223 32800768 5837 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5837 231 231 0 7777 0
vsize: 32032
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8902 0 0 0 74922 89 0 0 25 0 1 0 546725223 32800768 5868 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5868 231 231 0 7777 0
vsize: 32032
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8936 0 0 0 75921 89 0 0 25 0 1 0 546725223 33222656 5902 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 5902 231 231 0 7880 0
vsize: 32444
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 8965 0 0 0 76921 90 0 0 25 0 1 0 546725223 33222656 5931 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 5931 231 231 0 7880 0
vsize: 32444
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9003 0 0 0 77920 91 0 0 25 0 1 0 546725223 33222656 5969 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 5969 231 231 0 7880 0
vsize: 32444
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9043 0 0 0 78920 92 0 0 25 0 1 0 546725223 33222656 6009 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 6009 231 231 0 7880 0
vsize: 32444
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9070 0 0 0 79919 92 0 0 25 0 1 0 546725223 33222656 6036 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 6036 231 231 0 7880 0
vsize: 32444
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9111 0 0 0 80919 93 0 0 25 0 1 0 546725223 33673216 6077 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6077 231 231 0 7990 0
vsize: 32884
[startup+820.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9140 0 0 0 81918 93 0 0 25 0 1 0 546725223 33673216 6106 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6106 231 231 0 7990 0
vsize: 32884
[startup+830.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9171 0 0 0 82918 94 0 0 25 0 1 0 546725223 33673216 6137 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6137 231 231 0 7990 0
vsize: 32884
[startup+840.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9199 0 0 0 83918 95 0 0 25 0 1 0 546725223 33673216 6165 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6165 231 231 0 7990 0
vsize: 32884
[startup+850.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9235 0 0 0 84917 95 0 0 25 0 1 0 546725223 33673216 6201 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6201 231 231 0 7990 0
vsize: 32884
[startup+860.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9265 0 0 0 85916 96 0 0 25 0 1 0 546725223 33673216 6231 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6231 231 231 0 7990 0
vsize: 32884
[startup+870.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9298 0 0 0 86916 97 0 0 25 0 1 0 546725223 33673216 6264 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6264 231 231 0 7990 0
vsize: 32884
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9333 0 0 0 87916 97 0 0 25 0 1 0 546725223 33673216 6299 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6299 231 231 0 7990 0
vsize: 32884
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9365 0 0 0 88915 98 0 0 25 0 1 0 546725223 34148352 6331 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6331 231 231 0 8106 0
vsize: 33348
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9395 0 0 0 89914 99 0 0 25 0 1 0 546725223 34148352 6361 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6361 231 231 0 8106 0
vsize: 33348
[startup+910.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9426 0 0 0 90914 99 0 0 25 0 1 0 546725223 34148352 6392 4294967295 134512640 135450300 3221224624 3221223456 134549550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6392 231 231 0 8106 0
vsize: 33348
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9451 0 0 0 91914 99 0 0 25 0 1 0 546725223 34148352 6417 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6417 231 231 0 8106 0
vsize: 33348
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9478 0 0 0 92913 100 0 0 25 0 1 0 546725223 34148352 6444 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6444 231 231 0 8106 0
vsize: 33348
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9508 0 0 0 93913 101 0 0 25 0 1 0 546725223 34148352 6474 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6474 231 231 0 8106 0
vsize: 33348
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9542 0 0 0 94912 102 0 0 25 0 1 0 546725223 34148352 6508 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6508 231 231 0 8106 0
vsize: 33348
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9571 0 0 0 95912 102 0 0 25 0 1 0 546725223 34656256 6537 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6537 231 231 0 8230 0
vsize: 33844
[startup+970.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9598 0 0 0 96911 103 0 0 25 0 1 0 546725223 34656256 6564 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6564 231 231 0 8230 0
vsize: 33844
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9627 0 0 0 97911 104 0 0 25 0 1 0 546725223 34656256 6593 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6593 231 231 0 8230 0
vsize: 33844
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9648 0 0 0 98911 104 0 0 25 0 1 0 546725223 34656256 6614 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6614 231 231 0 8230 0
vsize: 33844
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9676 0 0 0 99911 104 0 0 25 0 1 0 546725223 34656256 6642 4294967295 134512640 135450300 3221224624 3221223456 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6642 231 231 0 8230 0
vsize: 33844
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9693 0 0 0 100921 105 0 0 25 0 1 0 546725223 34656256 6659 4294967295 134512640 135450300 3221224624 3221223440 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6659 231 231 0 8230 0
vsize: 33844
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9716 0 0 0 101921 106 0 0 25 0 1 0 546725223 34656256 6682 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6682 231 231 0 8230 0
vsize: 33844
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9753 0 0 0 102920 107 0 0 25 0 1 0 546725223 34656256 6719 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6719 231 231 0 8230 0
vsize: 33844
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9775 0 0 0 103920 107 0 0 25 0 1 0 546725223 34656256 6741 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6741 231 231 0 8230 0
vsize: 33844
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9811 0 0 0 104919 107 0 0 25 0 1 0 546725223 34656256 6777 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6777 231 231 0 8230 0
vsize: 33844
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9833 0 0 0 105919 108 0 0 25 0 1 0 546725223 35192832 6799 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6799 231 231 0 8361 0
vsize: 34368
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9863 0 0 0 106918 109 0 0 25 0 1 0 546725223 35192832 6829 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6829 231 231 0 8361 0
vsize: 34368
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9895 0 0 0 107918 109 0 0 25 0 1 0 546725223 35192832 6861 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6861 231 231 0 8361 0
vsize: 34368
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9923 0 0 0 108918 110 0 0 25 0 1 0 546725223 35192832 6889 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6889 231 231 0 8361 0
vsize: 34368
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9950 0 0 0 109917 110 0 0 25 0 1 0 546725223 35192832 6916 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6916 231 231 0 8361 0
vsize: 34368
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 9973 0 0 0 110917 111 0 0 25 0 1 0 546725223 35192832 6939 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6939 231 231 0 8361 0
vsize: 34368
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10006 0 0 0 111916 112 0 0 25 0 1 0 546725223 35192832 6972 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6972 231 231 0 8361 0
vsize: 34368
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10036 0 0 0 112916 113 0 0 25 0 1 0 546725223 35192832 7002 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 7002 231 231 0 8361 0
vsize: 34368
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10054 0 0 0 113915 113 0 0 25 0 1 0 546725223 35192832 7020 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 7020 231 231 0 8361 0
vsize: 34368
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10085 0 0 0 114915 113 0 0 25 0 1 0 546725223 35192832 7051 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 7051 231 231 0 8361 0
vsize: 34368
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10111 0 0 0 115915 114 0 0 25 0 1 0 546725223 35766272 7077 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7077 231 231 0 8501 0
vsize: 34928
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10137 0 0 0 116915 114 0 0 25 0 1 0 546725223 35766272 7103 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7103 231 231 0 8501 0
vsize: 34928
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10169 0 0 0 117914 115 0 0 25 0 1 0 546725223 35766272 7135 4294967295 134512640 135450300 3221224624 3221223456 134549299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7135 231 231 0 8501 0
vsize: 34928
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10199 0 0 0 118914 115 0 0 25 0 1 0 546725223 35766272 7165 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7165 231 231 0 8501 0
vsize: 34928
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8206
Raw data (stat): 8204 (PBS4) R 8203 3260 3259 0 -1 0 10220 0 0 0 119913 116 0 0 25 0 1 0 546725223 35766272 7186 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7186 231 231 0 8501 0
vsize: 34928
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 8206
Raw data (stat): 8204 (PBS4) Z 8203 3260 3259 0 -1 1036 10220 0 0 0 119914 118 0 0 25 0 1 0 546725223 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.32
CPU user time (s): 1199.14
CPU system time (s): 1.18082
CPU usage (%): 100.016
Max. virtual memory (Kb): 34928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####