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/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 7676

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-17 15:38:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=492 boxname=wulflinc5 idbench=55 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 492
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        855556 kB
Buffers:         36668 kB
Cached:         119500 kB
SwapCached:       2272 kB
Active:          67236 kB
Inactive:        94044 kB
HighTotal:      131008 kB
HighFree:         7560 kB
LowTotal:       903652 kB
LowFree:        847996 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12312 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:58:49 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 492 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_43_sat_pb.cnf.cr.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.43 0.16 2/54 14943
Raw data (stat): 14943 (runsolver) R 14942 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453437567 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.96 0.48 0.18 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 1337 0 0 0 991 7 0 0 25 0 1 0 453437567 6680576 1333 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1631 1333 231 231 0 1400 0
vsize: 6524
[startup+20.0016 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 2003 0 0 0 1990 9 0 0 25 0 1 0 453437567 10874880 1999 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2655 1999 231 231 0 2424 0
vsize: 10620
[startup+30.0023 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 2625 0 0 0 2989 10 0 0 25 0 1 0 453437567 19398656 2621 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4736 2621 231 231 0 4505 0
vsize: 18944
[startup+40.0026 s]
Raw data (loadavg): 0.97 0.52 0.21 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 3183 0 0 0 3986 12 0 0 25 0 1 0 453437567 19398656 3179 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3179 231 231 0 4505 0
vsize: 18944
[startup+50.0037 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 3650 0 0 0 4985 14 0 0 25 0 1 0 453437567 19398656 3646 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3646 231 231 0 4505 0
vsize: 18944
[startup+60.0043 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 4144 0 0 0 5983 16 0 0 25 0 1 0 453437567 19398656 4140 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4736 4140 231 231 0 4505 0
vsize: 18944
[startup+70.0047 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 4581 0 0 0 6982 18 0 0 25 0 1 0 453437567 19398656 4577 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4736 4577 231 231 0 4505 0
vsize: 18944
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 4969 0 0 0 7981 19 0 0 25 0 1 0 453437567 36175872 4965 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8832 4965 231 231 0 8601 0
vsize: 35328
[startup+90.0054 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 5400 0 0 0 8980 20 0 0 25 0 1 0 453437567 36311040 5396 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8865 5396 231 231 0 8634 0
vsize: 35460
[startup+100.005 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 5971 0 0 0 9979 21 0 0 25 0 1 0 453437567 36311040 5967 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8865 5967 231 231 0 8634 0
vsize: 35460
[startup+110.006 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 6498 0 0 0 10978 23 0 0 25 0 1 0 453437567 36311040 6494 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8865 6494 231 231 0 8634 0
vsize: 35460
[startup+120.007 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 6964 0 0 0 11977 23 0 0 25 0 1 0 453437567 36511744 6960 4294967295 134512640 135450300 3221224624 3221223344 134535995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 6960 231 231 0 8683 0
vsize: 35656
[startup+130.006 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 7387 0 0 0 12976 24 0 0 25 0 1 0 453437567 36511744 7383 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 7383 231 231 0 8683 0
vsize: 35656
[startup+140.006 s]
Raw data (loadavg): 0.99 0.66 0.28 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 7761 0 0 0 13975 26 0 0 25 0 1 0 453437567 36511744 7757 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 7757 231 231 0 8683 0
vsize: 35656
[startup+150.006 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 8217 0 0 0 14975 26 0 0 25 0 1 0 453437567 36511744 8213 4294967295 134512640 135450300 3221224624 3221223456 134549481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8213 231 231 0 8683 0
vsize: 35656
[startup+160.007 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 8716 0 0 0 15974 27 0 0 25 0 1 0 453437567 36511744 8712 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8712 231 231 0 8683 0
vsize: 35656
[startup+170.007 s]
Raw data (loadavg): 0.99 0.69 0.30 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 9163 0 0 0 16973 29 0 0 25 0 1 0 453437567 70066176 9159 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17106 9159 231 231 0 16875 0
vsize: 68424
[startup+180.007 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 9567 0 0 0 17971 30 0 0 25 0 1 0 453437567 70066176 9563 4294967295 134512640 135450300 3221224624 3221223344 134536034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17106 9563 231 231 0 16875 0
vsize: 68424
[startup+190.013 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 9905 0 0 0 18971 31 0 0 25 0 1 0 453437567 70066176 9901 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17106 9901 231 231 0 16875 0
vsize: 68424
[startup+200.012 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 10287 0 0 0 19970 32 0 0 25 0 1 0 453437567 70066176 10283 4294967295 134512640 135450300 3221224624 3221222928 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17106 10283 231 231 0 16875 0
vsize: 68424
[startup+210.013 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 10701 0 0 0 20970 33 0 0 25 0 1 0 453437567 70205440 10697 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 10697 231 231 0 16909 0
vsize: 68560
[startup+220.013 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 11046 0 0 0 21969 34 0 0 25 0 1 0 453437567 70205440 11042 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 11042 231 231 0 16909 0
vsize: 68560
[startup+230.013 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 11493 0 0 0 22968 35 0 0 25 0 1 0 453437567 70205440 11489 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 11489 231 231 0 16909 0
vsize: 68560
[startup+240.013 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 11861 0 0 0 23968 35 0 0 25 0 1 0 453437567 70205440 11857 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 11857 231 231 0 16909 0
vsize: 68560
[startup+250.013 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 12223 0 0 0 24967 36 0 0 25 0 1 0 453437567 70205440 12219 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12219 231 231 0 16909 0
vsize: 68560
[startup+260.014 s]
Raw data (loadavg): 0.99 0.76 0.37 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 12547 0 0 0 25967 37 0 0 25 0 1 0 453437567 70344704 12543 4294967295 134512640 135450300 3221224624 3221223456 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 12543 231 231 0 16943 0
vsize: 68696
[startup+270.013 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 12847 0 0 0 26966 37 0 0 25 0 1 0 453437567 70344704 12843 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 12843 231 231 0 16943 0
vsize: 68696
[startup+280.013 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 13221 0 0 0 27966 38 0 0 25 0 1 0 453437567 70344704 13217 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 13217 231 231 0 16943 0
vsize: 68696
[startup+290.014 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 13563 0 0 0 28965 39 0 0 25 0 1 0 453437567 70344704 13559 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 13559 231 231 0 16943 0
vsize: 68696
[startup+300.013 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 13900 0 0 0 29965 39 0 0 25 0 1 0 453437567 70344704 13896 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 13896 231 231 0 16943 0
vsize: 68696
[startup+310.013 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 14248 0 0 0 30964 40 0 0 25 0 1 0 453437567 70344704 14244 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 14244 231 231 0 16943 0
vsize: 68696
[startup+320.014 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 14657 0 0 0 31963 41 0 0 25 0 1 0 453437567 70344704 14653 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 14653 231 231 0 16943 0
vsize: 68696
[startup+330.014 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 15008 0 0 0 32963 42 0 0 25 0 1 0 453437567 70344704 15004 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17174 15004 231 231 0 16943 0
vsize: 68696
[startup+340.013 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 15250 0 0 0 33962 43 0 0 25 0 1 0 453437567 70492160 15246 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17210 15246 231 231 0 16979 0
vsize: 68840
[startup+350.013 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 15562 0 0 0 34961 44 0 0 25 0 1 0 453437567 70492160 15558 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17210 15558 231 231 0 16979 0
vsize: 68840
[startup+360.014 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 15849 0 0 0 35960 45 0 0 25 0 1 0 453437567 70492160 15845 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17210 15845 231 231 0 16979 0
vsize: 68840
[startup+370.014 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 16165 0 0 0 36960 46 0 0 25 0 1 0 453437567 70492160 16161 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17210 16161 231 231 0 16979 0
vsize: 68840
[startup+380.013 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 16518 0 0 0 37959 47 0 0 25 0 1 0 453437567 70492160 16514 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17210 16514 231 231 0 16979 0
vsize: 68840
[startup+390.014 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 16814 0 0 0 38959 47 0 0 25 0 1 0 453437567 70492160 16810 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17210 16810 231 231 0 16979 0
vsize: 68840
[startup+400.014 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 17072 0 0 0 39958 48 0 0 25 0 1 0 453437567 137601024 17068 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33594 17068 231 231 0 33363 0
vsize: 134376
[startup+410.015 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 17362 0 0 0 40957 49 0 0 25 0 1 0 453437567 137601024 17358 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33594 17358 231 231 0 33363 0
vsize: 134376
[startup+420.015 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 17738 0 0 0 41957 50 0 0 25 0 1 0 453437567 137601024 17734 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33594 17734 231 231 0 33363 0
vsize: 134376
[startup+430.015 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 18019 0 0 0 42956 50 0 0 25 0 1 0 453437567 137601024 18015 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33594 18015 231 231 0 33363 0
vsize: 134376
[startup+440.016 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 18287 0 0 0 43956 51 0 0 25 0 1 0 453437567 137601024 18283 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33594 18283 231 231 0 33363 0
vsize: 134376
[startup+450.015 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 18639 0 0 0 44955 52 0 0 25 0 1 0 453437567 137601024 18635 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33594 18635 231 231 0 33363 0
vsize: 134376
[startup+460.016 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 18979 0 0 0 45954 53 0 0 25 0 1 0 453437567 137797632 18926 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33642 18926 231 231 0 33411 0
vsize: 134568
[startup+470.016 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 19329 0 0 0 46953 54 0 0 25 0 1 0 453437567 137797632 19276 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33642 19276 231 231 0 33411 0
vsize: 134568
[startup+480.015 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 19630 0 0 0 47953 55 0 0 25 0 1 0 453437567 137797632 19577 4294967295 134512640 135450300 3221224624 3221223344 134536040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33642 19577 231 231 0 33411 0
vsize: 134568
[startup+490.016 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 19862 0 0 0 48952 55 0 0 25 0 1 0 453437567 137797632 19809 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33642 19809 231 231 0 33411 0
vsize: 134568
[startup+500.016 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 20148 0 0 0 49952 56 0 0 25 0 1 0 453437567 137945088 20095 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33678 20095 231 231 0 33447 0
vsize: 134712
[startup+510.017 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 20409 0 0 0 50952 56 0 0 25 0 1 0 453437567 137945088 20356 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33678 20356 231 231 0 33447 0
vsize: 134712
[startup+520.016 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 20727 0 0 0 51951 57 0 0 25 0 1 0 453437567 137945088 20674 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33678 20674 231 231 0 33447 0
vsize: 134712
[startup+530.016 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 21007 0 0 0 52950 58 0 0 25 0 1 0 453437567 137945088 20954 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33678 20954 231 231 0 33447 0
vsize: 134712
[startup+540.017 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 21065 0 0 0 53950 58 0 0 25 0 1 0 453437567 138108928 21012 4294967295 134512640 135450300 3221224624 3221223344 134536040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33718 21012 231 231 0 33487 0
vsize: 134872
[startup+550.017 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 21613 0 0 0 54949 60 0 0 25 0 1 0 453437567 138108928 21560 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33718 21560 231 231 0 33487 0
vsize: 134872
[startup+560.018 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 22295 0 0 0 55948 61 0 0 25 0 1 0 453437567 139137024 22242 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33969 22242 231 231 0 33738 0
vsize: 135876
[startup+570.017 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 23045 0 0 0 56947 62 0 0 25 0 1 0 453437567 139137024 22992 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33969 22992 231 231 0 33738 0
vsize: 135876
[startup+580.017 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 23656 0 0 0 57945 64 0 0 25 0 1 0 453437567 139272192 23603 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34002 23603 231 231 0 33771 0
vsize: 136008
[startup+590.017 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 24188 0 0 0 58944 65 0 0 25 0 1 0 453437567 139272192 24135 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34002 24135 231 231 0 33771 0
vsize: 136008
[startup+600.017 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 24906 0 0 0 59944 66 0 0 25 0 1 0 453437567 139825152 24853 4294967295 134512640 135450300 3221224624 3221223440 134547914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34137 24853 231 231 0 33906 0
vsize: 136548
[startup+610.017 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 25582 0 0 0 60943 67 0 0 25 0 1 0 453437567 139825152 25529 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34137 25529 231 231 0 33906 0
vsize: 136548
[startup+620.017 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 26169 0 0 0 61941 69 0 0 25 0 1 0 453437567 139825152 26116 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34137 26116 231 231 0 33906 0
vsize: 136548
[startup+630.016 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 26600 0 0 0 62940 70 0 0 25 0 1 0 453437567 139964416 26547 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34171 26547 231 231 0 33940 0
vsize: 136684
[startup+640.016 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 27310 0 0 0 63938 73 0 0 25 0 1 0 453437567 139964416 27257 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34171 27257 231 231 0 33940 0
vsize: 136684
[startup+650.016 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 27951 0 0 0 64936 74 0 0 25 0 1 0 453437567 139964416 27898 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34171 27898 231 231 0 33940 0
vsize: 136684
[startup+660.016 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 28334 0 0 0 65936 75 0 0 25 0 1 0 453437567 140242944 28281 4294967295 134512640 135450300 3221224624 3221223344 134536028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34239 28281 231 231 0 34008 0
vsize: 136956
[startup+670.018 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 29071 0 0 0 66935 76 0 0 25 0 1 0 453437567 140242944 29018 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34239 29018 231 231 0 34008 0
vsize: 136956
[startup+680.017 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 29664 0 0 0 67933 78 0 0 25 0 1 0 453437567 140242944 29611 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34239 29611 231 231 0 34008 0
vsize: 136956
[startup+690.018 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 30260 0 0 0 68932 79 0 0 25 0 1 0 453437567 140242944 30207 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34239 30207 231 231 0 34008 0
vsize: 136956
[startup+700.017 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 30768 0 0 0 69931 80 0 0 25 0 1 0 453437567 142438400 30715 4294967295 134512640 135450300 3221224624 3221223104 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34775 30715 231 231 0 34544 0
vsize: 139100
[startup+710.018 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 30770 0 0 0 70931 80 0 0 25 0 1 0 453437567 142438400 30717 4294967295 134512640 135450300 3221224624 3221222928 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34775 30717 231 231 0 34544 0
vsize: 139100
[startup+720.018 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 30771 0 0 0 71931 80 0 0 25 0 1 0 453437567 142438400 30718 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34775 30718 231 231 0 34544 0
vsize: 139100
[startup+730.018 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 30779 0 0 0 72931 81 0 0 25 0 1 0 453437567 142438400 30726 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34775 30726 231 231 0 34544 0
vsize: 139100
[startup+740.019 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 31277 0 0 0 73930 82 0 0 25 0 1 0 453437567 144588800 31224 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35300 31224 231 231 0 35069 0
vsize: 141200
[startup+750.018 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 31306 0 0 0 74930 82 0 0 25 0 1 0 453437567 144588800 31253 4294967295 134512640 135450300 3221224624 3221223104 134580035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35300 31253 231 231 0 35069 0
vsize: 141200
[startup+760.019 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 31911 0 0 0 75929 84 0 0 25 0 1 0 453437567 144588800 31858 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35300 31858 231 231 0 35069 0
vsize: 141200
[startup+770.019 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 32532 0 0 0 76927 85 0 0 25 0 1 0 453437567 145457152 32479 4294967295 134512640 135450300 3221224624 3221223088 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35512 32479 231 231 0 35281 0
vsize: 142048
[startup+780.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 33249 0 0 0 77926 87 0 0 25 0 1 0 453437567 145457152 33196 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35512 33196 231 231 0 35281 0
vsize: 142048
[startup+790.019 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 33882 0 0 0 78925 89 0 0 25 0 1 0 453437567 145457152 33829 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35512 33829 231 231 0 35281 0
vsize: 142048
[startup+800.019 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 34424 0 0 0 79923 90 0 0 25 0 1 0 453437567 145457152 34371 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35512 34371 231 231 0 35281 0
vsize: 142048
[startup+810.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 34857 0 0 0 80923 91 0 0 25 0 1 0 453437567 145899520 34804 4294967295 134512640 135450300 3221224624 3221223104 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35620 34804 231 231 0 35389 0
vsize: 142480
[startup+820.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 35507 0 0 0 81919 95 0 0 25 0 1 0 453437567 280117248 35454 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68388 35454 231 231 0 68157 0
vsize: 273552
[startup+830.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 36083 0 0 0 82918 96 0 0 25 0 1 0 453437567 280117248 36030 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68388 36030 231 231 0 68157 0
vsize: 273552
[startup+840.021 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 36429 0 0 0 83917 97 0 0 25 0 1 0 453437567 280117248 36376 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68388 36376 231 231 0 68157 0
vsize: 273552
[startup+850.022 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 37068 0 0 0 84915 99 0 0 25 0 1 0 453437567 280256512 37015 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68422 37015 231 231 0 68191 0
vsize: 273688
[startup+860.022 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 37705 0 0 0 85914 101 0 0 25 0 1 0 453437567 280256512 37652 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68422 37652 231 231 0 68191 0
vsize: 273688
[startup+870.023 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38268 0 0 0 86912 103 0 0 25 0 1 0 453437567 280256512 38215 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68422 38215 231 231 0 68191 0
vsize: 273688
[startup+880.022 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38469 0 0 0 87911 104 0 0 25 0 1 0 453437567 280543232 38416 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68492 38416 231 231 0 68261 0
vsize: 273968
[startup+890.024 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38483 0 0 0 88911 104 0 0 25 0 1 0 453437567 280543232 38430 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68492 38430 231 231 0 68261 0
vsize: 273968
[startup+900.023 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38582 0 0 0 89911 104 0 0 25 0 1 0 453437567 280936448 38432 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68588 38432 231 231 0 68357 0
vsize: 274352
[startup+910.024 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38584 0 0 0 90912 104 0 0 25 0 1 0 453437567 280936448 38434 4294967295 134512640 135450300 3221224624 3221223344 134535540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68588 38434 231 231 0 68357 0
vsize: 274352
[startup+920.025 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38644 0 0 0 91912 104 0 0 25 0 1 0 453437567 281219072 38494 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68657 38494 231 231 0 68426 0
vsize: 274628
[startup+930.024 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38646 0 0 0 92912 104 0 0 25 0 1 0 453437567 281219072 38496 4294967295 134512640 135450300 3221224624 3221223088 134532565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68657 38496 231 231 0 68426 0
vsize: 274628
[startup+940.025 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38647 0 0 0 93912 104 0 0 25 0 1 0 453437567 281219072 38497 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68657 38497 231 231 0 68426 0
vsize: 274628
[startup+950.025 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38648 0 0 0 94912 104 0 0 25 0 1 0 453437567 281219072 38498 4294967295 134512640 135450300 3221224624 3221223440 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68657 38498 231 231 0 68426 0
vsize: 274628
[startup+960.026 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38666 0 0 0 95912 105 0 0 25 0 1 0 453437567 281219072 38516 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68657 38516 231 231 0 68426 0
vsize: 274628
[startup+970.025 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38668 0 0 0 96912 105 0 0 25 0 1 0 453437567 281219072 38518 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68657 38518 231 231 0 68426 0
vsize: 274628
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 38669 0 0 0 97912 105 0 0 25 0 1 0 453437567 281219072 38519 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68657 38519 231 231 0 68426 0
vsize: 274628
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 39037 0 0 0 98912 105 0 0 25 0 1 0 453437567 282472448 38887 4294967295 134512640 135450300 3221224624 3221223344 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68963 38887 231 231 0 68732 0
vsize: 275852
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 39732 0 0 0 99911 107 0 0 25 0 1 0 453437567 282472448 39582 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68963 39582 231 231 0 68732 0
vsize: 275852
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 40315 0 0 0 100909 108 0 0 25 0 1 0 453437567 282472448 40165 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68963 40165 231 231 0 68732 0
vsize: 275852
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 40735 0 0 0 101908 110 0 0 25 0 1 0 453437567 282472448 40585 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68963 40585 231 231 0 68732 0
vsize: 275852
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 41787 0 0 0 102906 112 0 0 25 0 1 0 453437567 284192768 41637 4294967295 134512640 135450300 3221224624 3221223456 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69383 41637 231 231 0 69152 0
vsize: 277532
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 42441 0 0 0 103905 113 0 0 25 0 1 0 453437567 284192768 42291 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69383 42291 231 231 0 69152 0
vsize: 277532
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 42986 0 0 0 104904 115 0 0 25 0 1 0 453437567 284192768 42836 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69383 42836 231 231 0 69152 0
vsize: 277532
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43312 0 0 0 105903 115 0 0 25 0 1 0 453437567 285609984 43162 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69729 43162 231 231 0 69498 0
vsize: 278916
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43313 0 0 0 106903 116 0 0 25 0 1 0 453437567 285609984 43163 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69729 43163 231 231 0 69498 0
vsize: 278916
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43315 0 0 0 107903 116 0 0 25 0 1 0 453437567 285609984 43165 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69729 43165 231 231 0 69498 0
vsize: 278916
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43315 0 0 0 108903 116 0 0 25 0 1 0 453437567 285609984 43165 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69729 43165 231 231 0 69498 0
vsize: 278916
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43449 0 0 0 109903 116 0 0 25 0 1 0 453437567 286191616 43299 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69871 43299 231 231 0 69640 0
vsize: 279484
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43451 0 0 0 110903 117 0 0 25 0 1 0 453437567 286191616 43301 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69871 43301 231 231 0 69640 0
vsize: 279484
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43452 0 0 0 111903 117 0 0 25 0 1 0 453437567 286191616 43302 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69871 43302 231 231 0 69640 0
vsize: 279484
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 43484 0 0 0 112903 117 0 0 25 0 1 0 453437567 286339072 43334 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69907 43334 231 231 0 69676 0
vsize: 279628
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 44024 0 0 0 113903 118 0 0 25 0 1 0 453437567 286502912 43874 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69947 43874 231 231 0 69716 0
vsize: 279788
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 44633 0 0 0 114901 119 0 0 25 0 1 0 453437567 286502912 44483 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69947 44483 231 231 0 69716 0
vsize: 279788
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 45197 0 0 0 115900 121 0 0 25 0 1 0 453437567 286502912 45047 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69947 45047 231 231 0 69716 0
vsize: 279788
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 45997 0 0 0 116898 122 0 0 25 0 1 0 453437567 290041856 45847 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70811 45847 231 231 0 70580 0
vsize: 283244
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 46704 0 0 0 117898 123 0 0 25 0 1 0 453437567 290189312 46554 4294967295 134512640 135450300 3221224624 3221223344 134536040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70847 46554 231 231 0 70616 0
vsize: 283388
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 47357 0 0 0 118896 126 0 0 25 0 1 0 453437567 290189312 47207 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70847 47207 231 231 0 70616 0
vsize: 283388
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 14943
Raw data (stat): 14943 (PBS4) R 14942 24215 24214 0 -1 0 47895 0 0 0 119894 127 0 0 25 0 1 0 453437567 290189312 47745 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70847 47745 231 231 0 70616 0
vsize: 283388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.74 1/54 14943
Raw data (stat): 14943 (PBS4) Z 14942 24215 24214 0 -1 1036 47895 0 0 0 119894 136 0 0 25 0 1 0 453437567 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.12
CPU time (s): 1200.31
CPU user time (s): 1198.94
CPU system time (s): 1.36879
CPU usage (%): 100.016
Max. virtual memory (Kb): 283388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####