PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUM	a931f7e9a55cb6836807387327525e8b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-35
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58624
Number of constraints which are clauses	58624
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 7898

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-17 17:03:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2967 boxname=wulflinc2 idbench=330 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a931f7e9a55cb6836807387327525e8b  /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-2.opb
IDLAUNCH: 2967
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        845504 kB
Buffers:         36796 kB
Cached:         129868 kB
SwapCached:          4 kB
Active:          67780 kB
Inactive:       101776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        845252 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13916 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:23:37 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 2967 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-2.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.94 1.01 0.93 2/54 12802
Raw data (stat): 12802 (runsolver) R 12801 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453948008 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.95 1.01 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 3308 0 0 0 989 9 0 0 25 0 1 0 453948008 20615168 2961 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5033 2961 231 231 0 4802 0
vsize: 20132
[startup+20.0012 s]
Raw data (loadavg): 0.96 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 4864 0 0 0 1984 14 0 0 25 0 1 0 453948008 20750336 4517 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5066 4519 231 231 0 4835 0
vsize: 20264
[startup+30.0016 s]
Raw data (loadavg): 0.96 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 6100 0 0 0 2981 18 0 0 25 0 1 0 453948008 37662720 5753 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9195 5753 231 231 0 8964 0
vsize: 36780
[startup+40.0026 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 8335 0 0 0 3976 23 0 0 25 0 1 0 453948008 37797888 7988 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7988 231 231 0 8997 0
vsize: 36912
[startup+50.0033 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 10096 0 0 0 4971 28 0 0 25 0 1 0 453948008 71487488 9749 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17453 9749 231 231 0 17222 0
vsize: 69812
[startup+60.003 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 11762 0 0 0 5969 30 0 0 25 0 1 0 453948008 71626752 11415 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17487 11416 231 231 0 17256 0
vsize: 69948
[startup+70.0037 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 12905 0 0 0 6966 33 0 0 25 0 1 0 453948008 71626752 12558 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17487 12558 231 231 0 17256 0
vsize: 69948
[startup+80.0044 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 13797 0 0 0 7965 35 0 0 25 0 1 0 453948008 71761920 13450 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17520 13450 231 231 0 17289 0
vsize: 70080
[startup+90.0048 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 15516 0 0 0 8961 39 0 0 25 0 1 0 453948008 74313728 14784 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18143 14784 231 231 0 17912 0
vsize: 72572
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 17130 0 0 0 9958 42 0 0 25 0 1 0 453948008 74477568 16398 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16398 231 231 0 17952 0
vsize: 72732
[startup+110.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 17315 0 0 0 10958 42 0 0 25 0 1 0 453948008 74784768 16583 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18258 16583 231 231 0 18027 0
vsize: 73032
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 17870 0 0 0 11957 43 0 0 25 0 1 0 453948008 75812864 17138 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18509 17138 231 231 0 18278 0
vsize: 74036
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 19301 0 0 0 12951 49 0 0 25 0 1 0 453948008 143568896 18569 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35051 18569 231 231 0 34820 0
vsize: 140204
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 21075 0 0 0 13948 52 0 0 25 0 1 0 453948008 143876096 20343 4294967295 134512640 135450300 3221224640 3221223024 134602439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35126 20343 231 231 0 34895 0
vsize: 140504
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 21623 0 0 0 14948 53 0 0 25 0 1 0 453948008 144187392 20891 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35202 20891 231 231 0 34971 0
vsize: 140808
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 21658 0 0 0 15948 53 0 0 25 0 1 0 453948008 144338944 20926 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35239 20926 231 231 0 35008 0
vsize: 140956
[startup+170.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12802
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 21713 0 0 0 16947 54 0 0 25 0 1 0 453948008 144633856 20981 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35311 20981 231 231 0 35080 0
vsize: 141244
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 22891 0 0 0 17945 57 0 0 25 0 1 0 453948008 144797696 22159 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35351 22159 231 231 0 35120 0
vsize: 141404
[startup+190.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 24179 0 0 0 18943 59 0 0 25 0 1 0 453948008 145072128 23447 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35418 23447 231 231 0 35187 0
vsize: 141672
[startup+200.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 24220 0 0 0 19942 60 0 0 25 0 1 0 453948008 145207296 23488 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35451 23488 231 231 0 35220 0
vsize: 141804
[startup+210.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 24324 0 0 0 20942 60 0 0 25 0 1 0 453948008 145620992 23592 4294967295 134512640 135450300 3221224640 3221223072 134579205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35552 23592 231 231 0 35321 0
vsize: 142208
[startup+220.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 24451 0 0 0 21942 61 0 0 25 0 1 0 453948008 146235392 23719 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35702 23719 231 231 0 35471 0
vsize: 142808
[startup+230.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 24800 0 0 0 22941 62 0 0 25 0 1 0 453948008 146399232 24068 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35742 24068 231 231 0 35511 0
vsize: 142968
[startup+240.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 25580 0 0 0 23939 63 0 0 25 0 1 0 453948008 146563072 24848 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35782 24848 231 231 0 35551 0
vsize: 143128
[startup+250.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 25756 0 0 0 24939 64 0 0 25 0 1 0 453948008 147308544 25024 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35964 25024 231 231 0 35733 0
vsize: 143856
[startup+260.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 25853 0 0 0 25939 64 0 0 25 0 1 0 453948008 147603456 25121 4294967295 134512640 135450300 3221224640 3221223116 134571997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36036 25121 231 231 0 35805 0
vsize: 144144
[startup+270.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 25919 0 0 0 26939 65 0 0 25 0 1 0 453948008 147898368 25187 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36108 25187 231 231 0 35877 0
vsize: 144432
[startup+280.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 26008 0 0 0 27939 65 0 0 25 0 1 0 453948008 148361216 25276 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36221 25276 231 231 0 35990 0
vsize: 144884
[startup+290.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 26043 0 0 0 28939 65 0 0 25 0 1 0 453948008 148508672 25311 4294967295 134512640 135450300 3221224640 3221223092 134580044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36257 25311 231 231 0 36026 0
vsize: 145028
[startup+300.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 26077 0 0 0 29938 66 0 0 25 0 1 0 453948008 148672512 25345 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36297 25345 231 231 0 36066 0
vsize: 145188
[startup+310.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 26155 0 0 0 30938 66 0 0 25 0 1 0 453948008 148959232 25423 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36367 25423 231 231 0 36136 0
vsize: 145468
[startup+320.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 26678 0 0 0 31937 67 0 0 25 0 1 0 453948008 149106688 25946 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36403 25946 231 231 0 36172 0
vsize: 145612
[startup+330.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 27446 0 0 0 32935 70 0 0 25 0 1 0 453948008 149245952 26714 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36437 26714 231 231 0 36206 0
vsize: 145748
[startup+340.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 27473 0 0 0 33934 70 0 0 25 0 1 0 453948008 149381120 26741 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36470 26741 231 231 0 36239 0
vsize: 145880
[startup+350.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 27503 0 0 0 34934 71 0 0 25 0 1 0 453948008 149532672 26771 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36507 26771 231 231 0 36276 0
vsize: 146028
[startup+360.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 27519 0 0 0 35934 71 0 0 25 0 1 0 453948008 149532672 26787 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36507 26787 231 231 0 36276 0
vsize: 146028
[startup+370.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 27583 0 0 0 36934 72 0 0 25 0 1 0 453948008 149848064 26851 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36584 26851 231 231 0 36353 0
vsize: 146336
[startup+380.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28076 0 0 0 37933 72 0 0 25 0 1 0 453948008 150175744 27344 4294967295 134512640 135450300 3221224640 3221223164 134544677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36664 27344 231 231 0 36433 0
vsize: 146656
[startup+390.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28103 0 0 0 38933 73 0 0 25 0 1 0 453948008 150175744 27371 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36664 27371 231 231 0 36433 0
vsize: 146656
[startup+400.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28179 0 0 0 39933 73 0 0 25 0 1 0 453948008 150646784 27447 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36779 27447 231 231 0 36548 0
vsize: 147116
[startup+410.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28183 0 0 0 40933 73 0 0 25 0 1 0 453948008 150646784 27451 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36779 27451 231 231 0 36548 0
vsize: 147116
[startup+420.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28223 0 0 0 41933 74 0 0 25 0 1 0 453948008 150810624 27491 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36819 27491 231 231 0 36588 0
vsize: 147276
[startup+430.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28556 0 0 0 42932 74 0 0 25 0 1 0 453948008 150810624 27824 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36819 27824 231 231 0 36588 0
vsize: 147276
[startup+440.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28574 0 0 0 43932 75 0 0 25 0 1 0 453948008 150982656 27842 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36861 27842 231 231 0 36630 0
vsize: 147444
[startup+450.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28582 0 0 0 44932 75 0 0 25 0 1 0 453948008 150982656 27850 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36861 27850 231 231 0 36630 0
vsize: 147444
[startup+460.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28612 0 0 0 45932 75 0 0 25 0 1 0 453948008 151130112 27880 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36897 27880 231 231 0 36666 0
vsize: 147588
[startup+470.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28644 0 0 0 46932 75 0 0 25 0 1 0 453948008 151130112 27912 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36897 27912 231 231 0 36666 0
vsize: 147588
[startup+480.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28778 0 0 0 47932 76 0 0 25 0 1 0 453948008 151572480 28046 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37005 28046 231 231 0 36774 0
vsize: 148020
[startup+490.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28963 0 0 0 48931 77 0 0 25 0 1 0 453948008 151736320 28231 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37045 28231 231 231 0 36814 0
vsize: 148180
[startup+500.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 28990 0 0 0 49931 77 0 0 25 0 1 0 453948008 151883776 28258 4294967295 134512640 135450300 3221224640 3221223472 134549440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37081 28258 231 231 0 36850 0
vsize: 148324
[startup+510.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29048 0 0 0 50931 77 0 0 25 0 1 0 453948008 152047616 28316 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37121 28316 231 231 0 36890 0
vsize: 148484
[startup+520.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29052 0 0 0 51931 77 0 0 25 0 1 0 453948008 152047616 28320 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37121 28320 231 231 0 36890 0
vsize: 148484
[startup+530.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29067 0 0 0 52931 77 0 0 25 0 1 0 453948008 152182784 28335 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37154 28335 231 231 0 36923 0
vsize: 148616
[startup+540.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29718 0 0 0 53930 78 0 0 25 0 1 0 453948008 152330240 28986 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37190 28986 231 231 0 36959 0
vsize: 148760
[startup+550.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29751 0 0 0 54930 79 0 0 25 0 1 0 453948008 152330240 29019 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37190 29019 231 231 0 36959 0
vsize: 148760
[startup+560.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29807 0 0 0 55930 79 0 0 25 0 1 0 453948008 152625152 29075 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37262 29075 231 231 0 37031 0
vsize: 149048
[startup+570.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29838 0 0 0 56930 79 0 0 25 0 1 0 453948008 152797184 29106 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 29106 231 231 0 37073 0
vsize: 149216
[startup+580.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29862 0 0 0 57930 79 0 0 25 0 1 0 453948008 152797184 29130 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 29130 231 231 0 37073 0
vsize: 149216
[startup+590.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29880 0 0 0 58930 79 0 0 25 0 1 0 453948008 152797184 29148 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 29148 231 231 0 37073 0
vsize: 149216
[startup+600.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29930 0 0 0 59930 80 0 0 25 0 1 0 453948008 153104384 29198 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37379 29198 231 231 0 37148 0
vsize: 149516
[startup+610.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29955 0 0 0 60930 80 0 0 25 0 1 0 453948008 153251840 29223 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37415 29223 231 231 0 37184 0
vsize: 149660
[startup+620.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29989 0 0 0 61930 80 0 0 25 0 1 0 453948008 153251840 29257 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37415 29257 231 231 0 37184 0
vsize: 149660
[startup+630.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 29999 0 0 0 62929 81 0 0 25 0 1 0 453948008 153251840 29267 4294967295 134512640 135450300 3221224640 3221222944 134844350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37415 29267 231 231 0 37184 0
vsize: 149660
[startup+640.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30020 0 0 0 63929 81 0 0 25 0 1 0 453948008 153399296 29288 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37451 29288 231 231 0 37220 0
vsize: 149804
[startup+650.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30030 0 0 0 64930 81 0 0 25 0 1 0 453948008 153399296 29298 4294967295 134512640 135450300 3221224640 3221223104 134532964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37451 29298 231 231 0 37220 0
vsize: 149804
[startup+660.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30047 0 0 0 65929 82 0 0 25 0 1 0 453948008 153563136 29315 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37491 29315 231 231 0 37260 0
vsize: 149964
[startup+670.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30067 0 0 0 66929 82 0 0 25 0 1 0 453948008 153563136 29335 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37491 29335 231 231 0 37260 0
vsize: 149964
[startup+680.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30093 0 0 0 67929 82 0 0 25 0 1 0 453948008 153710592 29361 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37527 29361 231 231 0 37296 0
vsize: 150108
[startup+690.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30159 0 0 0 68929 83 0 0 25 0 1 0 453948008 154021888 29427 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37603 29427 231 231 0 37372 0
vsize: 150412
[startup+700.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30163 0 0 0 69929 83 0 0 25 0 1 0 453948008 154021888 29431 4294967295 134512640 135450300 3221224640 3221223552 134597282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37603 29431 231 231 0 37372 0
vsize: 150412
[startup+710.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30235 0 0 0 70929 83 0 0 25 0 1 0 453948008 154349568 29503 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37683 29503 231 231 0 37452 0
vsize: 150732
[startup+720.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30297 0 0 0 71929 83 0 0 25 0 1 0 453948008 154652672 29565 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37757 29565 231 231 0 37526 0
vsize: 151028
[startup+730.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30316 0 0 0 72929 84 0 0 25 0 1 0 453948008 154816512 29584 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37797 29584 231 231 0 37566 0
vsize: 151188
[startup+740.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30357 0 0 0 73928 84 0 0 25 0 1 0 453948008 155013120 29625 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37845 29625 231 231 0 37614 0
vsize: 151380
[startup+750.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 30375 0 0 0 74928 84 0 0 25 0 1 0 453948008 155013120 29643 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37845 29643 231 231 0 37614 0
vsize: 151380
[startup+760.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 31214 0 0 0 75927 86 0 0 25 0 1 0 453948008 155308032 30482 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37917 30482 231 231 0 37686 0
vsize: 151668
[startup+770.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 32381 0 0 0 76925 89 0 0 25 0 1 0 453948008 155455488 31649 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37953 31649 231 231 0 37722 0
vsize: 151812
[startup+780.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 33510 0 0 0 77923 90 0 0 25 0 1 0 453948008 155762688 32778 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38028 32778 231 231 0 37797 0
vsize: 152112
[startup+790.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 34458 0 0 0 78922 92 0 0 25 0 1 0 453948008 156073984 33726 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38104 33726 231 231 0 37873 0
vsize: 152416
[startup+800.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 35555 0 0 0 79919 95 0 0 25 0 1 0 453948008 156073984 34823 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38104 34823 231 231 0 37873 0
vsize: 152416
[startup+810.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 36846 0 0 0 80916 97 0 0 25 0 1 0 453948008 156385280 36114 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38180 36114 231 231 0 37949 0
vsize: 152720
[startup+820.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38097 0 0 0 81913 101 0 0 25 0 1 0 453948008 156532736 37365 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38216 37365 231 231 0 37985 0
vsize: 152864
[startup+830.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38209 0 0 0 82913 101 0 0 25 0 1 0 453948008 156532736 37477 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38216 37477 231 231 0 37985 0
vsize: 152864
[startup+840.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38265 0 0 0 83912 102 0 0 25 0 1 0 453948008 156860416 37533 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38296 37533 231 231 0 38065 0
vsize: 153184
[startup+850.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38283 0 0 0 84912 102 0 0 25 0 1 0 453948008 157024256 37551 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38336 37551 231 231 0 38105 0
vsize: 153344
[startup+860.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38311 0 0 0 85912 102 0 0 25 0 1 0 453948008 157024256 37579 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38336 37579 231 231 0 38105 0
vsize: 153344
[startup+870.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38343 0 0 0 86912 103 0 0 25 0 1 0 453948008 157188096 37611 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38376 37611 231 231 0 38145 0
vsize: 153504
[startup+880.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38369 0 0 0 87912 103 0 0 25 0 1 0 453948008 157351936 37637 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38416 37637 231 231 0 38185 0
vsize: 153664
[startup+890.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38393 0 0 0 88912 103 0 0 25 0 1 0 453948008 157503488 37661 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38453 37661 231 231 0 38222 0
vsize: 153812
[startup+900.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38399 0 0 0 89912 103 0 0 25 0 1 0 453948008 157503488 37667 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38453 37667 231 231 0 38222 0
vsize: 153812
[startup+910.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38403 0 0 0 90912 103 0 0 25 0 1 0 453948008 157503488 37671 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38453 37671 231 231 0 38222 0
vsize: 153812
[startup+920.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38411 0 0 0 91912 103 0 0 25 0 1 0 453948008 157503488 37679 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38453 37679 231 231 0 38222 0
vsize: 153812
[startup+930.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38424 0 0 0 92912 104 0 0 25 0 1 0 453948008 157503488 37692 4294967295 134512640 135450300 3221224640 3221223136 134579989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38453 37692 231 231 0 38222 0
vsize: 153812
[startup+940.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38431 0 0 0 93912 104 0 0 25 0 1 0 453948008 157691904 37699 4294967295 134512640 135450300 3221224640 3221223168 134544174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38499 37699 231 231 0 38268 0
vsize: 153996
[startup+950.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38446 0 0 0 94913 104 0 0 25 0 1 0 453948008 157691904 37714 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38499 37714 231 231 0 38268 0
vsize: 153996
[startup+960.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38458 0 0 0 95913 104 0 0 25 0 1 0 453948008 157691904 37726 4294967295 134512640 135450300 3221224640 3221223024 134602257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38499 37726 231 231 0 38268 0
vsize: 153996
[startup+970.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38483 0 0 0 96912 104 0 0 25 0 1 0 453948008 157855744 37751 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37751 231 231 0 38308 0
vsize: 154156
[startup+980.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38487 0 0 0 97912 105 0 0 25 0 1 0 453948008 157855744 37755 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37755 231 231 0 38308 0
vsize: 154156
[startup+990.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38498 0 0 0 98912 105 0 0 25 0 1 0 453948008 157855744 37766 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37766 231 231 0 38308 0
vsize: 154156
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38505 0 0 0 99912 105 0 0 25 0 1 0 453948008 157855744 37773 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37773 231 231 0 38308 0
vsize: 154156
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38513 0 0 0 100912 105 0 0 25 0 1 0 453948008 157855744 37781 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37781 231 231 0 38308 0
vsize: 154156
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38525 0 0 0 101912 105 0 0 25 0 1 0 453948008 157855744 37793 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37793 231 231 0 38308 0
vsize: 154156
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38529 0 0 0 102912 105 0 0 25 0 1 0 453948008 157855744 37797 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38539 37797 231 231 0 38308 0
vsize: 154156
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38566 0 0 0 103912 106 0 0 25 0 1 0 453948008 158003200 37834 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38575 37834 231 231 0 38344 0
vsize: 154300
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38597 0 0 0 104912 106 0 0 25 0 1 0 453948008 158167040 37865 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38615 37865 231 231 0 38384 0
vsize: 154460
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38617 0 0 0 105911 107 0 0 25 0 1 0 453948008 158330880 37885 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38655 37885 231 231 0 38424 0
vsize: 154620
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38620 0 0 0 106911 107 0 0 25 0 1 0 453948008 158330880 37888 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38655 37888 231 231 0 38424 0
vsize: 154620
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 38633 0 0 0 107911 107 0 0 25 0 1 0 453948008 158330880 37901 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38655 37901 231 231 0 38424 0
vsize: 154620
[startup+1090.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39409 0 0 0 108910 108 0 0 25 0 1 0 453948008 161615872 37908 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39457 37908 231 231 0 39226 0
vsize: 157828
[startup+1100.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39422 0 0 0 109910 108 0 0 25 0 1 0 453948008 161615872 37921 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39457 37921 231 231 0 39226 0
vsize: 157828
[startup+1110.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39425 0 0 0 110910 109 0 0 25 0 1 0 453948008 161615872 37924 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39457 37924 231 231 0 39226 0
vsize: 157828
[startup+1120.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39439 0 0 0 111910 109 0 0 25 0 1 0 453948008 161615872 37938 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39457 37938 231 231 0 39226 0
vsize: 157828
[startup+1130.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39452 0 0 0 112910 109 0 0 25 0 1 0 453948008 161615872 37951 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39457 37951 231 231 0 39226 0
vsize: 157828
[startup+1140.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39464 0 0 0 113910 109 0 0 25 0 1 0 453948008 161615872 37963 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39457 37963 231 231 0 39226 0
vsize: 157828
[startup+1150.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39484 0 0 0 114910 109 0 0 25 0 1 0 453948008 161763328 37983 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39493 37983 231 231 0 39262 0
vsize: 157972
[startup+1160.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39494 0 0 0 115910 110 0 0 25 0 1 0 453948008 161763328 37993 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39493 37993 231 231 0 39262 0
vsize: 157972
[startup+1170.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39523 0 0 0 116910 110 0 0 25 0 1 0 453948008 162070528 38022 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39568 38022 231 231 0 39337 0
vsize: 158272
[startup+1180.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39539 0 0 0 117910 110 0 0 25 0 1 0 453948008 162070528 38038 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39568 38038 231 231 0 39337 0
vsize: 158272
[startup+1190.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39546 0 0 0 118910 110 0 0 25 0 1 0 453948008 162070528 38045 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39568 38045 231 231 0 39337 0
vsize: 158272
[startup+1200.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 12804
Raw data (stat): 12802 (PBS4) R 12801 20937 20936 0 -1 0 39549 0 0 0 119910 110 0 0 25 0 1 0 453948008 162070528 38048 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39568 38048 231 231 0 39337 0
vsize: 158272
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 1.00 0.93 1/54 12804
Raw data (stat): 12802 (PBS4) Z 12801 20937 20936 0 -1 1036 39549 0 0 0 119910 117 0 0 25 0 1 0 453948008 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.28
CPU user time (s): 1199.11
CPU system time (s): 1.17682
CPU usage (%): 100.017
Max. virtual memory (Kb): 158272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####