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/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
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	760
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.06
Number of variables	760
Total number of constraints	41314
Number of constraints which are clauses	41314
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 7891

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-17 17:03:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2913 boxname=wulflinc15 idbench=324 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc15/normalized-frb40-19-1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc15/normalized-frb40-19-1.opb
IDLAUNCH: 2913
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        834504 kB
Buffers:         38144 kB
Cached:         138688 kB
SwapCached:       2144 kB
Active:          91156 kB
Inactive:        90652 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834252 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12788 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:23:02 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2913 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-frb40-19-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.97 0.91 2/54 24987
Raw data (stat): 24987 (runsolver) R 24986 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453939357 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+9.99984 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 3365 0 0 0 990 8 0 0 25 0 1 0 453939357 20299776 3015 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4956 3015 231 231 0 4725 0
vsize: 19824
[startup+19.9999 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 5550 0 0 0 1985 13 0 0 25 0 1 0 453939357 37212160 5200 4294967295 134512640 135450300 3221224640 3221223376 134538520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9085 5200 231 231 0 8854 0
vsize: 36340
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 7619 0 0 0 2981 18 0 0 25 0 1 0 453939357 37904384 7269 4294967295 134512640 135450300 3221224640 3221223024 134579423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9254 7269 231 231 0 9023 0
vsize: 37016
[startup+40.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 9494 0 0 0 3977 22 0 0 25 0 1 0 453939357 71458816 9144 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17446 9144 231 231 0 17215 0
vsize: 69784
[startup+50.0014 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 10916 0 0 0 4974 25 0 0 25 0 1 0 453939357 71598080 10566 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17480 10566 231 231 0 17249 0
vsize: 69920
[startup+60.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 12137 0 0 0 5971 28 0 0 25 0 1 0 453939357 72462336 11787 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17691 11787 231 231 0 17460 0
vsize: 70764
[startup+70.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 13509 0 0 0 6968 32 0 0 25 0 1 0 453939357 72753152 13159 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17762 13159 231 231 0 17531 0
vsize: 71048
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 14953 0 0 0 7964 35 0 0 25 0 1 0 453939357 73814016 14603 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18021 14603 231 231 0 17790 0
vsize: 72084
[startup+90.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 15879 0 0 0 8962 38 0 0 25 0 1 0 453939357 73957376 15529 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18056 15529 231 231 0 17825 0
vsize: 72224
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 15928 0 0 0 9962 38 0 0 25 0 1 0 453939357 74235904 15578 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18124 15578 231 231 0 17893 0
vsize: 72496
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 15969 0 0 0 10962 38 0 0 25 0 1 0 453939357 74375168 15619 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18158 15619 231 231 0 17927 0
vsize: 72632
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 17013 0 0 0 11959 41 0 0 25 0 1 0 453939357 74792960 16663 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18260 16663 231 231 0 18029 0
vsize: 73040
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 17739 0 0 0 12957 44 0 0 25 0 1 0 453939357 74940416 17389 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18296 17389 231 231 0 18065 0
vsize: 73184
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24987
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 17801 0 0 0 13957 44 0 0 25 0 1 0 453939357 75227136 17451 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17451 231 231 0 18135 0
vsize: 73464
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 17909 0 0 0 14956 45 0 0 25 0 1 0 453939357 75644928 17559 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17559 231 231 0 18237 0
vsize: 73872
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 18670 0 0 0 15954 47 0 0 25 0 1 0 453939357 142913536 18320 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34891 18320 231 231 0 34660 0
vsize: 139564
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 19189 0 0 0 16952 49 0 0 25 0 1 0 453939357 143187968 18839 4294967295 134512640 135450300 3221224640 3221223104 134532832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34958 18839 231 231 0 34727 0
vsize: 139832
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 19224 0 0 0 17952 49 0 0 25 0 1 0 453939357 143323136 18874 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34991 18874 231 231 0 34760 0
vsize: 139964
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 19284 0 0 0 18952 49 0 0 25 0 1 0 453939357 143634432 18934 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35067 18934 231 231 0 34836 0
vsize: 140268
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 19749 0 0 0 19951 51 0 0 25 0 1 0 453939357 143769600 19399 4294967295 134512640 135450300 3221224640 3221223104 134532759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35100 19399 231 231 0 34869 0
vsize: 140400
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 20242 0 0 0 20950 52 0 0 25 0 1 0 453939357 143917056 19892 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35136 19892 231 231 0 34905 0
vsize: 140544
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 20275 0 0 0 21950 52 0 0 25 0 1 0 453939357 144056320 19925 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35170 19925 231 231 0 34939 0
vsize: 140680
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 20303 0 0 0 22950 52 0 0 25 0 1 0 453939357 144191488 19953 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35203 19953 231 231 0 34972 0
vsize: 140812
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 20342 0 0 0 23950 52 0 0 25 0 1 0 453939357 144351232 19992 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35242 19992 231 231 0 35011 0
vsize: 140968
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 20878 0 0 0 24948 54 0 0 25 0 1 0 453939357 144498688 20528 4294967295 134512640 135450300 3221224640 3221223472 134549447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35278 20528 231 231 0 35047 0
vsize: 141112
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 21480 0 0 0 25947 55 0 0 25 0 1 0 453939357 146366464 20745 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35734 20745 231 231 0 35503 0
vsize: 142936
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 21532 0 0 0 26947 55 0 0 25 0 1 0 453939357 146673664 20797 4294967295 134512640 135450300 3221224640 3221223472 134549447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35809 20797 231 231 0 35578 0
vsize: 143236
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 21548 0 0 0 27947 56 0 0 25 0 1 0 453939357 146673664 20813 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35809 20813 231 231 0 35578 0
vsize: 143236
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 21589 0 0 0 28947 56 0 0 25 0 1 0 453939357 146821120 20854 4294967295 134512640 135450300 3221224640 3221223456 134537260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35845 20854 231 231 0 35614 0
vsize: 143380
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22087 0 0 0 29946 57 0 0 25 0 1 0 453939357 146989056 21352 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35886 21352 231 231 0 35655 0
vsize: 143544
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22154 0 0 0 30945 58 0 0 25 0 1 0 453939357 147292160 21419 4294967295 134512640 135450300 3221224640 3221223104 134532865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35960 21419 231 231 0 35729 0
vsize: 143840
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22174 0 0 0 31945 59 0 0 25 0 1 0 453939357 147292160 21439 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35960 21439 231 231 0 35729 0
vsize: 143840
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22221 0 0 0 32945 59 0 0 25 0 1 0 453939357 147607552 21486 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36037 21486 231 231 0 35806 0
vsize: 144148
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22559 0 0 0 33944 60 0 0 25 0 1 0 453939357 147607552 21824 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36037 21824 231 231 0 35806 0
vsize: 144148
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22595 0 0 0 34944 60 0 0 25 0 1 0 453939357 147759104 21860 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36074 21860 231 231 0 35843 0
vsize: 144296
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22635 0 0 0 35944 60 0 0 25 0 1 0 453939357 147894272 21900 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36107 21900 231 231 0 35876 0
vsize: 144428
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22649 0 0 0 36944 61 0 0 25 0 1 0 453939357 148033536 21914 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36141 21914 231 231 0 35910 0
vsize: 144564
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22691 0 0 0 37944 61 0 0 25 0 1 0 453939357 148197376 21956 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36181 21956 231 231 0 35950 0
vsize: 144724
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22961 0 0 0 38943 62 0 0 25 0 1 0 453939357 148336640 22226 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36215 22226 231 231 0 35984 0
vsize: 144860
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 22982 0 0 0 39943 62 0 0 25 0 1 0 453939357 148336640 22247 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36215 22247 231 231 0 35984 0
vsize: 144860
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23005 0 0 0 40943 63 0 0 25 0 1 0 453939357 148484096 22270 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36251 22270 231 231 0 36020 0
vsize: 145004
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23044 0 0 0 41942 63 0 0 25 0 1 0 453939357 148647936 22309 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36291 22309 231 231 0 36060 0
vsize: 145164
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23257 0 0 0 42942 64 0 0 25 0 1 0 453939357 148811776 22522 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36331 22522 231 231 0 36100 0
vsize: 145324
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23299 0 0 0 43942 64 0 0 25 0 1 0 453939357 148959232 22564 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36367 22564 231 231 0 36136 0
vsize: 145468
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23355 0 0 0 44941 65 0 0 25 0 1 0 453939357 149307392 22620 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36452 22620 231 231 0 36221 0
vsize: 145808
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23384 0 0 0 45942 65 0 0 25 0 1 0 453939357 149471232 22649 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36492 22649 231 231 0 36261 0
vsize: 145968
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23541 0 0 0 46941 65 0 0 25 0 1 0 453939357 149471232 22806 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36492 22806 231 231 0 36261 0
vsize: 145968
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23552 0 0 0 47941 65 0 0 25 0 1 0 453939357 149659648 22817 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36538 22817 231 231 0 36307 0
vsize: 146152
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23562 0 0 0 48941 66 0 0 25 0 1 0 453939357 149659648 22827 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36538 22827 231 231 0 36307 0
vsize: 146152
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23608 0 0 0 49941 66 0 0 25 0 1 0 453939357 149807104 22873 4294967295 134512640 135450300 3221224640 3221223024 134579544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36574 22873 231 231 0 36343 0
vsize: 146296
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23622 0 0 0 50941 66 0 0 25 0 1 0 453939357 149807104 22887 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36574 22887 231 231 0 36343 0
vsize: 146296
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23745 0 0 0 51941 66 0 0 25 0 1 0 453939357 149970944 23010 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36614 23010 231 231 0 36383 0
vsize: 146456
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23781 0 0 0 52941 67 0 0 25 0 1 0 453939357 150130688 23046 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36653 23046 231 231 0 36422 0
vsize: 146612
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23816 0 0 0 53940 67 0 0 25 0 1 0 453939357 150323200 23081 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36700 23081 231 231 0 36469 0
vsize: 146800
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23853 0 0 0 54940 67 0 0 25 0 1 0 453939357 150470656 23118 4294967295 134512640 135450300 3221224640 3221223360 134535823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36736 23118 231 231 0 36505 0
vsize: 146944
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23875 0 0 0 55940 68 0 0 25 0 1 0 453939357 150470656 23140 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36736 23140 231 231 0 36505 0
vsize: 146944
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23965 0 0 0 56940 68 0 0 25 0 1 0 453939357 150618112 23230 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36772 23230 231 231 0 36541 0
vsize: 147088
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 23991 0 0 0 57940 68 0 0 25 0 1 0 453939357 150802432 23256 4294967295 134512640 135450300 3221224640 3221223104 134532799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36817 23256 231 231 0 36586 0
vsize: 147268
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24062 0 0 0 58940 68 0 0 25 0 1 0 453939357 151097344 23327 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36889 23327 231 231 0 36658 0
vsize: 147556
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24100 0 0 0 59940 69 0 0 25 0 1 0 453939357 151097344 23365 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36889 23365 231 231 0 36658 0
vsize: 147556
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24110 0 0 0 60940 69 0 0 25 0 1 0 453939357 151097344 23375 4294967295 134512640 135450300 3221224640 3221223456 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36889 23375 231 231 0 36658 0
vsize: 147556
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24125 0 0 0 61940 69 0 0 25 0 1 0 453939357 151244800 23390 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36925 23390 231 231 0 36694 0
vsize: 147700
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24139 0 0 0 62940 69 0 0 25 0 1 0 453939357 151244800 23404 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36925 23404 231 231 0 36694 0
vsize: 147700
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24149 0 0 0 63940 70 0 0 25 0 1 0 453939357 151244800 23414 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36925 23414 231 231 0 36694 0
vsize: 147700
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24250 0 0 0 64940 70 0 0 25 0 1 0 453939357 151379968 23515 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36958 23515 231 231 0 36727 0
vsize: 147832
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24280 0 0 0 65940 70 0 0 25 0 1 0 453939357 151527424 23545 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36994 23545 231 231 0 36763 0
vsize: 147976
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24309 0 0 0 66939 71 0 0 25 0 1 0 453939357 151670784 23574 4294967295 134512640 135450300 3221224640 3221223472 134549453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37029 23574 231 231 0 36798 0
vsize: 148116
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24351 0 0 0 67939 71 0 0 25 0 1 0 453939357 151834624 23616 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37069 23616 231 231 0 36838 0
vsize: 148276
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24388 0 0 0 68939 71 0 0 25 0 1 0 453939357 151998464 23653 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37109 23653 231 231 0 36878 0
vsize: 148436
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24394 0 0 0 69939 72 0 0 25 0 1 0 453939357 151998464 23659 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37109 23659 231 231 0 36878 0
vsize: 148436
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24435 0 0 0 70939 72 0 0 25 0 1 0 453939357 152195072 23700 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37157 23700 231 231 0 36926 0
vsize: 148628
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24466 0 0 0 71939 72 0 0 25 0 1 0 453939357 152195072 23731 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37157 23731 231 231 0 36926 0
vsize: 148628
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24505 0 0 0 72939 73 0 0 25 0 1 0 453939357 152358912 23770 4294967295 134512640 135450300 3221224640 3221223140 134571796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37197 23770 231 231 0 36966 0
vsize: 148788
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24542 0 0 0 73938 73 0 0 25 0 1 0 453939357 152522752 23807 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37237 23807 231 231 0 37006 0
vsize: 148948
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24572 0 0 0 74938 73 0 0 25 0 1 0 453939357 152686592 23837 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37277 23837 231 231 0 37046 0
vsize: 149108
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24603 0 0 0 75938 73 0 0 25 0 1 0 453939357 152870912 23868 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37322 23868 231 231 0 37091 0
vsize: 149288
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24618 0 0 0 76938 74 0 0 25 0 1 0 453939357 152870912 23883 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37322 23883 231 231 0 37091 0
vsize: 149288
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24636 0 0 0 77938 74 0 0 25 0 1 0 453939357 152870912 23901 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37322 23901 231 231 0 37091 0
vsize: 149288
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24663 0 0 0 78938 74 0 0 25 0 1 0 453939357 153034752 23928 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37362 23928 231 231 0 37131 0
vsize: 149448
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24673 0 0 0 79938 75 0 0 25 0 1 0 453939357 153034752 23938 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37362 23938 231 231 0 37131 0
vsize: 149448
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24677 0 0 0 80938 75 0 0 25 0 1 0 453939357 153034752 23942 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37362 23942 231 231 0 37131 0
vsize: 149448
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24688 0 0 0 81938 75 0 0 25 0 1 0 453939357 153034752 23953 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37362 23953 231 231 0 37131 0
vsize: 149448
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24706 0 0 0 82938 75 0 0 25 0 1 0 453939357 153034752 23971 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37362 23971 231 231 0 37131 0
vsize: 149448
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24720 0 0 0 83938 76 0 0 25 0 1 0 453939357 153174016 23985 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37396 23985 231 231 0 37165 0
vsize: 149584
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24752 0 0 0 84937 76 0 0 25 0 1 0 453939357 153321472 24017 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37432 24017 231 231 0 37201 0
vsize: 149728
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24766 0 0 0 85937 77 0 0 25 0 1 0 453939357 153321472 24031 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37432 24031 231 231 0 37201 0
vsize: 149728
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24787 0 0 0 86937 77 0 0 25 0 1 0 453939357 153321472 24052 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37432 24052 231 231 0 37201 0
vsize: 149728
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24826 0 0 0 87937 77 0 0 25 0 1 0 453939357 153468928 24091 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37468 24091 231 231 0 37237 0
vsize: 149872
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24839 0 0 0 88937 77 0 0 25 0 1 0 453939357 153468928 24104 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37468 24104 231 231 0 37237 0
vsize: 149872
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24864 0 0 0 89937 78 0 0 25 0 1 0 453939357 153468928 24129 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37468 24129 231 231 0 37237 0
vsize: 149872
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24877 0 0 0 90937 78 0 0 25 0 1 0 453939357 153702400 24142 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37525 24142 231 231 0 37294 0
vsize: 150100
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24895 0 0 0 91937 78 0 0 25 0 1 0 453939357 153702400 24160 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37525 24160 231 231 0 37294 0
vsize: 150100
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24929 0 0 0 92937 78 0 0 25 0 1 0 453939357 153849856 24194 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37561 24194 231 231 0 37330 0
vsize: 150244
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24948 0 0 0 93937 78 0 0 25 0 1 0 453939357 153849856 24213 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37561 24213 231 231 0 37330 0
vsize: 150244
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24968 0 0 0 94937 79 0 0 25 0 1 0 453939357 153849856 24233 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37561 24233 231 231 0 37330 0
vsize: 150244
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 24983 0 0 0 95937 79 0 0 25 0 1 0 453939357 153849856 24248 4294967295 134512640 135450300 3221224640 3221223472 134549481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37561 24248 231 231 0 37330 0
vsize: 150244
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25006 0 0 0 96936 80 0 0 25 0 1 0 453939357 154013696 24271 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37601 24271 231 231 0 37370 0
vsize: 150404
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25024 0 0 0 97937 80 0 0 25 0 1 0 453939357 154157056 24289 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37636 24289 231 231 0 37405 0
vsize: 150544
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25054 0 0 0 98936 80 0 0 25 0 1 0 453939357 154157056 24319 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37636 24319 231 231 0 37405 0
vsize: 150544
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25071 0 0 0 99936 80 0 0 25 0 1 0 453939357 154304512 24336 4294967295 134512640 135450300 3221224640 3221223360 134535963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37672 24336 231 231 0 37441 0
vsize: 150688
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25096 0 0 0 100936 80 0 0 25 0 1 0 453939357 154304512 24361 4294967295 134512640 135450300 3221224640 3221223168 134544983 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37672 24361 231 231 0 37441 0
vsize: 150688
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25122 0 0 0 101936 81 0 0 25 0 1 0 453939357 154468352 24387 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37712 24387 231 231 0 37481 0
vsize: 150848
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25137 0 0 0 102936 81 0 0 25 0 1 0 453939357 154468352 24402 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37712 24402 231 231 0 37481 0
vsize: 150848
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25154 0 0 0 103936 81 0 0 25 0 1 0 453939357 154648576 24419 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37756 24419 231 231 0 37525 0
vsize: 151024
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25162 0 0 0 104936 81 0 0 25 0 1 0 453939357 154648576 24427 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37756 24427 231 231 0 37525 0
vsize: 151024
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25177 0 0 0 105936 81 0 0 25 0 1 0 453939357 154648576 24442 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37756 24442 231 231 0 37525 0
vsize: 151024
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25186 0 0 0 106936 82 0 0 25 0 1 0 453939357 154648576 24451 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37756 24451 231 231 0 37525 0
vsize: 151024
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25194 0 0 0 107936 82 0 0 25 0 1 0 453939357 154648576 24459 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37756 24459 231 231 0 37525 0
vsize: 151024
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25234 0 0 0 108936 82 0 0 25 0 1 0 453939357 154648576 24499 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37756 24499 231 231 0 37525 0
vsize: 151024
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25244 0 0 0 109936 83 0 0 25 0 1 0 453939357 154648576 24509 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37756 24509 231 231 0 37525 0
vsize: 151024
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25263 0 0 0 110936 83 0 0 25 0 1 0 453939357 154812416 24528 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37796 24528 231 231 0 37565 0
vsize: 151184
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25273 0 0 0 111936 83 0 0 25 0 1 0 453939357 154812416 24538 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37796 24538 231 231 0 37565 0
vsize: 151184
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 25289 0 0 0 112936 83 0 0 25 0 1 0 453939357 154812416 24554 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37796 24554 231 231 0 37565 0
vsize: 151184
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 26071 0 0 0 113934 85 0 0 25 0 1 0 453939357 158117888 24567 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38603 24567 231 231 0 38372 0
vsize: 154412
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 26105 0 0 0 114934 85 0 0 25 0 1 0 453939357 158117888 24601 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38603 24601 231 231 0 38372 0
vsize: 154412
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 26114 0 0 0 115934 85 0 0 25 0 1 0 453939357 158117888 24610 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38603 24610 231 231 0 38372 0
vsize: 154412
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 26136 0 0 0 116934 85 0 0 25 0 1 0 453939357 158253056 24632 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38636 24632 231 231 0 38405 0
vsize: 154544
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 26147 0 0 0 117934 86 0 0 25 0 1 0 453939357 158253056 24643 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38636 24643 231 231 0 38405 0
vsize: 154544
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 26162 0 0 0 118934 86 0 0 25 0 1 0 453939357 158416896 24658 4294967295 134512640 135450300 3221224640 3221223168 134545084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38676 24658 231 231 0 38445 0
vsize: 154704
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24989
Raw data (stat): 24987 (PBS4) R 24986 29151 29150 0 -1 0 26176 0 0 0 119934 86 0 0 25 0 1 0 453939357 158416896 24672 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38676 24672 231 231 0 38445 0
vsize: 154704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24989
Raw data (stat): 24987 (PBS4) Z 24986 29151 29150 0 -1 1036 26176 0 0 0 119934 91 0 0 25 0 1 0 453939357 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.08
CPU time (s): 1200.26
CPU user time (s): 1199.34
CPU system time (s): 0.91486
CPU usage (%): 100.015
Max. virtual memory (Kb): 154704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####