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.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUM	45b026c6b351128e9764d865ca917a59
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
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	1175.11
Number of variables	1272
Total number of constraints	94289
Number of constraints which are clauses	94289
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 7911

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-17 17:12:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3057 boxname=wulflinc27 idbench=340 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  45b026c6b351128e9764d865ca917a59  /oldhome/oroussel/tmp/wulflinc27/normalized-frb53-24-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-frb53-24-2.opb
IDLAUNCH: 3057
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        789384 kB
Buffers:         36624 kB
Cached:         170064 kB
SwapCached:       3160 kB
Active:         102460 kB
Inactive:       110264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        789132 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            26924 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:32:30 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 3057 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-frb53-24-2.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.93 0.98 0.91 2/54 10793
Raw data (stat): 10793 (runsolver) R 10792 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512218232 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.99983 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 3971 0 0 0 987 11 0 0 25 0 1 0 512218232 22810624 3239 4294967295 134512640 135450300 3221224640 3221223472 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5569 3239 231 231 0 5338 0
vsize: 22276
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 6138 0 0 0 1983 16 0 0 25 0 1 0 512218232 39723008 5406 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9698 5406 231 231 0 9467 0
vsize: 38792
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 8148 0 0 0 2978 21 0 0 25 0 1 0 512218232 39858176 7416 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9731 7416 231 231 0 9500 0
vsize: 38924
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 10201 0 0 0 3974 25 0 0 25 0 1 0 512218232 73547776 9469 4294967295 134512640 135450300 3221224640 3221223024 134602450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17956 9469 231 231 0 17725 0
vsize: 71824
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 11997 0 0 0 4970 29 0 0 25 0 1 0 512218232 73547776 11265 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17956 11265 231 231 0 17725 0
vsize: 71824
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 13734 0 0 0 5966 33 0 0 25 0 1 0 512218232 73547776 13002 4294967295 134512640 135450300 3221224640 3221223024 134579418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17956 13002 231 231 0 17725 0
vsize: 71824
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 15389 0 0 0 6963 36 0 0 25 0 1 0 512218232 74108928 14657 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18093 14657 231 231 0 17862 0
vsize: 72372
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 16750 0 0 0 7960 40 0 0 25 0 1 0 512218232 74108928 16018 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18093 16018 231 231 0 17862 0
vsize: 72372
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 17955 0 0 0 8957 43 0 0 25 0 1 0 512218232 74108928 17223 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18093 17223 231 231 0 17862 0
vsize: 72372
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 18985 0 0 0 9954 46 0 0 25 0 1 0 512218232 141217792 18253 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34477 18253 231 231 0 34246 0
vsize: 137908
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 19899 0 0 0 10953 47 0 0 25 0 1 0 512218232 141520896 19167 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34551 19167 231 231 0 34320 0
vsize: 138204
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 21294 0 0 0 11950 50 0 0 25 0 1 0 512218232 142094336 20562 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34691 20562 231 231 0 34460 0
vsize: 138764
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 22743 0 0 0 12947 54 0 0 25 0 1 0 512218232 142823424 22011 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34869 22011 231 231 0 34638 0
vsize: 139476
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 23922 0 0 0 13945 56 0 0 25 0 1 0 512218232 143134720 23190 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34945 23190 231 231 0 34714 0
vsize: 139780
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 24941 0 0 0 14943 58 0 0 25 0 1 0 512218232 143269888 24209 4294967295 134512640 135450300 3221224640 3221223552 134597086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 24209 231 231 0 34747 0
vsize: 139912
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 24999 0 0 0 15942 59 0 0 25 0 1 0 512218232 143409152 24267 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35012 24267 231 231 0 34781 0
vsize: 140048
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 25036 0 0 0 16943 59 0 0 25 0 1 0 512218232 143671296 24304 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35076 24304 231 231 0 34845 0
vsize: 140304
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 25076 0 0 0 17942 59 0 0 25 0 1 0 512218232 143806464 24344 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35109 24344 231 231 0 34878 0
vsize: 140436
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 25678 0 0 0 18941 61 0 0 25 0 1 0 512218232 143806464 24946 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35109 24946 231 231 0 34878 0
vsize: 140436
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 26856 0 0 0 19938 63 0 0 25 0 1 0 512218232 144080896 26124 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35176 26124 231 231 0 34945 0
vsize: 140704
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 27886 0 0 0 20936 66 0 0 25 0 1 0 512218232 144220160 27154 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35210 27154 231 231 0 34979 0
vsize: 140840
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 29189 0 0 0 21933 69 0 0 25 0 1 0 512218232 144355328 28457 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35243 28457 231 231 0 35012 0
vsize: 140972
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 29239 0 0 0 22932 70 0 0 25 0 1 0 512218232 144490496 28507 4294967295 134512640 135450300 3221224640 3221223136 134580056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35276 28507 231 231 0 35045 0
vsize: 141104
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 29261 0 0 0 23932 70 0 0 25 0 1 0 512218232 144637952 28529 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35312 28529 231 231 0 35081 0
vsize: 141248
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 29359 0 0 0 24932 71 0 0 25 0 1 0 512218232 145092608 28627 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35423 28627 231 231 0 35192 0
vsize: 141692
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 29392 0 0 0 25932 71 0 0 25 0 1 0 512218232 145240064 28660 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35459 28660 231 231 0 35228 0
vsize: 141836
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 29430 0 0 0 26932 71 0 0 25 0 1 0 512218232 145530880 28698 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35530 28698 231 231 0 35299 0
vsize: 142120
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 29908 0 0 0 27931 72 0 0 25 0 1 0 512218232 145530880 29176 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35530 29176 231 231 0 35299 0
vsize: 142120
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 31264 0 0 0 28928 76 0 0 25 0 1 0 512218232 145686528 30532 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35568 30532 231 231 0 35337 0
vsize: 142272
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 31689 0 0 0 29927 77 0 0 25 0 1 0 512218232 145981440 30957 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35640 30957 231 231 0 35409 0
vsize: 142560
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 31699 0 0 0 30927 77 0 0 25 0 1 0 512218232 145981440 30967 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35640 30967 231 231 0 35409 0
vsize: 142560
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 31756 0 0 0 31927 77 0 0 25 0 1 0 512218232 146259968 31024 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35708 31024 231 231 0 35477 0
vsize: 142832
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 31796 0 0 0 32927 78 0 0 25 0 1 0 512218232 146407424 31064 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35744 31064 231 231 0 35513 0
vsize: 142976
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 31853 0 0 0 33926 78 0 0 25 0 1 0 512218232 146681856 31121 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35811 31121 231 231 0 35580 0
vsize: 143244
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 31873 0 0 0 34927 78 0 0 25 0 1 0 512218232 146681856 31141 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35811 31141 231 231 0 35580 0
vsize: 143244
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 32576 0 0 0 35925 80 0 0 25 0 1 0 512218232 146980864 31844 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35884 31844 231 231 0 35653 0
vsize: 143536
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33466 0 0 0 36924 81 0 0 25 0 1 0 512218232 146980864 32734 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35884 32734 231 231 0 35653 0
vsize: 143536
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33538 0 0 0 37923 82 0 0 25 0 1 0 512218232 147283968 32806 4294967295 134512640 135450300 3221224640 3221223376 134538528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35958 32806 231 231 0 35727 0
vsize: 143832
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33590 0 0 0 38923 82 0 0 25 0 1 0 512218232 147439616 32858 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35996 32858 231 231 0 35765 0
vsize: 143984
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33592 0 0 0 39923 82 0 0 25 0 1 0 512218232 147439616 32860 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35996 32860 231 231 0 35765 0
vsize: 143984
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33629 0 0 0 40923 82 0 0 25 0 1 0 512218232 147578880 32897 4294967295 134512640 135450300 3221224640 3221223116 134572349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36030 32897 231 231 0 35799 0
vsize: 144120
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33660 0 0 0 41923 82 0 0 25 0 1 0 512218232 147714048 32928 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36063 32928 231 231 0 35832 0
vsize: 144252
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33662 0 0 0 42923 83 0 0 25 0 1 0 512218232 147714048 32930 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36063 32930 231 231 0 35832 0
vsize: 144252
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 33697 0 0 0 43923 83 0 0 25 0 1 0 512218232 147877888 32965 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36103 32965 231 231 0 35872 0
vsize: 144412
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 34710 0 0 0 44920 86 0 0 25 0 1 0 512218232 147877888 33978 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36103 33978 231 231 0 35872 0
vsize: 144412
[startup+460.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 34876 0 0 0 45920 86 0 0 25 0 1 0 512218232 148189184 34144 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36179 34144 231 231 0 35948 0
vsize: 144716
[startup+470.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 34879 0 0 0 46920 86 0 0 25 0 1 0 512218232 148189184 34147 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36179 34147 231 231 0 35948 0
vsize: 144716
[startup+480.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 34942 0 0 0 47920 87 0 0 25 0 1 0 512218232 148336640 34210 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36215 34210 231 231 0 35984 0
vsize: 144860
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 34978 0 0 0 48920 87 0 0 25 0 1 0 512218232 148484096 34246 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36251 34246 231 231 0 36020 0
vsize: 145004
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 34989 0 0 0 49920 87 0 0 25 0 1 0 512218232 148619264 34257 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36284 34257 231 231 0 36053 0
vsize: 145136
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 35023 0 0 0 50919 88 0 0 25 0 1 0 512218232 148619264 34291 4294967295 134512640 135450300 3221224640 3221223168 134544104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36284 34291 231 231 0 36053 0
vsize: 145136
[startup+520.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 35053 0 0 0 51920 88 0 0 25 0 1 0 512218232 148901888 34321 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36353 34321 231 231 0 36122 0
vsize: 145412
[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 35881 0 0 0 52918 90 0 0 25 0 1 0 512218232 148901888 35149 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36353 35149 231 231 0 36122 0
vsize: 145412
[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 35912 0 0 0 53918 90 0 0 25 0 1 0 512218232 148901888 35180 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36353 35180 231 231 0 36122 0
vsize: 145412
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 35973 0 0 0 54918 90 0 0 25 0 1 0 512218232 149180416 35241 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36421 35241 231 231 0 36190 0
vsize: 145684
[startup+560.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 35991 0 0 0 55918 90 0 0 25 0 1 0 512218232 149327872 35259 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36457 35259 231 231 0 36226 0
vsize: 145828
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36033 0 0 0 56918 91 0 0 25 0 1 0 512218232 149467136 35301 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36491 35301 231 231 0 36260 0
vsize: 145964
[startup+580.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36035 0 0 0 57918 91 0 0 25 0 1 0 512218232 149467136 35303 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36491 35303 231 231 0 36260 0
vsize: 145964
[startup+590.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36085 0 0 0 58918 91 0 0 25 0 1 0 512218232 149614592 35353 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36527 35353 231 231 0 36296 0
vsize: 146108
[startup+600.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36133 0 0 0 59917 92 0 0 25 0 1 0 512218232 149925888 35401 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36603 35401 231 231 0 36372 0
vsize: 146412
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36746 0 0 0 60916 93 0 0 25 0 1 0 512218232 150069248 36014 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36638 36014 231 231 0 36407 0
vsize: 146552
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36783 0 0 0 61916 93 0 0 25 0 1 0 512218232 150233088 36051 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36678 36051 231 231 0 36447 0
vsize: 146712
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36831 0 0 0 62916 93 0 0 25 0 1 0 512218232 150396928 36099 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36718 36099 231 231 0 36487 0
vsize: 146872
[startup+640.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36842 0 0 0 63916 94 0 0 25 0 1 0 512218232 150396928 36110 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36718 36110 231 231 0 36487 0
vsize: 146872
[startup+650.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36887 0 0 0 64916 94 0 0 25 0 1 0 512218232 150708224 36155 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36794 36155 231 231 0 36563 0
vsize: 147176
[startup+660.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36889 0 0 0 65916 94 0 0 25 0 1 0 512218232 150708224 36157 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36794 36157 231 231 0 36563 0
vsize: 147176
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36912 0 0 0 66916 94 0 0 25 0 1 0 512218232 150708224 36180 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36794 36180 231 231 0 36563 0
vsize: 147176
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 36929 0 0 0 67916 94 0 0 25 0 1 0 512218232 150851584 36197 4294967295 134512640 135450300 3221224640 3221223120 134580030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36829 36197 231 231 0 36598 0
vsize: 147316
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 37386 0 0 0 68915 95 0 0 25 0 1 0 512218232 285241344 36654 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69639 36654 231 231 0 69408 0
vsize: 278556
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 37393 0 0 0 69915 95 0 0 25 0 1 0 512218232 285241344 36661 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69639 36661 231 231 0 69408 0
vsize: 278556
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 37427 0 0 0 70915 96 0 0 25 0 1 0 512218232 285396992 36695 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69677 36695 231 231 0 69446 0
vsize: 278708
[startup+720.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 37432 0 0 0 71915 96 0 0 25 0 1 0 512218232 285396992 36700 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69677 36700 231 231 0 69446 0
vsize: 278708
[startup+730.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 37477 0 0 0 72915 96 0 0 25 0 1 0 512218232 285552640 36745 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69715 36745 231 231 0 69484 0
vsize: 278860
[startup+740.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 37498 0 0 0 73915 96 0 0 25 0 1 0 512218232 285704192 36766 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69752 36766 231 231 0 69521 0
vsize: 279008
[startup+750.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 37528 0 0 0 74915 96 0 0 25 0 1 0 512218232 285851648 36796 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69788 36796 231 231 0 69557 0
vsize: 279152
[startup+760.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38618 0 0 0 75913 98 0 0 25 0 1 0 512218232 288997376 37117 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70556 37117 231 231 0 70325 0
vsize: 282224
[startup+770.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38633 0 0 0 76913 99 0 0 25 0 1 0 512218232 288997376 37132 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70556 37132 231 231 0 70325 0
vsize: 282224
[startup+780.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38648 0 0 0 77913 99 0 0 25 0 1 0 512218232 289165312 37147 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70597 37147 231 231 0 70366 0
vsize: 282388
[startup+790.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38695 0 0 0 78913 99 0 0 25 0 1 0 512218232 289312768 37194 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70633 37194 231 231 0 70402 0
vsize: 282532
[startup+800.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38719 0 0 0 79913 99 0 0 25 0 1 0 512218232 289312768 37218 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70633 37218 231 231 0 70402 0
vsize: 282532
[startup+810.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38752 0 0 0 80913 99 0 0 25 0 1 0 512218232 289443840 37251 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70665 37251 231 231 0 70434 0
vsize: 282660
[startup+820.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38754 0 0 0 81913 100 0 0 25 0 1 0 512218232 289443840 37253 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70665 37253 231 231 0 70434 0
vsize: 282660
[startup+830.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 38778 0 0 0 82913 100 0 0 25 0 1 0 512218232 289591296 37277 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70701 37277 231 231 0 70470 0
vsize: 282804
[startup+840.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39049 0 0 0 83913 100 0 0 25 0 1 0 512218232 289730560 37548 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70735 37548 231 231 0 70504 0
vsize: 282940
[startup+850.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39052 0 0 0 84912 101 0 0 25 0 1 0 512218232 289730560 37551 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70735 37551 231 231 0 70504 0
vsize: 282940
[startup+860.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39078 0 0 0 85912 101 0 0 25 0 1 0 512218232 289894400 37577 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70775 37577 231 231 0 70544 0
vsize: 283100
[startup+870.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39136 0 0 0 86912 101 0 0 25 0 1 0 512218232 290041856 37635 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70811 37635 231 231 0 70580 0
vsize: 283244
[startup+880.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39147 0 0 0 87912 101 0 0 25 0 1 0 512218232 290189312 37646 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70847 37646 231 231 0 70616 0
vsize: 283388
[startup+890.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39175 0 0 0 88912 101 0 0 25 0 1 0 512218232 290336768 37674 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70883 37674 231 231 0 70652 0
vsize: 283532
[startup+900.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39201 0 0 0 89912 102 0 0 25 0 1 0 512218232 290336768 37700 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70883 37700 231 231 0 70652 0
vsize: 283532
[startup+910.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39235 0 0 0 90912 102 0 0 25 0 1 0 512218232 290484224 37734 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70919 37734 231 231 0 70688 0
vsize: 283676
[startup+920.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39417 0 0 0 91912 103 0 0 25 0 1 0 512218232 290648064 37916 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70959 37916 231 231 0 70728 0
vsize: 283836
[startup+930.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39420 0 0 0 92912 103 0 0 25 0 1 0 512218232 290648064 37919 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70959 37919 231 231 0 70728 0
vsize: 283836
[startup+940.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39446 0 0 0 93912 103 0 0 25 0 1 0 512218232 290648064 37945 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70959 37945 231 231 0 70728 0
vsize: 283836
[startup+950.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39473 0 0 0 94912 103 0 0 25 0 1 0 512218232 290811904 37972 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70999 37972 231 231 0 70768 0
vsize: 283996
[startup+960.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39476 0 0 0 95912 103 0 0 25 0 1 0 512218232 290811904 37975 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70999 37975 231 231 0 70768 0
vsize: 283996
[startup+970.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39506 0 0 0 96912 103 0 0 25 0 1 0 512218232 290811904 38005 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70999 38005 231 231 0 70768 0
vsize: 283996
[startup+980.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39519 0 0 0 97912 103 0 0 25 0 1 0 512218232 290975744 38018 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71039 38018 231 231 0 70808 0
vsize: 284156
[startup+990.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39582 0 0 0 98912 104 0 0 25 0 1 0 512218232 290975744 38081 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71039 38081 231 231 0 70808 0
vsize: 284156
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39681 0 0 0 99912 104 0 0 25 0 1 0 512218232 291160064 38180 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71084 38180 231 231 0 70853 0
vsize: 284336
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39683 0 0 0 100912 104 0 0 25 0 1 0 512218232 291160064 38182 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71084 38182 231 231 0 70853 0
vsize: 284336
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39715 0 0 0 101912 104 0 0 25 0 1 0 512218232 291160064 38214 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71084 38214 231 231 0 70853 0
vsize: 284336
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39734 0 0 0 102912 104 0 0 25 0 1 0 512218232 291307520 38233 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71120 38233 231 231 0 70889 0
vsize: 284480
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39737 0 0 0 103912 104 0 0 25 0 1 0 512218232 291307520 38236 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71120 38236 231 231 0 70889 0
vsize: 284480
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39750 0 0 0 104912 105 0 0 25 0 1 0 512218232 291307520 38249 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71120 38249 231 231 0 70889 0
vsize: 284480
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39784 0 0 0 105912 105 0 0 25 0 1 0 512218232 291446784 38283 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71154 38283 231 231 0 70923 0
vsize: 284616
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39787 0 0 0 106912 105 0 0 25 0 1 0 512218232 291446784 38286 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71154 38286 231 231 0 70923 0
vsize: 284616
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39903 0 0 0 107912 105 0 0 25 0 1 0 512218232 291586048 38402 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71188 38402 231 231 0 70957 0
vsize: 284752
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39906 0 0 0 108912 105 0 0 25 0 1 0 512218232 291586048 38405 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71188 38405 231 231 0 70957 0
vsize: 284752
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39929 0 0 0 109912 105 0 0 25 0 1 0 512218232 291586048 38428 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71188 38428 231 231 0 70957 0
vsize: 284752
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39955 0 0 0 110912 105 0 0 25 0 1 0 512218232 291741696 38454 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71226 38454 231 231 0 70995 0
vsize: 284904
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39958 0 0 0 111912 106 0 0 25 0 1 0 512218232 291741696 38457 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71226 38457 231 231 0 70995 0
vsize: 284904
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 39974 0 0 0 112912 106 0 0 25 0 1 0 512218232 291741696 38473 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71226 38473 231 231 0 70995 0
vsize: 284904
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 40013 0 0 0 113912 106 0 0 25 0 1 0 512218232 292024320 38512 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71295 38512 231 231 0 71064 0
vsize: 285180
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 40075 0 0 0 114912 107 0 0 25 0 1 0 512218232 292024320 38574 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71295 38574 231 231 0 71064 0
vsize: 285180
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 40093 0 0 0 115912 107 0 0 25 0 1 0 512218232 292024320 38592 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71295 38592 231 231 0 71064 0
vsize: 285180
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 40118 0 0 0 116912 107 0 0 25 0 1 0 512218232 292179968 38617 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71333 38617 231 231 0 71102 0
vsize: 285332
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 40149 0 0 0 117912 107 0 0 25 0 1 0 512218232 292327424 38648 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71369 38648 231 231 0 71138 0
vsize: 285476
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 40176 0 0 0 118912 107 0 0 25 0 1 0 512218232 292327424 38675 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71369 38675 231 231 0 71138 0
vsize: 285476
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10793
Raw data (stat): 10793 (PBS4) R 10792 18865 18864 0 -1 0 40183 0 0 0 119912 108 0 0 25 0 1 0 512218232 292466688 38682 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71403 38682 231 231 0 71172 0
vsize: 285612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 10793
Raw data (stat): 10793 (PBS4) Z 10792 18865 18864 0 -1 1036 40183 0 0 0 119912 115 0 0 25 0 1 0 512218232 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.08
CPU time (s): 1200.27
CPU user time (s): 1199.12
CPU system time (s): 1.15182
CPU usage (%): 100.016
Max. virtual memory (Kb): 285612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####