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/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 7873

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-17 16:45:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2535 boxname=wulflinc11 idbench=282 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 2535
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        791676 kB
Buffers:         37820 kB
Cached:         178180 kB
SwapCached:       4932 kB
Active:         102036 kB
Inactive:       121760 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791424 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            13536 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:06:01 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2535 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.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.95 0.90 2/54 25086
Raw data (stat): 25086 (runsolver) R 25085 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453838136 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 12519 0 0 0 969 30 0 0 25 0 1 0 453838136 49094656 10795 4294967295 134512640 135450300 3221224608 3221157264 134853668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11986 10795 231 231 0 11755 0
vsize: 47944
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 18319 0 0 0 1951 48 0 0 25 0 1 0 453838136 69840896 15058 4294967295 134512640 135450300 3221224608 3221157360 134582398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17051 15058 231 231 0 16820 0
vsize: 68204
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 26412 0 0 0 2930 69 0 0 25 0 1 0 453838136 94121984 19492 4294967295 134512640 135450300 3221224608 3221223080 134534889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22979 19492 231 231 0 22748 0
vsize: 91916
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 27066 0 0 0 3928 71 0 0 25 0 1 0 453838136 97165312 20146 4294967295 134512640 135450300 3221224608 3221223012 135071245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23722 20146 231 231 0 23491 0
vsize: 94888
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 27993 0 0 0 4926 74 0 0 25 0 1 0 453838136 101478400 21007 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24775 21007 231 231 0 24544 0
vsize: 99100
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 28939 0 0 0 5923 76 0 0 25 0 1 0 453838136 104816640 21623 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25590 21623 231 231 0 25359 0
vsize: 102360
[startup+70.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 29412 0 0 0 6922 77 0 0 25 0 1 0 453838136 106209280 21898 4294967295 134512640 135450300 3221224608 3221222960 134533196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25930 21898 231 231 0 25699 0
vsize: 103720
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 30053 0 0 0 7921 79 0 0 25 0 1 0 453838136 107012096 22078 4294967295 134512640 135450300 3221224608 3221223020 134533356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26126 22078 231 231 0 25895 0
vsize: 104504
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 30090 0 0 0 8919 80 0 0 25 0 1 0 453838136 107147264 22115 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26159 22115 231 231 0 25928 0
vsize: 104636
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 30762 0 0 0 9918 82 0 0 25 0 1 0 453838136 110092288 22589 4294967295 134512640 135450300 3221224608 3221222960 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26878 22589 231 231 0 26647 0
vsize: 107512
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 32007 0 0 0 10915 85 0 0 25 0 1 0 453838136 113823744 23208 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27789 23208 231 231 0 27558 0
vsize: 111156
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 32473 0 0 0 11914 86 0 0 25 0 1 0 453838136 115425280 23575 4294967295 134512640 135450300 3221224608 3221223440 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28180 23575 231 231 0 27949 0
vsize: 112720
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 32748 0 0 0 12914 87 0 0 25 0 1 0 453838136 116641792 23850 4294967295 134512640 135450300 3221224608 3221223548 134530293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28477 23850 231 231 0 28246 0
vsize: 113908
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 32768 0 0 0 13914 87 0 0 25 0 1 0 453838136 116641792 23870 4294967295 134512640 135450300 3221224608 3221223548 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28477 23870 231 231 0 28246 0
vsize: 113908
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 32818 0 0 0 14913 88 0 0 25 0 1 0 453838136 116912128 23920 4294967295 134512640 135450300 3221224608 3221223344 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28543 23920 231 231 0 28312 0
vsize: 114172
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 33712 0 0 0 15911 90 0 0 25 0 1 0 453838136 118095872 24157 4294967295 134512640 135450300 3221224608 3221223536 134539679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28832 24157 231 231 0 28601 0
vsize: 115328
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 34239 0 0 0 16909 92 0 0 25 0 1 0 453838136 119545856 24422 4294967295 134512640 135450300 3221224608 3221223344 134537905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29186 24422 231 231 0 28955 0
vsize: 116744
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 34481 0 0 0 17908 93 0 0 25 0 1 0 453838136 120619008 24598 4294967295 134512640 135450300 3221224608 3221222960 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29448 24598 231 231 0 29217 0
vsize: 117792
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 34962 0 0 0 18908 94 0 0 25 0 1 0 453838136 121942016 24849 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29771 24849 231 231 0 29540 0
vsize: 119084
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 35284 0 0 0 19907 94 0 0 25 0 1 0 453838136 122998784 25007 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30029 25007 231 231 0 29798 0
vsize: 120116
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 35425 0 0 0 20906 95 0 0 25 0 1 0 453838136 123392000 25049 4294967295 134512640 135450300 3221224608 3221223344 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30125 25049 231 231 0 29894 0
vsize: 120500
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 35703 0 0 0 21906 96 0 0 25 0 1 0 453838136 124452864 25229 4294967295 134512640 135450300 3221224608 3221223548 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30384 25229 231 231 0 30153 0
vsize: 121536
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 35992 0 0 0 22904 97 0 0 25 0 1 0 453838136 125378560 25420 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30610 25420 231 231 0 30379 0
vsize: 122440
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 36224 0 0 0 23904 98 0 0 25 0 1 0 453838136 125906944 25586 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30739 25586 231 231 0 30508 0
vsize: 122956
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 36378 0 0 0 24903 99 0 0 25 0 1 0 453838136 126300160 25641 4294967295 134512640 135450300 3221224608 3221223548 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30835 25641 231 231 0 30604 0
vsize: 123340
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 36786 0 0 0 25902 101 0 0 25 0 1 0 453838136 126300160 25654 4294967295 134512640 135450300 3221224608 3221223344 134538974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30835 25654 231 231 0 30604 0
vsize: 123340
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 36804 0 0 0 26901 101 0 0 25 0 1 0 453838136 126300160 25672 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30835 25672 231 231 0 30604 0
vsize: 123340
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 36856 0 0 0 27901 102 0 0 25 0 1 0 453838136 126431232 25691 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30867 25691 231 231 0 30636 0
vsize: 123468
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 36892 0 0 0 28900 103 0 0 25 0 1 0 453838136 126431232 25727 4294967295 134512640 135450300 3221224608 3221223508 134539773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30867 25727 231 231 0 30636 0
vsize: 123468
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 37044 0 0 0 29899 104 0 0 25 0 1 0 453838136 126693376 25813 4294967295 134512640 135450300 3221224608 3221222960 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30931 25813 231 231 0 30700 0
vsize: 123724
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 37095 0 0 0 30899 104 0 0 25 0 1 0 453838136 127025152 25864 4294967295 134512640 135450300 3221224608 3221223216 134537611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31012 25864 231 231 0 30781 0
vsize: 124048
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 37258 0 0 0 31898 105 0 0 25 0 1 0 453838136 127455232 25994 4294967295 134512640 135450300 3221224608 3221223072 134534896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31117 25994 231 231 0 30886 0
vsize: 124468
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 37368 0 0 0 32898 106 0 0 25 0 1 0 453838136 127852544 26071 4294967295 134512640 135450300 3221224608 3221223344 134538895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31214 26071 231 231 0 30983 0
vsize: 124856
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 37572 0 0 0 33896 107 0 0 25 0 1 0 453838136 128376832 26144 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31342 26144 231 231 0 31111 0
vsize: 125368
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 37969 0 0 0 34895 109 0 0 25 0 1 0 453838136 129429504 26345 4294967295 134512640 135450300 3221224608 3221223344 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31599 26345 231 231 0 31368 0
vsize: 126396
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 37984 0 0 0 35894 109 0 0 25 0 1 0 453838136 129429504 26360 4294967295 134512640 135450300 3221224608 3221223536 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31599 26360 231 231 0 31368 0
vsize: 126396
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38174 0 0 0 36893 110 0 0 25 0 1 0 453838136 129953792 26419 4294967295 134512640 135450300 3221224608 3221223344 134537893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31727 26419 231 231 0 31496 0
vsize: 126908
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38262 0 0 0 37893 111 0 0 25 0 1 0 453838136 130220032 26507 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31792 26507 231 231 0 31561 0
vsize: 127168
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38360 0 0 0 38892 112 0 0 25 0 1 0 453838136 147128320 26572 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35920 26572 231 231 0 35689 0
vsize: 143680
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38371 0 0 0 39891 113 0 0 25 0 1 0 453838136 147128320 26583 4294967295 134512640 135450300 3221224608 3221223440 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35920 26583 231 231 0 35689 0
vsize: 143680
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38564 0 0 0 40891 114 0 0 25 0 1 0 453838136 147787776 26677 4294967295 134512640 135450300 3221224608 3221222960 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36081 26677 231 231 0 35850 0
vsize: 144324
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38831 0 0 0 41889 115 0 0 25 0 1 0 453838136 148443136 26781 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36241 26781 231 231 0 36010 0
vsize: 144964
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38859 0 0 0 42889 116 0 0 25 0 1 0 453838136 148443136 26809 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36241 26809 231 231 0 36010 0
vsize: 144964
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38867 0 0 0 43889 117 0 0 25 0 1 0 453838136 148443136 26817 4294967295 134512640 135450300 3221224608 3221223328 134538175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36241 26817 231 231 0 36010 0
vsize: 144964
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 38964 0 0 0 44888 118 0 0 25 0 1 0 453838136 148705280 26849 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36305 26849 231 231 0 36074 0
vsize: 145220
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39124 0 0 0 45887 118 0 0 25 0 1 0 453838136 149233664 26944 4294967295 134512640 135450300 3221224608 3221223472 134539194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36434 26944 231 231 0 36203 0
vsize: 145736
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39261 0 0 0 46886 120 0 0 25 0 1 0 453838136 150065152 27081 4294967295 134512640 135450300 3221224608 3221223344 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36637 27081 231 231 0 36406 0
vsize: 146548
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39410 0 0 0 47885 120 0 0 25 0 1 0 453838136 150462464 27197 4294967295 134512640 135450300 3221224608 3221223344 134538245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36734 27197 231 231 0 36503 0
vsize: 146936
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39490 0 0 0 48885 121 0 0 25 0 1 0 453838136 150994944 27277 4294967295 134512640 135450300 3221224608 3221223344 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36864 27277 231 231 0 36633 0
vsize: 147456
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39502 0 0 0 49884 122 0 0 25 0 1 0 453838136 150994944 27289 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36864 27289 231 231 0 36633 0
vsize: 147456
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39543 0 0 0 50883 123 0 0 25 0 1 0 453838136 151130112 27330 4294967295 134512640 135450300 3221224608 3221223536 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36897 27330 231 231 0 36666 0
vsize: 147588
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39731 0 0 0 51881 125 0 0 25 0 1 0 453838136 151863296 27485 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37076 27485 231 231 0 36845 0
vsize: 148304
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39741 0 0 0 52881 126 0 0 25 0 1 0 453838136 151863296 27495 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37076 27495 231 231 0 36845 0
vsize: 148304
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39797 0 0 0 53881 126 0 0 25 0 1 0 453838136 151863296 27551 4294967295 134512640 135450300 3221224608 3221223344 134538761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37076 27551 231 231 0 36845 0
vsize: 148304
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39823 0 0 0 54880 127 0 0 25 0 1 0 453838136 151998464 27577 4294967295 134512640 135450300 3221224608 3221222960 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37109 27577 231 231 0 36878 0
vsize: 148436
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 39980 0 0 0 55879 129 0 0 25 0 1 0 453838136 152797184 27734 4294967295 134512640 135450300 3221224608 3221223344 134538883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 27734 231 231 0 37073 0
vsize: 149216
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40187 0 0 0 56878 129 0 0 25 0 1 0 453838136 153628672 27925 4294967295 134512640 135450300 3221224608 3221223012 135071076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37507 27925 231 231 0 37276 0
vsize: 150028
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40193 0 0 0 57877 130 0 0 25 0 1 0 453838136 153628672 27931 4294967295 134512640 135450300 3221224608 3221223440 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37507 27931 231 231 0 37276 0
vsize: 150028
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40199 0 0 0 58877 131 0 0 25 0 1 0 453838136 153628672 27937 4294967295 134512640 135450300 3221224608 3221223472 134539164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37507 27937 231 231 0 37276 0
vsize: 150028
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40210 0 0 0 59876 132 0 0 25 0 1 0 453838136 153628672 27948 4294967295 134512640 135450300 3221224608 3221223344 134538481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37507 27948 231 231 0 37276 0
vsize: 150028
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40217 0 0 0 60875 133 0 0 25 0 1 0 453838136 153628672 27955 4294967295 134512640 135450300 3221224608 3221223536 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37507 27955 231 231 0 37276 0
vsize: 150028
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40250 0 0 0 61874 134 0 0 25 0 1 0 453838136 153763840 27988 4294967295 134512640 135450300 3221224608 3221223088 134534887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37540 27988 231 231 0 37309 0
vsize: 150160
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40317 0 0 0 62873 135 0 0 25 0 1 0 453838136 153894912 28022 4294967295 134512640 135450300 3221224608 3221223344 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37572 28022 231 231 0 37341 0
vsize: 150288
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40366 0 0 0 63873 135 0 0 25 0 1 0 453838136 153894912 28071 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37572 28071 231 231 0 37341 0
vsize: 150288
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40556 0 0 0 64873 136 0 0 25 0 1 0 453838136 154419200 28131 4294967295 134512640 135450300 3221224608 3221223508 134539773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37700 28131 231 231 0 37469 0
vsize: 150800
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40567 0 0 0 65872 137 0 0 25 0 1 0 453838136 155406336 28142 4294967295 134512640 135450300 3221224608 3221222960 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37941 28142 231 231 0 37710 0
vsize: 151764
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40689 0 0 0 66871 138 0 0 25 0 1 0 453838136 155734016 28199 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38021 28199 231 231 0 37790 0
vsize: 152084
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40703 0 0 0 67871 138 0 0 25 0 1 0 453838136 155734016 28213 4294967295 134512640 135450300 3221224608 3221223344 134538898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38021 28213 231 231 0 37790 0
vsize: 152084
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40712 0 0 0 68870 139 0 0 25 0 1 0 453838136 155734016 28222 4294967295 134512640 135450300 3221224608 3221223344 134538979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38021 28222 231 231 0 37790 0
vsize: 152084
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40774 0 0 0 69869 140 0 0 25 0 1 0 453838136 156000256 28284 4294967295 134512640 135450300 3221224608 3221223472 134539260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38086 28284 231 231 0 37855 0
vsize: 152344
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40947 0 0 0 70869 141 0 0 25 0 1 0 453838136 156393472 28359 4294967295 134512640 135450300 3221224608 3221223500 134539375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38182 28359 231 231 0 37951 0
vsize: 152728
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 40969 0 0 0 71868 142 0 0 25 0 1 0 453838136 156393472 28381 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38182 28381 231 231 0 37951 0
vsize: 152728
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41269 0 0 0 72867 143 0 0 25 0 1 0 453838136 157310976 28453 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38406 28453 231 231 0 38175 0
vsize: 153624
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41276 0 0 0 73867 143 0 0 25 0 1 0 453838136 157310976 28460 4294967295 134512640 135450300 3221224608 3221223344 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38406 28460 231 231 0 38175 0
vsize: 153624
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41283 0 0 0 74866 144 0 0 25 0 1 0 453838136 157310976 28467 4294967295 134512640 135450300 3221224608 3221223344 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38406 28467 231 231 0 38175 0
vsize: 153624
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41291 0 0 0 75865 145 0 0 25 0 1 0 453838136 157310976 28475 4294967295 134512640 135450300 3221224608 3221223536 134539735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38406 28475 231 231 0 38175 0
vsize: 153624
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41324 0 0 0 76865 145 0 0 25 0 1 0 453838136 157446144 28508 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38439 28508 231 231 0 38208 0
vsize: 153756
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41628 0 0 0 77863 147 0 0 25 0 1 0 453838136 158638080 28680 4294967295 134512640 135450300 3221224608 3221223344 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38730 28680 231 231 0 38499 0
vsize: 154920
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41788 0 0 0 78863 148 0 0 25 0 1 0 453838136 159031296 28741 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38826 28741 231 231 0 38595 0
vsize: 155304
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41820 0 0 0 79862 149 0 0 25 0 1 0 453838136 159031296 28773 4294967295 134512640 135450300 3221224608 3221223344 134538418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38826 28773 231 231 0 38595 0
vsize: 155304
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41826 0 0 0 80861 150 0 0 25 0 1 0 453838136 159031296 28779 4294967295 134512640 135450300 3221224608 3221223344 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38826 28779 231 231 0 38595 0
vsize: 155304
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41833 0 0 0 81860 151 0 0 25 0 1 0 453838136 159031296 28786 4294967295 134512640 135450300 3221224608 3221223344 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38826 28786 231 231 0 38595 0
vsize: 155304
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41841 0 0 0 82860 152 0 0 25 0 1 0 453838136 159031296 28794 4294967295 134512640 135450300 3221224608 3221222960 134533084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38826 28794 231 231 0 38595 0
vsize: 155304
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25086
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41879 0 0 0 83858 153 0 0 25 0 1 0 453838136 159031296 28832 4294967295 134512640 135450300 3221224608 3221222960 134533129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38826 28832 231 231 0 38595 0
vsize: 155304
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25108
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41883 0 0 0 84851 160 0 0 25 0 1 0 453838136 159031296 28836 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28836 231 231 0 38595 0
vsize: 155304
[startup+860.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 25129
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41893 0 0 0 85851 160 0 0 25 0 1 0 453838136 159031296 28846 4294967295 134512640 135450300 3221224608 3221223344 134538084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28846 231 231 0 38595 0
vsize: 155304
[startup+870.02 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 25139
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41901 0 0 0 86850 161 0 0 25 0 1 0 453838136 159031296 28854 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28854 231 231 0 38595 0
vsize: 155304
[startup+880.02 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 25139
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41918 0 0 0 87850 162 0 0 25 0 1 0 453838136 159031296 28871 4294967295 134512640 135450300 3221224608 3221223536 134539671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28871 231 231 0 38595 0
vsize: 155304
[startup+890.021 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 25139
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41929 0 0 0 88850 162 0 0 25 0 1 0 453838136 159031296 28882 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28882 231 231 0 38595 0
vsize: 155304
[startup+900.021 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 25139
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41935 0 0 0 89849 163 0 0 25 0 1 0 453838136 159031296 28888 4294967295 134512640 135450300 3221224608 3221223344 134538888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28888 231 231 0 38595 0
vsize: 155304
[startup+910.021 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 25139
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41941 0 0 0 90849 163 0 0 25 0 1 0 453838136 159031296 28894 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28894 231 231 0 38595 0
vsize: 155304
[startup+920.021 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 25139
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41947 0 0 0 91849 163 0 0 25 0 1 0 453838136 159031296 28900 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28900 231 231 0 38595 0
vsize: 155304
[startup+930.022 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 41963 0 0 0 92849 164 0 0 25 0 1 0 453838136 159031296 28916 4294967295 134512640 135450300 3221224608 3221223548 134530278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 28916 231 231 0 38595 0
vsize: 155304
[startup+940.022 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42056 0 0 0 93849 164 0 0 25 0 1 0 453838136 159293440 28944 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38890 28944 231 231 0 38659 0
vsize: 155560
[startup+950.023 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42064 0 0 0 94849 165 0 0 25 0 1 0 453838136 159293440 28952 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38890 28952 231 231 0 38659 0
vsize: 155560
[startup+960.023 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42072 0 0 0 95848 165 0 0 25 0 1 0 453838136 159293440 28960 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38890 28960 231 231 0 38659 0
vsize: 155560
[startup+970.023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42392 0 0 0 96847 167 0 0 25 0 1 0 453838136 160489472 29149 4294967295 134512640 135450300 3221224608 3221223344 134538912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39182 29149 231 231 0 38951 0
vsize: 156728
[startup+980.022 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42400 0 0 0 97847 167 0 0 25 0 1 0 453838136 160489472 29157 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39182 29157 231 231 0 38951 0
vsize: 156728
[startup+990.023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42420 0 0 0 98847 167 0 0 25 0 1 0 453838136 160489472 29177 4294967295 134512640 135450300 3221224608 3221223068 134533408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39182 29177 231 231 0 38951 0
vsize: 156728
[startup+1000.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42427 0 0 0 99847 167 0 0 25 0 1 0 453838136 160489472 29184 4294967295 134512640 135450300 3221224608 3221223344 134538418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39182 29184 231 231 0 38951 0
vsize: 156728
[startup+1010.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42441 0 0 0 100846 168 0 0 25 0 1 0 453838136 160489472 29198 4294967295 134512640 135450300 3221224608 3221222960 134533246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39182 29198 231 231 0 38951 0
vsize: 156728
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42447 0 0 0 101846 169 0 0 25 0 1 0 453838136 160489472 29204 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39182 29204 231 231 0 38951 0
vsize: 156728
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42459 0 0 0 102846 169 0 0 25 0 1 0 453838136 160489472 29216 4294967295 134512640 135450300 3221224608 3221223344 134538084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39182 29216 231 231 0 38951 0
vsize: 156728
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42478 0 0 0 103846 169 0 0 25 0 1 0 453838136 160620544 29235 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39214 29235 231 231 0 38983 0
vsize: 156856
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42487 0 0 0 104846 169 0 0 25 0 1 0 453838136 160620544 29244 4294967295 134512640 135450300 3221224608 3221223344 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39214 29244 231 231 0 38983 0
vsize: 156856
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42643 0 0 0 105845 170 0 0 25 0 1 0 453838136 161144832 29270 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39342 29270 231 231 0 39111 0
vsize: 157368
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42649 0 0 0 106845 171 0 0 25 0 1 0 453838136 161144832 29276 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39342 29276 231 231 0 39111 0
vsize: 157368
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42657 0 0 0 107844 171 0 0 25 0 1 0 453838136 161144832 29284 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39342 29284 231 231 0 39111 0
vsize: 157368
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42683 0 0 0 108844 172 0 0 25 0 1 0 453838136 161275904 29310 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39374 29310 231 231 0 39143 0
vsize: 157496
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42691 0 0 0 109844 172 0 0 25 0 1 0 453838136 161275904 29318 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39374 29318 231 231 0 39143 0
vsize: 157496
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42725 0 0 0 110843 174 0 0 25 0 1 0 453838136 161275904 29352 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39374 29352 231 231 0 39143 0
vsize: 157496
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42828 0 0 0 111842 174 0 0 25 0 1 0 453838136 161587200 29390 4294967295 134512640 135450300 3221224608 3221223344 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39450 29390 231 231 0 39219 0
vsize: 157800
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 42932 0 0 0 112841 175 0 0 25 0 1 0 453838136 161849344 29429 4294967295 134512640 135450300 3221224608 3221223548 134530260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39514 29429 231 231 0 39283 0
vsize: 158056
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 43062 0 0 0 113841 176 0 0 25 0 1 0 453838136 162111488 29494 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39578 29494 231 231 0 39347 0
vsize: 158312
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 43082 0 0 0 114841 176 0 0 25 0 1 0 453838136 162193408 29514 4294967295 134512640 135450300 3221224608 3221223040 134533440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39598 29514 231 231 0 39367 0
vsize: 158392
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 43092 0 0 0 115841 176 0 0 25 0 1 0 453838136 162193408 29524 4294967295 134512640 135450300 3221224608 3221222960 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39598 29524 231 231 0 39367 0
vsize: 158392
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 43100 0 0 0 116840 177 0 0 25 0 1 0 453838136 162193408 29532 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39598 29532 231 231 0 39367 0
vsize: 158392
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 43144 0 0 0 117841 177 0 0 25 0 1 0 453838136 162459648 29576 4294967295 134512640 135450300 3221224608 3221223504 134539774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39663 29576 231 231 0 39432 0
vsize: 158652
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 43149 0 0 0 118841 177 0 0 25 0 1 0 453838136 162459648 29581 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39663 29581 231 231 0 39432 0
vsize: 158652
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25141
Raw data (stat): 25086 (PBS4) R 25085 32461 32460 0 -1 0 43159 0 0 0 119841 177 0 0 25 0 1 0 453838136 162459648 29591 4294967295 134512640 135450300 3221224608 3221222960 134533084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39663 29591 231 231 0 39432 0
vsize: 158652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 25141
Raw data (stat): 25086 (PBS4) Z 25085 32461 32460 0 -1 1036 43159 0 0 0 119841 183 0 0 25 0 1 0 453838136 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.09
CPU time (s): 1200.25
CPU user time (s): 1198.41
CPU system time (s): 1.83572
CPU usage (%): 100.013
Max. virtual memory (Kb): 158652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####