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/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM	aa1ea44fce5b7bfbe62733720f941ebb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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 7897

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-17 17:03:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2958 boxname=wulflinc26 idbench=329 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  aa1ea44fce5b7bfbe62733720f941ebb  /oldhome/oroussel/tmp/wulflinc26/normalized-frb45-21-1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-frb45-21-1.opb
IDLAUNCH: 2958
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        780628 kB
Buffers:         37332 kB
Cached:         174936 kB
SwapCached:       2476 kB
Active:          78796 kB
Inactive:       138828 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        780376 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:            30652 kB
Committed_AS:    63616 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:23:35 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 2958 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-frb45-21-1.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.98 0.92 2/54 19441
Raw data (stat): 19441 (runsolver) R 19440 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512172085 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 s]
Raw data (loadavg): 0.88 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 2753 0 0 0 990 9 0 0 25 0 1 0 512172085 12222464 2403 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2403 231 231 0 2753 0
vsize: 11936
[startup+20.0004 s]
Raw data (loadavg): 0.90 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 4197 0 0 0 1985 13 0 0 25 0 1 0 512172085 20746240 3847 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5065 3848 231 231 0 4834 0
vsize: 20260
[startup+30.0001 s]
Raw data (loadavg): 0.91 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 5385 0 0 0 2983 16 0 0 25 0 1 0 512172085 37523456 5035 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5035 231 231 0 8930 0
vsize: 36644
[startup+40 s]
Raw data (loadavg): 0.92 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 6317 0 0 0 3981 18 0 0 25 0 1 0 512172085 37658624 5967 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9194 5967 231 231 0 8963 0
vsize: 36776
[startup+50.0004 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 7204 0 0 0 4979 20 0 0 25 0 1 0 512172085 37658624 6854 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9194 6854 231 231 0 8963 0
vsize: 36776
[startup+60.0001 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 7897 0 0 0 5978 21 0 0 25 0 1 0 512172085 37806080 7547 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9230 7547 231 231 0 8999 0
vsize: 36920
[startup+70.0011 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 8489 0 0 0 6977 23 0 0 25 0 1 0 512172085 37806080 8139 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9230 8139 231 231 0 8999 0
vsize: 36920
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 9580 0 0 0 7973 26 0 0 25 0 1 0 512172085 71507968 9230 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 9230 231 231 0 17227 0
vsize: 69832
[startup+90.0012 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 10924 0 0 0 8971 29 0 0 25 0 1 0 512172085 71507968 10574 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 10574 231 231 0 17227 0
vsize: 69832
[startup+100.001 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 11975 0 0 0 9969 31 0 0 25 0 1 0 512172085 71507968 11625 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 11625 231 231 0 17227 0
vsize: 69832
[startup+110.001 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 13283 0 0 0 10967 34 0 0 25 0 1 0 512172085 73080832 12548 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17842 12548 231 231 0 17611 0
vsize: 71368
[startup+120.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 13920 0 0 0 11965 36 0 0 25 0 1 0 512172085 73080832 13185 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17842 13185 231 231 0 17611 0
vsize: 71368
[startup+130.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 15109 0 0 0 12961 40 0 0 25 0 1 0 512172085 73801728 14374 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18018 14374 231 231 0 17787 0
vsize: 72072
[startup+140.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 16516 0 0 0 13958 43 0 0 25 0 1 0 512172085 74092544 15781 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18089 15781 231 231 0 17858 0
vsize: 72356
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 17222 0 0 0 14956 45 0 0 25 0 1 0 512172085 74514432 16487 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18192 16487 231 231 0 17961 0
vsize: 72768
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19441
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 17285 0 0 0 15956 45 0 0 25 0 1 0 512172085 74809344 16550 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18264 16550 231 231 0 18033 0
vsize: 73056
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 18517 0 0 0 16952 50 0 0 25 0 1 0 512172085 142221312 17782 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34722 17782 231 231 0 34491 0
vsize: 138888
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 19925 0 0 0 17949 53 0 0 25 0 1 0 512172085 142364672 19190 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34757 19190 231 231 0 34526 0
vsize: 139028
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 21291 0 0 0 18945 57 0 0 25 0 1 0 512172085 142635008 20556 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34823 20556 231 231 0 34592 0
vsize: 139292
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 21730 0 0 0 19944 58 0 0 25 0 1 0 512172085 142913536 20995 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34891 20995 231 231 0 34660 0
vsize: 139564
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 21784 0 0 0 20944 58 0 0 25 0 1 0 512172085 143056896 21049 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34926 21049 231 231 0 34695 0
vsize: 139704
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 21842 0 0 0 21944 59 0 0 25 0 1 0 512172085 143355904 21107 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34999 21107 231 231 0 34768 0
vsize: 139996
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 22042 0 0 0 22943 60 0 0 25 0 1 0 512172085 143491072 21307 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35032 21307 231 231 0 34801 0
vsize: 140128
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 23286 0 0 0 23940 63 0 0 25 0 1 0 512172085 143626240 22551 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35065 22551 231 231 0 34834 0
vsize: 140260
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 23544 0 0 0 24940 63 0 0 25 0 1 0 512172085 143765504 22809 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35099 22809 231 231 0 34868 0
vsize: 140396
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 23614 0 0 0 25939 64 0 0 25 0 1 0 512172085 144048128 22879 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35168 22879 231 231 0 34937 0
vsize: 140672
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 23744 0 0 0 26939 65 0 0 25 0 1 0 512172085 144674816 23009 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35321 23009 231 231 0 35090 0
vsize: 141284
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 23778 0 0 0 27939 65 0 0 25 0 1 0 512172085 144822272 23043 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35357 23043 231 231 0 35126 0
vsize: 141428
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 24345 0 0 0 28937 66 0 0 25 0 1 0 512172085 145092608 23610 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35423 23610 231 231 0 35192 0
vsize: 141692
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 25025 0 0 0 29935 69 0 0 25 0 1 0 512172085 145231872 24290 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35457 24290 231 231 0 35226 0
vsize: 141828
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 25061 0 0 0 30935 69 0 0 25 0 1 0 512172085 145367040 24326 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35490 24326 231 231 0 35259 0
vsize: 141960
[startup+320.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 25064 0 0 0 31935 69 0 0 25 0 1 0 512172085 145367040 24329 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35490 24329 231 231 0 35259 0
vsize: 141960
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 25103 0 0 0 32935 69 0 0 25 0 1 0 512172085 145506304 24368 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35524 24368 231 231 0 35293 0
vsize: 142096
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 25154 0 0 0 33935 70 0 0 25 0 1 0 512172085 145813504 24419 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35599 24419 231 231 0 35368 0
vsize: 142396
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 25884 0 0 0 34933 72 0 0 25 0 1 0 512172085 145948672 25149 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35632 25149 231 231 0 35401 0
vsize: 142528
[startup+360.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26061 0 0 0 35933 72 0 0 25 0 1 0 512172085 146087936 25326 4294967295 134512640 135450300 3221224640 3221223104 134532777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35666 25326 231 231 0 35435 0
vsize: 142664
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26091 0 0 0 36933 73 0 0 25 0 1 0 512172085 146223104 25356 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35699 25356 231 231 0 35468 0
vsize: 142796
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26125 0 0 0 37933 73 0 0 25 0 1 0 512172085 146370560 25390 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35735 25390 231 231 0 35504 0
vsize: 142940
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26156 0 0 0 38933 73 0 0 25 0 1 0 512172085 146370560 25421 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35735 25421 231 231 0 35504 0
vsize: 142940
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26629 0 0 0 39932 74 0 0 25 0 1 0 512172085 146518016 25894 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35771 25894 231 231 0 35540 0
vsize: 143084
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26822 0 0 0 40932 74 0 0 25 0 1 0 512172085 146665472 26087 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35807 26087 231 231 0 35576 0
vsize: 143228
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26842 0 0 0 41932 75 0 0 25 0 1 0 512172085 146665472 26107 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35807 26107 231 231 0 35576 0
vsize: 143228
[startup+430.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26864 0 0 0 42932 75 0 0 25 0 1 0 512172085 146800640 26129 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35840 26129 231 231 0 35609 0
vsize: 143360
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 26987 0 0 0 43932 75 0 0 25 0 1 0 512172085 147275776 26252 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35956 26252 231 231 0 35725 0
vsize: 143824
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 27030 0 0 0 44931 76 0 0 25 0 1 0 512172085 147562496 26295 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36026 26295 231 231 0 35795 0
vsize: 144104
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 27540 0 0 0 45931 77 0 0 25 0 1 0 512172085 147726336 26805 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36066 26805 231 231 0 35835 0
vsize: 144264
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 27559 0 0 0 46931 77 0 0 25 0 1 0 512172085 147865600 26824 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36100 26824 231 231 0 35869 0
vsize: 144400
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 27579 0 0 0 47931 77 0 0 25 0 1 0 512172085 148021248 26844 4294967295 134512640 135450300 3221224640 3221223272 135084237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36138 26845 231 231 0 35907 0
vsize: 144552
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 27633 0 0 0 48931 77 0 0 25 0 1 0 512172085 148168704 26898 4294967295 134512640 135450300 3221224640 3221222944 134844364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36174 26898 231 231 0 35943 0
vsize: 144696
[startup+500.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 27662 0 0 0 49931 77 0 0 25 0 1 0 512172085 148332544 26927 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36214 26927 231 231 0 35983 0
vsize: 144856
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 27985 0 0 0 50930 78 0 0 25 0 1 0 512172085 148332544 27250 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36214 27250 231 231 0 35983 0
vsize: 144856
[startup+520.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28009 0 0 0 51930 78 0 0 25 0 1 0 512172085 148475904 27274 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36249 27274 231 231 0 36018 0
vsize: 144996
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28036 0 0 0 52929 79 0 0 25 0 1 0 512172085 148635648 27301 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36288 27301 231 231 0 36057 0
vsize: 145152
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28052 0 0 0 53930 79 0 0 25 0 1 0 512172085 148635648 27317 4294967295 134512640 135450300 3221224640 3221223024 134579411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36288 27317 231 231 0 36057 0
vsize: 145152
[startup+550.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28073 0 0 0 54930 79 0 0 25 0 1 0 512172085 148635648 27338 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36288 27338 231 231 0 36057 0
vsize: 145152
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28151 0 0 0 55929 80 0 0 25 0 1 0 512172085 148774912 27416 4294967295 134512640 135450300 3221224640 3221223376 134538880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36322 27416 231 231 0 36091 0
vsize: 145288
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28369 0 0 0 56929 80 0 0 25 0 1 0 512172085 148922368 27634 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36358 27634 231 231 0 36127 0
vsize: 145432
[startup+580.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28381 0 0 0 57929 80 0 0 25 0 1 0 512172085 148922368 27646 4294967295 134512640 135450300 3221224640 3221223116 134571619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36358 27646 231 231 0 36127 0
vsize: 145432
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28395 0 0 0 58929 81 0 0 25 0 1 0 512172085 149057536 27660 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36391 27660 231 231 0 36160 0
vsize: 145564
[startup+600.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28410 0 0 0 59929 81 0 0 25 0 1 0 512172085 149057536 27675 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36391 27675 231 231 0 36160 0
vsize: 145564
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28450 0 0 0 60929 81 0 0 25 0 1 0 512172085 149221376 27715 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36431 27715 231 231 0 36200 0
vsize: 145724
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28619 0 0 0 61929 81 0 0 25 0 1 0 512172085 149221376 27884 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36431 27884 231 231 0 36200 0
vsize: 145724
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28691 0 0 0 62928 82 0 0 25 0 1 0 512172085 149520384 27956 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36504 27956 231 231 0 36273 0
vsize: 146016
[startup+640.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28703 0 0 0 63928 82 0 0 25 0 1 0 512172085 149520384 27968 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36504 27968 231 231 0 36273 0
vsize: 146016
[startup+650.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28738 0 0 0 64928 82 0 0 25 0 1 0 512172085 149684224 28003 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36544 28003 231 231 0 36313 0
vsize: 146176
[startup+660.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28765 0 0 0 65928 83 0 0 25 0 1 0 512172085 149684224 28030 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36544 28030 231 231 0 36313 0
vsize: 146176
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28915 0 0 0 66928 83 0 0 25 0 1 0 512172085 149823488 28180 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36578 28180 231 231 0 36347 0
vsize: 146312
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28935 0 0 0 67928 84 0 0 25 0 1 0 512172085 149958656 28200 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36611 28200 231 231 0 36380 0
vsize: 146444
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28963 0 0 0 68928 84 0 0 25 0 1 0 512172085 149958656 28228 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36611 28228 231 231 0 36380 0
vsize: 146444
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 28983 0 0 0 69928 84 0 0 25 0 1 0 512172085 150097920 28248 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36645 28248 231 231 0 36414 0
vsize: 146580
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29018 0 0 0 70928 84 0 0 25 0 1 0 512172085 150233088 28283 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36678 28283 231 231 0 36447 0
vsize: 146712
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29042 0 0 0 71928 84 0 0 25 0 1 0 512172085 150376448 28307 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36713 28307 231 231 0 36482 0
vsize: 146852
[startup+730.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29143 0 0 0 72928 85 0 0 25 0 1 0 512172085 150376448 28408 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36713 28408 231 231 0 36482 0
vsize: 146852
[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29159 0 0 0 73927 85 0 0 25 0 1 0 512172085 150544384 28424 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36754 28424 231 231 0 36523 0
vsize: 147016
[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29168 0 0 0 74927 85 0 0 25 0 1 0 512172085 150544384 28433 4294967295 134512640 135450300 3221224640 3221223456 134547672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36754 28433 231 231 0 36523 0
vsize: 147016
[startup+760.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29178 0 0 0 75927 85 0 0 25 0 1 0 512172085 150544384 28443 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36754 28443 231 231 0 36523 0
vsize: 147016
[startup+770.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29193 0 0 0 76927 86 0 0 25 0 1 0 512172085 150544384 28458 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36754 28458 231 231 0 36523 0
vsize: 147016
[startup+780.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29270 0 0 0 77927 86 0 0 25 0 1 0 512172085 150704128 28535 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36793 28535 231 231 0 36562 0
vsize: 147172
[startup+790.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29382 0 0 0 78927 87 0 0 25 0 1 0 512172085 151265280 28647 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36930 28647 231 231 0 36699 0
vsize: 147720
[startup+800.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29431 0 0 0 79926 87 0 0 25 0 1 0 512172085 151658496 28696 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37026 28696 231 231 0 36795 0
vsize: 148104
[startup+810.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29467 0 0 0 80926 87 0 0 25 0 1 0 512172085 151855104 28732 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37074 28732 231 231 0 36843 0
vsize: 148296
[startup+820.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29477 0 0 0 81926 88 0 0 25 0 1 0 512172085 151855104 28742 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37074 28742 231 231 0 36843 0
vsize: 148296
[startup+830.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29487 0 0 0 82926 88 0 0 25 0 1 0 512172085 151855104 28752 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37074 28752 231 231 0 36843 0
vsize: 148296
[startup+840.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29538 0 0 0 83926 88 0 0 25 0 1 0 512172085 151855104 28803 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37074 28803 231 231 0 36843 0
vsize: 148296
[startup+850.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29548 0 0 0 84926 89 0 0 25 0 1 0 512172085 151855104 28813 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37074 28813 231 231 0 36843 0
vsize: 148296
[startup+860.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29557 0 0 0 85926 89 0 0 25 0 1 0 512172085 151855104 28822 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37074 28822 231 231 0 36843 0
vsize: 148296
[startup+870.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29566 0 0 0 86926 89 0 0 25 0 1 0 512172085 151855104 28831 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37074 28831 231 231 0 36843 0
vsize: 148296
[startup+880.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29574 0 0 0 87925 90 0 0 25 0 1 0 512172085 152010752 28839 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28839 231 231 0 36881 0
vsize: 148448
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29615 0 0 0 88925 90 0 0 25 0 1 0 512172085 152010752 28880 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28880 231 231 0 36881 0
vsize: 148448
[startup+900.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29623 0 0 0 89925 91 0 0 25 0 1 0 512172085 152010752 28888 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28888 231 231 0 36881 0
vsize: 148448
[startup+910.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29627 0 0 0 90924 91 0 0 25 0 1 0 512172085 152010752 28892 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28892 231 231 0 36881 0
vsize: 148448
[startup+920.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29635 0 0 0 91925 91 0 0 25 0 1 0 512172085 152010752 28900 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28900 231 231 0 36881 0
vsize: 148448
[startup+930.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29643 0 0 0 92925 92 0 0 25 0 1 0 512172085 152010752 28908 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28908 231 231 0 36881 0
vsize: 148448
[startup+940.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29651 0 0 0 93924 92 0 0 25 0 1 0 512172085 152010752 28916 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28916 231 231 0 36881 0
vsize: 148448
[startup+950.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29691 0 0 0 94924 92 0 0 25 0 1 0 512172085 152010752 28956 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37112 28956 231 231 0 36881 0
vsize: 148448
[startup+960.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29725 0 0 0 95924 93 0 0 25 0 1 0 512172085 152174592 28990 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37152 28990 231 231 0 36921 0
vsize: 148608
[startup+970.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29733 0 0 0 96924 93 0 0 25 0 1 0 512172085 152174592 28998 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37152 28998 231 231 0 36921 0
vsize: 148608
[startup+980.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29740 0 0 0 97924 93 0 0 25 0 1 0 512172085 152174592 29005 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37152 29005 231 231 0 36921 0
vsize: 148608
[startup+990.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29758 0 0 0 98924 93 0 0 25 0 1 0 512172085 152334336 29023 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37191 29023 231 231 0 36960 0
vsize: 148764
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29781 0 0 0 99924 94 0 0 25 0 1 0 512172085 152334336 29046 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37191 29046 231 231 0 36960 0
vsize: 148764
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29792 0 0 0 100923 94 0 0 25 0 1 0 512172085 152334336 29057 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37191 29057 231 231 0 36960 0
vsize: 148764
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29801 0 0 0 101923 94 0 0 25 0 1 0 512172085 152334336 29066 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37191 29066 231 231 0 36960 0
vsize: 148764
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29805 0 0 0 102923 95 0 0 25 0 1 0 512172085 152334336 29070 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37191 29070 231 231 0 36960 0
vsize: 148764
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29816 0 0 0 103923 95 0 0 25 0 1 0 512172085 152334336 29081 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37191 29081 231 231 0 36960 0
vsize: 148764
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29824 0 0 0 104923 96 0 0 25 0 1 0 512172085 152477696 29089 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 29089 231 231 0 36995 0
vsize: 148904
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29844 0 0 0 105923 96 0 0 25 0 1 0 512172085 152477696 29109 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 29109 231 231 0 36995 0
vsize: 148904
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29858 0 0 0 106923 96 0 0 25 0 1 0 512172085 152477696 29123 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 29123 231 231 0 36995 0
vsize: 148904
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29866 0 0 0 107923 96 0 0 25 0 1 0 512172085 152477696 29131 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 29131 231 231 0 36995 0
vsize: 148904
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29874 0 0 0 108923 96 0 0 25 0 1 0 512172085 152477696 29139 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 29139 231 231 0 36995 0
vsize: 148904
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29881 0 0 0 109923 96 0 0 25 0 1 0 512172085 152477696 29146 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 29146 231 231 0 36995 0
vsize: 148904
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 29909 0 0 0 110923 97 0 0 25 0 1 0 512172085 152678400 29174 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37275 29174 231 231 0 37044 0
vsize: 149100
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30686 0 0 0 111922 98 0 0 25 0 1 0 512172085 155824128 29182 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38043 29182 231 231 0 37812 0
vsize: 152172
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30695 0 0 0 112922 98 0 0 25 0 1 0 512172085 155824128 29191 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38043 29191 231 231 0 37812 0
vsize: 152172
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30729 0 0 0 113921 99 0 0 25 0 1 0 512172085 155987968 29225 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38083 29225 231 231 0 37852 0
vsize: 152332
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30755 0 0 0 114921 99 0 0 25 0 1 0 512172085 155987968 29251 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38083 29251 231 231 0 37852 0
vsize: 152332
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30762 0 0 0 115921 99 0 0 25 0 1 0 512172085 155987968 29258 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38083 29258 231 231 0 37852 0
vsize: 152332
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30784 0 0 0 116921 100 0 0 25 0 1 0 512172085 155987968 29280 4294967295 134512640 135450300 3221224640 3221223104 134532726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38083 29280 231 231 0 37852 0
vsize: 152332
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30792 0 0 0 117921 100 0 0 25 0 1 0 512172085 156160000 29288 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38125 29288 231 231 0 37894 0
vsize: 152500
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30801 0 0 0 118921 100 0 0 25 0 1 0 512172085 156160000 29297 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38125 29297 231 231 0 37894 0
vsize: 152500
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 19443
Raw data (stat): 19441 (PBS4) R 19440 22612 22611 0 -1 0 30809 0 0 0 119921 100 0 0 25 0 1 0 512172085 156160000 29305 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38125 29305 231 231 0 37894 0
vsize: 152500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 19443
Raw data (stat): 19441 (PBS4) Z 19440 22612 22611 0 -1 1036 30809 0 0 0 119921 106 0 0 25 0 1 0 512172085 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.07
CPU time (s): 1200.28
CPU user time (s): 1199.22
CPU system time (s): 1.06184
CPU usage (%): 100.017
Max. virtual memory (Kb): 152500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####