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/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
MD5SUM	f8f477e05e80ba24d613a231e387041a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1164
Optimality of the best value was proved	NO
Number of terms in the objective function	3204
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	3204
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3204
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.16
Number of variables	3204
Total number of constraints	24883
Number of constraints which are clauses	24883
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	16
Trace number 7712

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-17 15:58:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1230 boxname=wulflinc5 idbench=137 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f8f477e05e80ba24d613a231e387041a  /oldhome/oroussel/tmp/wulflinc5/normalized-ii16a2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-ii16a2.opb
IDLAUNCH: 1230
/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:        854564 kB
Buffers:         36684 kB
Cached:         120368 kB
SwapCached:       2272 kB
Active:          67436 kB
Inactive:        94700 kB
HighTotal:      131008 kB
HighFree:         6720 kB
LowTotal:       903652 kB
LowFree:        847844 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12460 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:19:00 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 1230 7 1200.57 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-ii16a2.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): 1.00 0.97 0.74 2/54 15043
Raw data (stat): 15043 (runsolver) R 15042 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453558620 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0004 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 15043
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 2104 0 0 0 992 6 0 0 25 0 1 0 453558620 11554816 1952 4294967295 134512640 135450300 3221224640 3221223120 134580021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2821 1952 231 231 0 2590 0
vsize: 11284
[startup+20.001 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 15043
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 2568 0 0 0 1990 8 0 0 25 0 1 0 453558620 11689984 2416 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2854 2416 231 231 0 2623 0
vsize: 11416
[startup+30.0015 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 15043
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 2615 0 0 0 2990 8 0 0 25 0 1 0 453558620 11689984 2463 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2854 2463 231 231 0 2623 0
vsize: 11416
[startup+40.0015 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 15043
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 2653 0 0 0 3990 9 0 0 25 0 1 0 453558620 11825152 2501 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2887 2501 231 231 0 2656 0
vsize: 11548
[startup+50.0022 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 15043
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 2687 0 0 0 4990 9 0 0 25 0 1 0 453558620 11825152 2535 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2887 2535 231 231 0 2656 0
vsize: 11548
[startup+60.002 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 15043
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 3924 0 0 0 5986 13 0 0 25 0 1 0 453558620 20213760 3772 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4935 3772 231 231 0 4704 0
vsize: 19740
[startup+70.0024 s]
Raw data (loadavg): 1.00 0.97 0.75 3/55 15044
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 5250 0 0 0 6984 15 0 0 25 0 1 0 453558620 36990976 5098 4294967295 134512640 135450300 3221224640 3221223456 134546477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 5098 231 231 0 8800 0
vsize: 36124
[startup+80.0031 s]
Raw data (loadavg): 1.07 0.99 0.76 2/58 15086
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 6628 0 0 0 7981 18 0 0 25 0 1 0 453558620 36990976 6476 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 6476 231 231 0 8800 0
vsize: 36124
[startup+90.0223 s]
Raw data (loadavg): 1.21 1.02 0.77 2/57 15095
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 7962 0 0 0 8981 21 0 0 25 0 1 0 453558620 36990976 7810 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 7810 231 231 0 8800 0
vsize: 36124
[startup+100.023 s]
Raw data (loadavg): 1.18 1.02 0.78 2/54 15096
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 9238 0 0 0 9979 23 0 0 25 0 1 0 453558620 70545408 9086 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17223 9086 231 231 0 16992 0
vsize: 68892
[startup+110.337 s]
Raw data (loadavg): 1.15 1.02 0.78 2/54 15096
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 10729 0 0 0 11006 27 0 0 25 0 1 0 453558620 70684672 10577 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17257 10577 231 231 0 17026 0
vsize: 69028
[startup+120.337 s]
Raw data (loadavg): 1.13 1.02 0.78 2/54 15096
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 12133 0 0 0 12003 31 0 0 25 0 1 0 453558620 70684672 11981 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17257 11981 231 231 0 17026 0
vsize: 69028
[startup+130.338 s]
Raw data (loadavg): 1.11 1.02 0.78 2/54 15096
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 13468 0 0 0 13001 33 0 0 25 0 1 0 453558620 70684672 13316 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17257 13316 231 231 0 17026 0
vsize: 69028
[startup+140.337 s]
Raw data (loadavg): 1.09 1.02 0.78 2/54 15096
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 14822 0 0 0 13997 37 0 0 25 0 1 0 453558620 70684672 14670 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17257 14670 231 231 0 17026 0
vsize: 69028
[startup+150.338 s]
Raw data (loadavg): 1.08 1.01 0.79 2/54 15096
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 16103 0 0 0 14994 40 0 0 25 0 1 0 453558620 70684672 15951 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17257 15951 231 231 0 17026 0
vsize: 69028
[startup+160.338 s]
Raw data (loadavg): 1.06 1.01 0.79 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 17147 0 0 0 15990 44 0 0 25 0 1 0 453558620 70684672 16995 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17257 16995 231 231 0 17026 0
vsize: 69028
[startup+170.338 s]
Raw data (loadavg): 1.05 1.01 0.79 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 18524 0 0 0 16985 49 0 0 25 0 1 0 453558620 137793536 18372 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33641 18372 231 231 0 33410 0
vsize: 134564
[startup+180.338 s]
Raw data (loadavg): 1.05 1.01 0.79 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 18983 0 0 0 17984 51 0 0 25 0 1 0 453558620 137936896 18831 4294967295 134512640 135450300 3221224640 3221222944 134844226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33676 18831 231 231 0 33445 0
vsize: 134704
[startup+190.338 s]
Raw data (loadavg): 1.04 1.01 0.79 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 19552 0 0 0 18982 52 0 0 25 0 1 0 453558620 138723328 19207 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33868 19207 231 231 0 33637 0
vsize: 135472
[startup+200.339 s]
Raw data (loadavg): 1.03 1.01 0.80 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 19930 0 0 0 19981 54 0 0 25 0 1 0 453558620 138723328 19585 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33868 19585 231 231 0 33637 0
vsize: 135472
[startup+210.338 s]
Raw data (loadavg): 1.03 1.01 0.80 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20306 0 0 0 20980 55 0 0 25 0 1 0 453558620 138858496 19961 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 19961 231 231 0 33670 0
vsize: 135604
[startup+220.338 s]
Raw data (loadavg): 1.02 1.01 0.80 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20679 0 0 0 21980 55 0 0 25 0 1 0 453558620 138858496 20334 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20334 231 231 0 33670 0
vsize: 135604
[startup+230.338 s]
Raw data (loadavg): 1.02 1.01 0.80 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20977 0 0 0 22979 56 0 0 25 0 1 0 453558620 138858496 20632 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20632 231 231 0 33670 0
vsize: 135604
[startup+240.338 s]
Raw data (loadavg): 1.02 1.01 0.80 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20980 0 0 0 23979 56 0 0 25 0 1 0 453558620 138858496 20635 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20635 231 231 0 33670 0
vsize: 135604
[startup+250.338 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20985 0 0 0 24979 57 0 0 25 0 1 0 453558620 138858496 20640 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20640 231 231 0 33670 0
vsize: 135604
[startup+260.339 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20986 0 0 0 25979 57 0 0 25 0 1 0 453558620 138858496 20641 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20641 231 231 0 33670 0
vsize: 135604
[startup+270.339 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20988 0 0 0 26979 57 0 0 25 0 1 0 453558620 138858496 20643 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20643 231 231 0 33670 0
vsize: 135604
[startup+280.339 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 20997 0 0 0 27979 58 0 0 25 0 1 0 453558620 138858496 20652 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20652 231 231 0 33670 0
vsize: 135604
[startup+290.338 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21001 0 0 0 28977 59 0 0 25 0 1 0 453558620 138858496 20656 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33901 20656 231 231 0 33670 0
vsize: 135604
[startup+300.339 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21004 0 0 0 29977 60 0 0 25 0 1 0 453558620 138989568 20659 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20659 231 231 0 33702 0
vsize: 135732
[startup+310.339 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21006 0 0 0 30977 60 0 0 25 0 1 0 453558620 138989568 20661 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20661 231 231 0 33702 0
vsize: 135732
[startup+320.339 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21008 0 0 0 31977 60 0 0 25 0 1 0 453558620 138989568 20663 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20663 231 231 0 33702 0
vsize: 135732
[startup+330.339 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21010 0 0 0 32977 60 0 0 25 0 1 0 453558620 138989568 20665 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20665 231 231 0 33702 0
vsize: 135732
[startup+340.339 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21019 0 0 0 33976 61 0 0 25 0 1 0 453558620 138989568 20674 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20674 231 231 0 33702 0
vsize: 135732
[startup+350.34 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21022 0 0 0 34975 62 0 0 25 0 1 0 453558620 138989568 20677 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20677 231 231 0 33702 0
vsize: 135732
[startup+360.341 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21025 0 0 0 35976 62 0 0 25 0 1 0 453558620 138989568 20680 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20680 231 231 0 33702 0
vsize: 135732
[startup+370.34 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21026 0 0 0 36976 63 0 0 25 0 1 0 453558620 138989568 20681 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20681 231 231 0 33702 0
vsize: 135732
[startup+380.34 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21034 0 0 0 37975 63 0 0 25 0 1 0 453558620 138989568 20689 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20689 231 231 0 33702 0
vsize: 135732
[startup+390.34 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21037 0 0 0 38974 64 0 0 25 0 1 0 453558620 138989568 20692 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33933 20692 231 231 0 33702 0
vsize: 135732
[startup+400.339 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21041 0 0 0 39973 66 0 0 25 0 1 0 453558620 139124736 20696 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20696 231 231 0 33735 0
vsize: 135864
[startup+410.339 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21042 0 0 0 40973 66 0 0 25 0 1 0 453558620 139124736 20697 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20697 231 231 0 33735 0
vsize: 135864
[startup+420.339 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21043 0 0 0 41973 66 0 0 25 0 1 0 453558620 139124736 20698 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20698 231 231 0 33735 0
vsize: 135864
[startup+430.339 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15098
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21044 0 0 0 42973 66 0 0 25 0 1 0 453558620 139124736 20699 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20699 231 231 0 33735 0
vsize: 135864
[startup+440.339 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21054 0 0 0 43972 67 0 0 25 0 1 0 453558620 139124736 20709 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20709 231 231 0 33735 0
vsize: 135864
[startup+450.339 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21055 0 0 0 44972 68 0 0 25 0 1 0 453558620 139124736 20710 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20710 231 231 0 33735 0
vsize: 135864
[startup+460.339 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21056 0 0 0 45972 68 0 0 25 0 1 0 453558620 139124736 20711 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20711 231 231 0 33735 0
vsize: 135864
[startup+470.338 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21056 0 0 0 46972 68 0 0 25 0 1 0 453558620 139124736 20711 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20711 231 231 0 33735 0
vsize: 135864
[startup+480.338 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21057 0 0 0 47972 68 0 0 25 0 1 0 453558620 139124736 20712 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20712 231 231 0 33735 0
vsize: 135864
[startup+490.338 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21058 0 0 0 48972 68 0 0 25 0 1 0 453558620 139124736 20713 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20713 231 231 0 33735 0
vsize: 135864
[startup+500.338 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21067 0 0 0 49971 69 0 0 25 0 1 0 453558620 139124736 20722 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20722 231 231 0 33735 0
vsize: 135864
[startup+510.337 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21069 0 0 0 50970 70 0 0 25 0 1 0 453558620 139124736 20724 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20724 231 231 0 33735 0
vsize: 135864
[startup+520.337 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21072 0 0 0 51970 71 0 0 25 0 1 0 453558620 139124736 20727 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20727 231 231 0 33735 0
vsize: 135864
[startup+530.337 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21073 0 0 0 52970 71 0 0 25 0 1 0 453558620 139124736 20728 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20728 231 231 0 33735 0
vsize: 135864
[startup+540.337 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21073 0 0 0 53970 71 0 0 25 0 1 0 453558620 139124736 20728 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20728 231 231 0 33735 0
vsize: 135864
[startup+550.336 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21074 0 0 0 54970 71 0 0 25 0 1 0 453558620 139124736 20729 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20729 231 231 0 33735 0
vsize: 135864
[startup+560.336 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21082 0 0 0 55969 72 0 0 25 0 1 0 453558620 139124736 20737 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20737 231 231 0 33735 0
vsize: 135864
[startup+570.336 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21087 0 0 0 56968 73 0 0 25 0 1 0 453558620 139124736 20742 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20742 231 231 0 33735 0
vsize: 135864
[startup+580.335 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21089 0 0 0 57968 73 0 0 25 0 1 0 453558620 139124736 20744 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20744 231 231 0 33735 0
vsize: 135864
[startup+590.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21090 0 0 0 58968 73 0 0 25 0 1 0 453558620 139124736 20745 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 20745 231 231 0 33735 0
vsize: 135864
[startup+600.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21100 0 0 0 59968 74 0 0 25 0 1 0 453558620 139251712 20755 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20755 231 231 0 33766 0
vsize: 135988
[startup+610.336 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21105 0 0 0 60967 75 0 0 25 0 1 0 453558620 139251712 20760 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20760 231 231 0 33766 0
vsize: 135988
[startup+620.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21110 0 0 0 61966 76 0 0 25 0 1 0 453558620 139251712 20765 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20765 231 231 0 33766 0
vsize: 135988
[startup+630.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21111 0 0 0 62967 76 0 0 25 0 1 0 453558620 139251712 20766 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20766 231 231 0 33766 0
vsize: 135988
[startup+640.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21112 0 0 0 63967 76 0 0 25 0 1 0 453558620 139251712 20767 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20767 231 231 0 33766 0
vsize: 135988
[startup+650.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21120 0 0 0 64966 76 0 0 25 0 1 0 453558620 139251712 20775 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20775 231 231 0 33766 0
vsize: 135988
[startup+660.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21120 0 0 0 65965 78 0 0 25 0 1 0 453558620 139251712 20775 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20775 231 231 0 33766 0
vsize: 135988
[startup+670.334 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21123 0 0 0 66965 78 0 0 25 0 1 0 453558620 139251712 20778 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20778 231 231 0 33766 0
vsize: 135988
[startup+680.335 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21124 0 0 0 67965 78 0 0 25 0 1 0 453558620 139251712 20779 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20779 231 231 0 33766 0
vsize: 135988
[startup+690.334 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21125 0 0 0 68965 78 0 0 25 0 1 0 453558620 139251712 20780 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20780 231 231 0 33766 0
vsize: 135988
[startup+700.334 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21128 0 0 0 69965 78 0 0 25 0 1 0 453558620 139251712 20783 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33997 20783 231 231 0 33766 0
vsize: 135988
[startup+710.335 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21140 0 0 0 70965 79 0 0 25 0 1 0 453558620 139382784 20795 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20795 231 231 0 33798 0
vsize: 136116
[startup+720.335 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21141 0 0 0 71963 81 0 0 25 0 1 0 453558620 139382784 20796 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20796 231 231 0 33798 0
vsize: 136116
[startup+730.335 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21142 0 0 0 72963 81 0 0 25 0 1 0 453558620 139382784 20797 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20797 231 231 0 33798 0
vsize: 136116
[startup+740.335 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21143 0 0 0 73963 81 0 0 25 0 1 0 453558620 139382784 20798 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20798 231 231 0 33798 0
vsize: 136116
[startup+750.335 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21144 0 0 0 74963 81 0 0 25 0 1 0 453558620 139382784 20799 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20799 231 231 0 33798 0
vsize: 136116
[startup+760.335 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21144 0 0 0 75963 81 0 0 25 0 1 0 453558620 139382784 20799 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20799 231 231 0 33798 0
vsize: 136116
[startup+770.334 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21151 0 0 0 76963 82 0 0 25 0 1 0 453558620 139382784 20806 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20806 231 231 0 33798 0
vsize: 136116
[startup+780.335 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21152 0 0 0 77962 82 0 0 25 0 1 0 453558620 139382784 20807 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20807 231 231 0 33798 0
vsize: 136116
[startup+790.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21153 0 0 0 78963 82 0 0 25 0 1 0 453558620 139382784 20808 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20808 231 231 0 33798 0
vsize: 136116
[startup+800.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21154 0 0 0 79963 82 0 0 25 0 1 0 453558620 139382784 20809 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20809 231 231 0 33798 0
vsize: 136116
[startup+810.334 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21155 0 0 0 80963 82 0 0 25 0 1 0 453558620 139382784 20810 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20810 231 231 0 33798 0
vsize: 136116
[startup+820.334 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21164 0 0 0 81962 83 0 0 25 0 1 0 453558620 139382784 20819 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20819 231 231 0 33798 0
vsize: 136116
[startup+830.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21166 0 0 0 82962 84 0 0 25 0 1 0 453558620 139382784 20821 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20821 231 231 0 33798 0
vsize: 136116
[startup+840.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21168 0 0 0 83962 84 0 0 25 0 1 0 453558620 139382784 20823 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20823 231 231 0 33798 0
vsize: 136116
[startup+850.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21169 0 0 0 84962 84 0 0 25 0 1 0 453558620 139382784 20824 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20824 231 231 0 33798 0
vsize: 136116
[startup+860.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21171 0 0 0 85962 84 0 0 25 0 1 0 453558620 139382784 20826 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34029 20826 231 231 0 33798 0
vsize: 136116
[startup+870.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21179 0 0 0 86962 84 0 0 25 0 1 0 453558620 139493376 20834 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20834 231 231 0 33825 0
vsize: 136224
[startup+880.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21181 0 0 0 87962 85 0 0 25 0 1 0 453558620 139493376 20836 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20836 231 231 0 33825 0
vsize: 136224
[startup+890.335 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21182 0 0 0 88962 85 0 0 25 0 1 0 453558620 139493376 20837 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20837 231 231 0 33825 0
vsize: 136224
[startup+900.335 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21183 0 0 0 89962 85 0 0 25 0 1 0 453558620 139493376 20838 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20838 231 231 0 33825 0
vsize: 136224
[startup+910.336 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21183 0 0 0 90962 85 0 0 25 0 1 0 453558620 139493376 20838 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20838 231 231 0 33825 0
vsize: 136224
[startup+920.336 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21191 0 0 0 91962 86 0 0 25 0 1 0 453558620 139493376 20846 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20846 231 231 0 33825 0
vsize: 136224
[startup+930.336 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21192 0 0 0 92961 86 0 0 25 0 1 0 453558620 139493376 20847 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20847 231 231 0 33825 0
vsize: 136224
[startup+940.336 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21193 0 0 0 93961 87 0 0 25 0 1 0 453558620 139493376 20848 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20848 231 231 0 33825 0
vsize: 136224
[startup+950.335 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21194 0 0 0 94961 87 0 0 25 0 1 0 453558620 139493376 20849 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20849 231 231 0 33825 0
vsize: 136224
[startup+960.337 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21194 0 0 0 95961 87 0 0 25 0 1 0 453558620 139493376 20849 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20849 231 231 0 33825 0
vsize: 136224
[startup+970.336 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21204 0 0 0 96961 87 0 0 25 0 1 0 453558620 139493376 20859 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20859 231 231 0 33825 0
vsize: 136224
[startup+980.337 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21205 0 0 0 97961 88 0 0 25 0 1 0 453558620 139493376 20860 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20860 231 231 0 33825 0
vsize: 136224
[startup+990.336 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21206 0 0 0 98961 88 0 0 25 0 1 0 453558620 139493376 20861 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20861 231 231 0 33825 0
vsize: 136224
[startup+1000.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21207 0 0 0 99961 88 0 0 25 0 1 0 453558620 139493376 20862 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20862 231 231 0 33825 0
vsize: 136224
[startup+1010.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21207 0 0 0 100961 88 0 0 25 0 1 0 453558620 139493376 20862 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34056 20862 231 231 0 33825 0
vsize: 136224
[startup+1020.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21210 0 0 0 101961 88 0 0 25 0 1 0 453558620 139632640 20865 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20865 231 231 0 33859 0
vsize: 136360
[startup+1030.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21211 0 0 0 102961 89 0 0 25 0 1 0 453558620 139632640 20866 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20866 231 231 0 33859 0
vsize: 136360
[startup+1040.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21212 0 0 0 103960 89 0 0 25 0 1 0 453558620 139632640 20867 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20867 231 231 0 33859 0
vsize: 136360
[startup+1050.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21213 0 0 0 104960 89 0 0 25 0 1 0 453558620 139632640 20868 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20868 231 231 0 33859 0
vsize: 136360
[startup+1060.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21213 0 0 0 105960 90 0 0 25 0 1 0 453558620 139632640 20868 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20868 231 231 0 33859 0
vsize: 136360
[startup+1070.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21214 0 0 0 106960 90 0 0 25 0 1 0 453558620 139632640 20869 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20869 231 231 0 33859 0
vsize: 136360
[startup+1080.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21225 0 0 0 107959 91 0 0 25 0 1 0 453558620 139632640 20880 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20880 231 231 0 33859 0
vsize: 136360
[startup+1090.34 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21226 0 0 0 108958 92 0 0 25 0 1 0 453558620 139632640 20881 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20881 231 231 0 33859 0
vsize: 136360
[startup+1100.34 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21227 0 0 0 109958 92 0 0 25 0 1 0 453558620 139632640 20882 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20882 231 231 0 33859 0
vsize: 136360
[startup+1110.34 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21228 0 0 0 110958 92 0 0 25 0 1 0 453558620 139632640 20883 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20883 231 231 0 33859 0
vsize: 136360
[startup+1120.34 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21241 0 0 0 111958 93 0 0 25 0 1 0 453558620 139632640 20896 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20896 231 231 0 33859 0
vsize: 136360
[startup+1130.34 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21245 0 0 0 112957 94 0 0 25 0 1 0 453558620 139632640 20900 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20900 231 231 0 33859 0
vsize: 136360
[startup+1140.34 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21246 0 0 0 113957 94 0 0 25 0 1 0 453558620 139632640 20901 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20901 231 231 0 33859 0
vsize: 136360
[startup+1150.34 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21248 0 0 0 114957 94 0 0 25 0 1 0 453558620 139632640 20903 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20903 231 231 0 33859 0
vsize: 136360
[startup+1160.34 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21256 0 0 0 115957 95 0 0 25 0 1 0 453558620 139632640 20911 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20911 231 231 0 33859 0
vsize: 136360
[startup+1170.34 s]
Raw data (loadavg): 1.08 1.02 0.91 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21256 0 0 0 116956 96 0 0 25 0 1 0 453558620 139632640 20911 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20911 231 231 0 33859 0
vsize: 136360
[startup+1180.34 s]
Raw data (loadavg): 1.07 1.02 0.91 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21257 0 0 0 117956 96 0 0 25 0 1 0 453558620 139632640 20912 4294967295 134512640 135450300 3221224640 3221223104 134532878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20912 231 231 0 33859 0
vsize: 136360
[startup+1190.34 s]
Raw data (loadavg): 1.06 1.01 0.91 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21258 0 0 0 118956 96 0 0 25 0 1 0 453558620 139632640 20913 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20913 231 231 0 33859 0
vsize: 136360
[startup+1200.34 s]
Raw data (loadavg): 1.05 1.01 0.91 2/54 15100
Raw data (stat): 15043 (PBS4) R 15042 24215 24214 0 -1 0 21259 0 0 0 119956 96 0 0 25 0 1 0 453558620 139632640 20914 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34090 20914 231 231 0 33859 0
vsize: 136360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 1.05 1.01 0.91 1/54 15100
Raw data (stat): 15043 (PBS4) Z 15042 24215 24214 0 -1 1036 21259 0 0 0 119956 100 0 0 25 0 1 0 453558620 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.38
CPU time (s): 1200.57
CPU user time (s): 1199.56
CPU system time (s): 1.00785
CPU usage (%): 100.016
Max. virtual memory (Kb): 136360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####