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-ii16a1.opb
MD5SUM	8d302f04261c322e5b8c31c087553d24
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1272
Optimality of the best value was proved	NO
Number of terms in the objective function	3300
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	3300
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	3300
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.06
Number of variables	3300
Total number of constraints	21018
Number of constraints which are clauses	21018
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 7708

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-17 15:58:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1221 boxname=wulflinc25 idbench=136 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  8d302f04261c322e5b8c31c087553d24  /oldhome/oroussel/tmp/wulflinc25/normalized-ii16a1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-ii16a1.opb
IDLAUNCH: 1221
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        805632 kB
Buffers:         36424 kB
Cached:         156184 kB
SwapCached:         36 kB
Active:          73128 kB
Inactive:       122336 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        805380 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            27776 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:18:59 (client local time) WITH STATUS 0 IN 1200.63 SECONDS
stats: 1221 7 1200.63 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-ii16a1.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.79 0.92 0.72 2/54 21800
Raw data (stat): 21800 (runsolver) R 21799 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511789660 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+9.99995 s]
Raw data (loadavg): 0.82 0.93 0.73 2/54 21800
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 861 0 0 0 997 2 0 0 25 0 1 0 511789660 4231168 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1033 710 231 231 0 802 0
vsize: 4132
[startup+20.0002 s]
Raw data (loadavg): 0.85 0.93 0.73 2/54 21800
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 947 0 0 0 1995 4 0 0 25 0 1 0 511789660 4231168 796 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1033 796 231 231 0 802 0
vsize: 4132
[startup+29.9998 s]
Raw data (loadavg): 0.87 0.93 0.73 2/54 21800
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 2230 0 0 0 2991 8 0 0 25 0 1 0 511789660 11571200 2079 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2825 2079 231 231 0 2594 0
vsize: 11300
[startup+39.9997 s]
Raw data (loadavg): 0.89 0.93 0.73 2/54 21800
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 4025 0 0 0 3987 13 0 0 25 0 1 0 511789660 20094976 3874 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 3874 231 231 0 4675 0
vsize: 19624
[startup+50 s]
Raw data (loadavg): 0.90 0.93 0.74 2/54 21800
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 5721 0 0 0 4982 17 0 0 25 0 1 0 511789660 36872192 5570 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9002 5570 231 231 0 8771 0
vsize: 36008
[startup+59.9996 s]
Raw data (loadavg): 0.92 0.93 0.74 2/54 21800
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 6839 0 0 0 5978 22 0 0 25 0 1 0 511789660 37007360 6688 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9035 6688 231 231 0 8804 0
vsize: 36140
[startup+70.0005 s]
Raw data (loadavg): 0.93 0.94 0.74 2/54 21800
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 8541 0 0 0 6974 26 0 0 25 0 1 0 511789660 37138432 8390 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9067 8390 231 231 0 8836 0
vsize: 36268
[startup+80.0008 s]
Raw data (loadavg): 1.02 0.96 0.75 2/58 21843
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 9519 0 0 0 7971 29 0 0 25 0 1 0 511789660 70692864 9368 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17259 9368 231 231 0 17028 0
vsize: 69036
[startup+90.0004 s]
Raw data (loadavg): 1.10 0.97 0.75 2/54 21853
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 10590 0 0 0 8969 31 0 0 25 0 1 0 511789660 70828032 10439 4294967295 134512640 135450300 3221224640 3221223024 134602314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 10439 231 231 0 17061 0
vsize: 69168
[startup+99.9999 s]
Raw data (loadavg): 1.08 0.97 0.76 2/54 21853
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 11652 0 0 0 9968 33 0 0 25 0 1 0 511789660 70828032 11501 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 11501 231 231 0 17061 0
vsize: 69168
[startup+110.159 s]
Raw data (loadavg): 1.07 0.97 0.76 2/54 21853
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 12750 0 0 0 10981 36 0 0 25 0 1 0 511789660 70828032 12599 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 12599 231 231 0 17061 0
vsize: 69168
[startup+120.392 s]
Raw data (loadavg): 1.12 0.99 0.77 2/54 21853
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 13872 0 0 0 12002 38 0 0 25 0 1 0 511789660 70828032 13721 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 13721 231 231 0 17061 0
vsize: 69168
[startup+130.392 s]
Raw data (loadavg): 1.10 0.99 0.77 2/54 21853
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 14981 0 0 0 12999 41 0 0 25 0 1 0 511789660 70828032 14830 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 14830 231 231 0 17061 0
vsize: 69168
[startup+140.391 s]
Raw data (loadavg): 1.09 0.99 0.77 2/54 21853
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 16040 0 0 0 13997 43 0 0 25 0 1 0 511789660 70828032 15889 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 15889 231 231 0 17061 0
vsize: 69168
[startup+150.392 s]
Raw data (loadavg): 1.07 0.99 0.77 2/54 21853
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 17056 0 0 0 14996 45 0 0 25 0 1 0 511789660 70828032 16905 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 16905 231 231 0 17061 0
vsize: 69168
[startup+160.391 s]
Raw data (loadavg): 1.06 0.99 0.77 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 18077 0 0 0 15994 47 0 0 25 0 1 0 511789660 137936896 17926 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33676 17926 231 231 0 33445 0
vsize: 134704
[startup+170.392 s]
Raw data (loadavg): 1.05 0.99 0.78 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19085 0 0 0 16992 49 0 0 25 0 1 0 511789660 137936896 18934 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33676 18934 231 231 0 33445 0
vsize: 134704
[startup+180.392 s]
Raw data (loadavg): 1.04 0.99 0.78 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19855 0 0 0 17990 51 0 0 25 0 1 0 511789660 138092544 19704 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33714 19704 231 231 0 33483 0
vsize: 134856
[startup+190.391 s]
Raw data (loadavg): 1.04 0.99 0.78 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19867 0 0 0 18988 53 0 0 25 0 1 0 511789660 138092544 19716 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33714 19716 231 231 0 33483 0
vsize: 134856
[startup+200.392 s]
Raw data (loadavg): 1.03 0.99 0.78 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19869 0 0 0 19987 54 0 0 25 0 1 0 511789660 138092544 19718 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33714 19718 231 231 0 33483 0
vsize: 134856
[startup+210.391 s]
Raw data (loadavg): 1.02 0.99 0.78 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19895 0 0 0 20987 54 0 0 25 0 1 0 511789660 138235904 19744 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19744 231 231 0 33518 0
vsize: 134996
[startup+220.392 s]
Raw data (loadavg): 1.02 0.99 0.79 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19897 0 0 0 21987 55 0 0 25 0 1 0 511789660 138235904 19746 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19746 231 231 0 33518 0
vsize: 134996
[startup+230.391 s]
Raw data (loadavg): 1.02 0.99 0.79 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19899 0 0 0 22987 55 0 0 25 0 1 0 511789660 138235904 19748 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19748 231 231 0 33518 0
vsize: 134996
[startup+240.391 s]
Raw data (loadavg): 1.01 0.99 0.79 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19902 0 0 0 23987 55 0 0 25 0 1 0 511789660 138235904 19751 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19751 231 231 0 33518 0
vsize: 134996
[startup+250.391 s]
Raw data (loadavg): 1.01 0.99 0.79 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19910 0 0 0 24985 57 0 0 25 0 1 0 511789660 138235904 19759 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19759 231 231 0 33518 0
vsize: 134996
[startup+260.391 s]
Raw data (loadavg): 1.01 0.99 0.79 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19911 0 0 0 25986 57 0 0 25 0 1 0 511789660 138235904 19760 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19760 231 231 0 33518 0
vsize: 134996
[startup+270.392 s]
Raw data (loadavg): 1.01 0.99 0.80 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19918 0 0 0 26986 57 0 0 25 0 1 0 511789660 138235904 19767 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19767 231 231 0 33518 0
vsize: 134996
[startup+280.391 s]
Raw data (loadavg): 1.01 0.99 0.80 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19924 0 0 0 27984 58 0 0 25 0 1 0 511789660 138235904 19773 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19773 231 231 0 33518 0
vsize: 134996
[startup+290.391 s]
Raw data (loadavg): 1.00 0.99 0.80 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19926 0 0 0 28984 59 0 0 25 0 1 0 511789660 138235904 19775 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19775 231 231 0 33518 0
vsize: 134996
[startup+300.391 s]
Raw data (loadavg): 1.00 0.99 0.80 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 19928 0 0 0 29984 59 0 0 25 0 1 0 511789660 138235904 19777 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19777 231 231 0 33518 0
vsize: 134996
[startup+310.39 s]
Raw data (loadavg): 1.00 0.99 0.80 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20094 0 0 0 30983 60 0 0 25 0 1 0 511789660 138235904 19943 4294967295 134512640 135450300 3221224640 3221222944 134844244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19943 231 231 0 33518 0
vsize: 134996
[startup+320.391 s]
Raw data (loadavg): 1.00 0.99 0.81 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20095 0 0 0 31981 63 0 0 25 0 1 0 511789660 138235904 19944 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19944 231 231 0 33518 0
vsize: 134996
[startup+330.391 s]
Raw data (loadavg): 1.00 0.99 0.81 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20096 0 0 0 32981 63 0 0 25 0 1 0 511789660 138235904 19945 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19945 231 231 0 33518 0
vsize: 134996
[startup+340.391 s]
Raw data (loadavg): 1.00 0.99 0.81 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20098 0 0 0 33981 63 0 0 25 0 1 0 511789660 138235904 19947 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 19947 231 231 0 33518 0
vsize: 134996
[startup+350.39 s]
Raw data (loadavg): 1.00 0.99 0.81 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20106 0 0 0 34979 65 0 0 25 0 1 0 511789660 138346496 19955 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 19955 231 231 0 33545 0
vsize: 135104
[startup+360.39 s]
Raw data (loadavg): 1.00 0.99 0.81 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20108 0 0 0 35979 66 0 0 25 0 1 0 511789660 138346496 19957 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 19957 231 231 0 33545 0
vsize: 135104
[startup+370.391 s]
Raw data (loadavg): 1.00 0.99 0.81 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20110 0 0 0 36979 66 0 0 25 0 1 0 511789660 138346496 19959 4294967295 134512640 135450300 3221224640 3221223024 134579530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 19959 231 231 0 33545 0
vsize: 135104
[startup+380.39 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20121 0 0 0 37978 67 0 0 25 0 1 0 511789660 138346496 19970 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 19970 231 231 0 33545 0
vsize: 135104
[startup+390.39 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20123 0 0 0 38976 68 0 0 25 0 1 0 511789660 138346496 19972 4294967295 134512640 135450300 3221224640 3221223072 134579552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 19972 231 231 0 33545 0
vsize: 135104
[startup+400.39 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20124 0 0 0 39977 68 0 0 25 0 1 0 511789660 138346496 19973 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33776 19973 231 231 0 33545 0
vsize: 135104
[startup+410.39 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20323 0 0 0 40976 69 0 0 25 0 1 0 511789660 139132928 19979 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33968 19979 231 231 0 33737 0
vsize: 135872
[startup+420.391 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20326 0 0 0 41975 71 0 0 25 0 1 0 511789660 139132928 19982 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33968 19982 231 231 0 33737 0
vsize: 135872
[startup+430.391 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20327 0 0 0 42975 71 0 0 25 0 1 0 511789660 139132928 19983 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33968 19983 231 231 0 33737 0
vsize: 135872
[startup+440.391 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21855
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20331 0 0 0 43975 71 0 0 25 0 1 0 511789660 139132928 19987 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33968 19987 231 231 0 33737 0
vsize: 135872
[startup+450.39 s]
Raw data (loadavg): 1.00 0.99 0.82 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20336 0 0 0 44974 72 0 0 25 0 1 0 511789660 139276288 19992 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 19992 231 231 0 33772 0
vsize: 136012
[startup+460.39 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20338 0 0 0 45974 72 0 0 25 0 1 0 511789660 139276288 19994 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 19994 231 231 0 33772 0
vsize: 136012
[startup+470.391 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20340 0 0 0 46974 72 0 0 25 0 1 0 511789660 139276288 19996 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 19996 231 231 0 33772 0
vsize: 136012
[startup+480.39 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20347 0 0 0 47973 73 0 0 25 0 1 0 511789660 139276288 20003 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20003 231 231 0 33772 0
vsize: 136012
[startup+490.39 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20348 0 0 0 48972 75 0 0 25 0 1 0 511789660 139276288 20004 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20004 231 231 0 33772 0
vsize: 136012
[startup+500.39 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20349 0 0 0 49972 75 0 0 25 0 1 0 511789660 139276288 20005 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20005 231 231 0 33772 0
vsize: 136012
[startup+510.39 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20350 0 0 0 50972 75 0 0 25 0 1 0 511789660 139276288 20006 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20006 231 231 0 33772 0
vsize: 136012
[startup+520.39 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20358 0 0 0 51971 77 0 0 25 0 1 0 511789660 139276288 20014 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20014 231 231 0 33772 0
vsize: 136012
[startup+530.391 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20360 0 0 0 52970 78 0 0 25 0 1 0 511789660 139276288 20016 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20016 231 231 0 33772 0
vsize: 136012
[startup+540.391 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20362 0 0 0 53970 78 0 0 25 0 1 0 511789660 139276288 20018 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20018 231 231 0 33772 0
vsize: 136012
[startup+550.39 s]
Raw data (loadavg): 1.00 0.99 0.83 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20363 0 0 0 54970 78 0 0 25 0 1 0 511789660 139276288 20019 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20019 231 231 0 33772 0
vsize: 136012
[startup+560.39 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20369 0 0 0 55969 79 0 0 25 0 1 0 511789660 139276288 20025 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20025 231 231 0 33772 0
vsize: 136012
[startup+570.389 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20371 0 0 0 56968 80 0 0 25 0 1 0 511789660 139276288 20027 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20027 231 231 0 33772 0
vsize: 136012
[startup+580.389 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20373 0 0 0 57968 80 0 0 25 0 1 0 511789660 139276288 20029 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20029 231 231 0 33772 0
vsize: 136012
[startup+590.389 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20382 0 0 0 58968 81 0 0 25 0 1 0 511789660 139276288 20038 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20038 231 231 0 33772 0
vsize: 136012
[startup+600.389 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20383 0 0 0 59966 83 0 0 25 0 1 0 511789660 139276288 20039 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20039 231 231 0 33772 0
vsize: 136012
[startup+610.389 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20385 0 0 0 60966 83 0 0 25 0 1 0 511789660 139276288 20041 4294967295 134512640 135450300 3221224640 3221223148 134579984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20041 231 231 0 33772 0
vsize: 136012
[startup+620.388 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20386 0 0 0 61966 83 0 0 25 0 1 0 511789660 139276288 20042 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20042 231 231 0 33772 0
vsize: 136012
[startup+630.388 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20392 0 0 0 62966 83 0 0 25 0 1 0 511789660 139276288 20048 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20048 231 231 0 33772 0
vsize: 136012
[startup+640.388 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20393 0 0 0 63965 84 0 0 25 0 1 0 511789660 139276288 20049 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20049 231 231 0 33772 0
vsize: 136012
[startup+650.387 s]
Raw data (loadavg): 1.00 0.99 0.84 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20394 0 0 0 64965 85 0 0 25 0 1 0 511789660 139276288 20050 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20050 231 231 0 33772 0
vsize: 136012
[startup+660.387 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20395 0 0 0 65965 85 0 0 25 0 1 0 511789660 139276288 20051 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 20051 231 231 0 33772 0
vsize: 136012
[startup+670.387 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20400 0 0 0 66965 85 0 0 25 0 1 0 511789660 139395072 20056 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20056 231 231 0 33801 0
vsize: 136128
[startup+680.386 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20402 0 0 0 67964 86 0 0 25 0 1 0 511789660 139395072 20058 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20058 231 231 0 33801 0
vsize: 136128
[startup+690.385 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20403 0 0 0 68964 86 0 0 25 0 1 0 511789660 139395072 20059 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20059 231 231 0 33801 0
vsize: 136128
[startup+700.385 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20404 0 0 0 69964 86 0 0 25 0 1 0 511789660 139395072 20060 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20060 231 231 0 33801 0
vsize: 136128
[startup+710.385 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20413 0 0 0 70963 87 0 0 25 0 1 0 511789660 139395072 20069 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20069 231 231 0 33801 0
vsize: 136128
[startup+720.384 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20415 0 0 0 71962 89 0 0 25 0 1 0 511789660 139395072 20071 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20071 231 231 0 33801 0
vsize: 136128
[startup+730.384 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20417 0 0 0 72962 89 0 0 25 0 1 0 511789660 139395072 20073 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20073 231 231 0 33801 0
vsize: 136128
[startup+740.383 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20418 0 0 0 73962 89 0 0 25 0 1 0 511789660 139395072 20074 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20074 231 231 0 33801 0
vsize: 136128
[startup+750.383 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20427 0 0 0 74961 90 0 0 25 0 1 0 511789660 139395072 20083 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20083 231 231 0 33801 0
vsize: 136128
[startup+760.383 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20428 0 0 0 75960 91 0 0 25 0 1 0 511789660 139395072 20084 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20084 231 231 0 33801 0
vsize: 136128
[startup+770.382 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20429 0 0 0 76960 91 0 0 25 0 1 0 511789660 139395072 20085 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20085 231 231 0 33801 0
vsize: 136128
[startup+780.382 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20430 0 0 0 77960 92 0 0 25 0 1 0 511789660 139395072 20086 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34032 20086 231 231 0 33801 0
vsize: 136128
[startup+790.382 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20436 0 0 0 78958 93 0 0 25 0 1 0 511789660 139538432 20092 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20092 231 231 0 33836 0
vsize: 136268
[startup+800.382 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20441 0 0 0 79958 94 0 0 25 0 1 0 511789660 139538432 20097 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20097 231 231 0 33836 0
vsize: 136268
[startup+810.381 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20450 0 0 0 80957 95 0 0 25 0 1 0 511789660 139538432 20106 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20106 231 231 0 33836 0
vsize: 136268
[startup+820.381 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20451 0 0 0 81956 96 0 0 25 0 1 0 511789660 139538432 20107 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20107 231 231 0 33836 0
vsize: 136268
[startup+830.381 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20452 0 0 0 82956 96 0 0 25 0 1 0 511789660 139538432 20108 4294967295 134512640 135450300 3221224640 3221223104 134532807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20108 231 231 0 33836 0
vsize: 136268
[startup+840.38 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20453 0 0 0 83956 96 0 0 25 0 1 0 511789660 139538432 20109 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20109 231 231 0 33836 0
vsize: 136268
[startup+850.38 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20460 0 0 0 84955 97 0 0 25 0 1 0 511789660 139538432 20116 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20116 231 231 0 33836 0
vsize: 136268
[startup+860.38 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20462 0 0 0 85955 98 0 0 25 0 1 0 511789660 139538432 20118 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20118 231 231 0 33836 0
vsize: 136268
[startup+870.38 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20464 0 0 0 86955 98 0 0 25 0 1 0 511789660 139538432 20120 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20120 231 231 0 33836 0
vsize: 136268
[startup+880.38 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20469 0 0 0 87955 98 0 0 25 0 1 0 511789660 139538432 20125 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20125 231 231 0 33836 0
vsize: 136268
[startup+890.379 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20470 0 0 0 88954 100 0 0 25 0 1 0 511789660 139538432 20126 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20126 231 231 0 33836 0
vsize: 136268
[startup+900.379 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20472 0 0 0 89953 100 0 0 25 0 1 0 511789660 139538432 20128 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20128 231 231 0 33836 0
vsize: 136268
[startup+910.379 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20474 0 0 0 90953 100 0 0 25 0 1 0 511789660 139538432 20130 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20130 231 231 0 33836 0
vsize: 136268
[startup+920.378 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20481 0 0 0 91952 102 0 0 25 0 1 0 511789660 139538432 20137 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20137 231 231 0 33836 0
vsize: 136268
[startup+930.378 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20482 0 0 0 92950 104 0 0 25 0 1 0 511789660 139538432 20138 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20138 231 231 0 33836 0
vsize: 136268
[startup+940.378 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20483 0 0 0 93950 104 0 0 25 0 1 0 511789660 139538432 20139 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20139 231 231 0 33836 0
vsize: 136268
[startup+950.378 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20485 0 0 0 94950 104 0 0 25 0 1 0 511789660 139538432 20141 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34067 20141 231 231 0 33836 0
vsize: 136268
[startup+960.377 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20491 0 0 0 95950 105 0 0 25 0 1 0 511789660 139649024 20147 4294967295 134512640 135450300 3221224640 3221223360 134536034 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20147 231 231 0 33863 0
vsize: 136376
[startup+970.378 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20492 0 0 0 96948 107 0 0 25 0 1 0 511789660 139649024 20148 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20148 231 231 0 33863 0
vsize: 136376
[startup+980.378 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20493 0 0 0 97948 107 0 0 25 0 1 0 511789660 139649024 20149 4294967295 134512640 135450300 3221224640 3221223376 134538559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20149 231 231 0 33863 0
vsize: 136376
[startup+990.377 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20500 0 0 0 98947 108 0 0 25 0 1 0 511789660 139649024 20156 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20156 231 231 0 33863 0
vsize: 136376
[startup+1000.38 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20504 0 0 0 99946 109 0 0 25 0 1 0 511789660 139649024 20160 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20160 231 231 0 33863 0
vsize: 136376
[startup+1010.38 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20506 0 0 0 100946 109 0 0 25 0 1 0 511789660 139649024 20162 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20162 231 231 0 33863 0
vsize: 136376
[startup+1020.38 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20507 0 0 0 101947 109 0 0 25 0 1 0 511789660 139649024 20163 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20163 231 231 0 33863 0
vsize: 136376
[startup+1030.38 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20515 0 0 0 102945 110 0 0 25 0 1 0 511789660 139649024 20171 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20171 231 231 0 33863 0
vsize: 136376
[startup+1040.38 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20516 0 0 0 103944 112 0 0 25 0 1 0 511789660 139649024 20172 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20172 231 231 0 33863 0
vsize: 136376
[startup+1050.38 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20517 0 0 0 104944 112 0 0 25 0 1 0 511789660 139649024 20173 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20173 231 231 0 33863 0
vsize: 136376
[startup+1060.38 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20518 0 0 0 105944 112 0 0 25 0 1 0 511789660 139649024 20174 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20174 231 231 0 33863 0
vsize: 136376
[startup+1070.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20525 0 0 0 106944 113 0 0 25 0 1 0 511789660 139649024 20181 4294967295 134512640 135450300 3221224640 3221223360 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20181 231 231 0 33863 0
vsize: 136376
[startup+1080.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20527 0 0 0 107943 113 0 0 25 0 1 0 511789660 139649024 20183 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20183 231 231 0 33863 0
vsize: 136376
[startup+1090.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20528 0 0 0 108943 114 0 0 25 0 1 0 511789660 139649024 20184 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20184 231 231 0 33863 0
vsize: 136376
[startup+1100.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20529 0 0 0 109943 114 0 0 25 0 1 0 511789660 139649024 20185 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34094 20185 231 231 0 33863 0
vsize: 136376
[startup+1110.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20536 0 0 0 110942 115 0 0 25 0 1 0 511789660 139755520 20192 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20192 231 231 0 33889 0
vsize: 136480
[startup+1120.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20537 0 0 0 111940 117 0 0 25 0 1 0 511789660 139755520 20193 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20193 231 231 0 33889 0
vsize: 136480
[startup+1130.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20539 0 0 0 112941 117 0 0 25 0 1 0 511789660 139755520 20195 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20195 231 231 0 33889 0
vsize: 136480
[startup+1140.37 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20540 0 0 0 113941 117 0 0 25 0 1 0 511789660 139755520 20196 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20196 231 231 0 33889 0
vsize: 136480
[startup+1150.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20545 0 0 0 114940 118 0 0 25 0 1 0 511789660 139755520 20201 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20201 231 231 0 33889 0
vsize: 136480
[startup+1160.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20546 0 0 0 115939 119 0 0 25 0 1 0 511789660 139755520 20202 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20202 231 231 0 33889 0
vsize: 136480
[startup+1170.38 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20548 0 0 0 116939 120 0 0 25 0 1 0 511789660 139755520 20204 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20204 231 231 0 33889 0
vsize: 136480
[startup+1180.38 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20556 0 0 0 117938 120 0 0 25 0 1 0 511789660 139755520 20212 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20212 231 231 0 33889 0
vsize: 136480
[startup+1190.38 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20557 0 0 0 118936 122 0 0 25 0 1 0 511789660 139755520 20213 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20213 231 231 0 33889 0
vsize: 136480
[startup+1200.38 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 21857
Raw data (stat): 21800 (PBS4) R 21799 28099 28098 0 -1 0 20558 0 0 0 119936 122 0 0 25 0 1 0 511789660 139755520 20214 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34120 20214 231 231 0 33889 0
vsize: 136480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.00 0.99 0.90 1/54 21857
Raw data (stat): 21800 (PBS4) Z 21799 28099 28098 0 -1 1036 20558 0 0 0 119937 126 0 0 25 0 1 0 511789660 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.41
CPU time (s): 1200.63
CPU user time (s): 1199.37
CPU system time (s): 1.26381
CPU usage (%): 100.018
Max. virtual memory (Kb): 136480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####