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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	924
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.71
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 16868

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 08:51:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12382 boxname=wulflinc25 idbench=953 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 12382
/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:        577124 kB
Buffers:         15676 kB
Cached:         421444 kB
SwapCached:        732 kB
Active:          38956 kB
Inactive:       400168 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        576816 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            12508 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 09:11:55 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 12382 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-10teams.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.85 0.94 0.93 2/54 32689
Raw data (stat): 32689 (runsolver) R 32688 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543792085 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.0001 s]
Raw data (loadavg): 0.87 0.94 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 985 0 0 0 985 14 0 0 25 0 1 0 543792085 5152768 981 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1258 981 231 231 0 1027 0
vsize: 5032
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 1330 0 0 0 1977 22 0 0 25 0 1 0 543792085 7585792 1326 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1852 1326 231 231 0 1621 0
vsize: 7408
[startup+30.0003 s]
Raw data (loadavg): 0.91 0.94 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 1625 0 0 0 2971 29 0 0 25 0 1 0 543792085 7991296 1621 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1951 1621 231 231 0 1720 0
vsize: 7804
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.94 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 1756 0 0 0 3964 35 0 0 25 0 1 0 543792085 8323072 1703 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 1703 231 231 0 1801 0
vsize: 8128
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.94 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 1922 0 0 0 4956 44 0 0 25 0 1 0 543792085 8462336 1869 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2066 1869 231 231 0 1835 0
vsize: 8264
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 1947 0 0 0 5949 51 0 0 25 0 1 0 543792085 8462336 1894 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2066 1894 231 231 0 1835 0
vsize: 8264
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 1973 0 0 0 6942 58 0 0 25 0 1 0 543792085 8581120 1920 4294967295 134512640 135450300 3221224624 3221223360 134538705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2095 1920 231 231 0 1864 0
vsize: 8380
[startup+80.0017 s]
Raw data (loadavg): 0.96 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 1989 0 0 0 7935 65 0 0 25 0 1 0 543792085 8581120 1936 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2095 1936 231 231 0 1864 0
vsize: 8380
[startup+90.0013 s]
Raw data (loadavg): 0.96 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2119 0 0 0 8930 71 0 0 25 0 1 0 543792085 9105408 1969 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2223 1969 231 231 0 1992 0
vsize: 8892
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2150 0 0 0 9923 78 0 0 25 0 1 0 543792085 9105408 2000 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2223 2000 231 231 0 1992 0
vsize: 8892
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2222 0 0 0 10917 84 0 0 25 0 1 0 543792085 13422592 2072 4294967295 134512640 135450300 3221224624 3221223360 134538793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3277 2072 231 231 0 3046 0
vsize: 13108
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2325 0 0 0 11912 89 0 0 25 0 1 0 543792085 13557760 2175 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3310 2175 231 231 0 3079 0
vsize: 13240
[startup+130 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2357 0 0 0 12907 94 0 0 25 0 1 0 543792085 13557760 2207 4294967295 134512640 135450300 3221224624 3221223360 134538727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3310 2207 231 231 0 3079 0
vsize: 13240
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2484 0 0 0 13901 100 0 0 25 0 1 0 543792085 13684736 2334 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2334 231 231 0 3110 0
vsize: 13364
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2516 0 0 0 14895 107 0 0 25 0 1 0 543792085 13848576 2366 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2366 231 231 0 3150 0
vsize: 13524
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2722 0 0 0 15889 113 0 0 25 0 1 0 543792085 13848576 2572 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2572 231 231 0 3150 0
vsize: 13524
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2745 0 0 0 16884 118 0 0 25 0 1 0 543792085 13848576 2595 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2596 231 231 0 3150 0
vsize: 13524
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2782 0 0 0 17879 123 0 0 25 0 1 0 543792085 13996032 2632 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 2632 231 231 0 3186 0
vsize: 13668
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 2814 0 0 0 18872 130 0 0 25 0 1 0 543792085 14159872 2664 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2664 231 231 0 3226 0
vsize: 13828
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3030 0 0 0 19866 136 0 0 25 0 1 0 543792085 14946304 2687 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3649 2687 231 231 0 3418 0
vsize: 14596
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3048 0 0 0 20862 141 0 0 25 0 1 0 543792085 14946304 2705 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3649 2705 231 231 0 3418 0
vsize: 14596
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3072 0 0 0 21856 147 0 0 25 0 1 0 543792085 14946304 2729 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3649 2729 231 231 0 3418 0
vsize: 14596
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3087 0 0 0 22851 152 0 0 25 0 1 0 543792085 15118336 2744 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3691 2744 231 231 0 3460 0
vsize: 14764
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3109 0 0 0 23845 159 0 0 25 0 1 0 543792085 15118336 2766 4294967295 134512640 135450300 3221224624 3221223360 134538724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3691 2766 231 231 0 3460 0
vsize: 14764
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3128 0 0 0 24838 165 0 0 25 0 1 0 543792085 15118336 2785 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3691 2785 231 231 0 3460 0
vsize: 14764
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3141 0 0 0 25832 171 0 0 25 0 1 0 543792085 15118336 2798 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3691 2798 231 231 0 3460 0
vsize: 14764
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3161 0 0 0 26827 177 0 0 25 0 1 0 543792085 15298560 2818 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2818 231 231 0 3504 0
vsize: 14940
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3180 0 0 0 27822 182 0 0 25 0 1 0 543792085 15298560 2837 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2837 231 231 0 3504 0
vsize: 14940
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3201 0 0 0 28818 187 0 0 25 0 1 0 543792085 15298560 2858 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2858 231 231 0 3504 0
vsize: 14940
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3221 0 0 0 29813 192 0 0 25 0 1 0 543792085 15298560 2878 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2878 231 231 0 3504 0
vsize: 14940
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3242 0 0 0 30807 198 0 0 25 0 1 0 543792085 15495168 2899 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2899 231 231 0 3552 0
vsize: 15132
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3260 0 0 0 31801 203 0 0 25 0 1 0 543792085 15495168 2917 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2917 231 231 0 3552 0
vsize: 15132
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3283 0 0 0 32796 209 0 0 25 0 1 0 543792085 15495168 2940 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2940 231 231 0 3552 0
vsize: 15132
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3302 0 0 0 33790 215 0 0 25 0 1 0 543792085 15495168 2959 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2959 231 231 0 3552 0
vsize: 15132
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3318 0 0 0 34786 220 0 0 25 0 1 0 543792085 15495168 2975 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2975 231 231 0 3552 0
vsize: 15132
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3331 0 0 0 35780 226 0 0 25 0 1 0 543792085 15495168 2988 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2988 231 231 0 3552 0
vsize: 15132
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3355 0 0 0 36776 230 0 0 25 0 1 0 543792085 15618048 3012 4294967295 134512640 135450300 3221224624 3221223360 134538793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 3012 231 231 0 3582 0
vsize: 15252
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3369 0 0 0 37772 234 0 0 25 0 1 0 543792085 15618048 3026 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 3026 231 231 0 3582 0
vsize: 15252
[startup+390.003 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3383 0 0 0 38767 240 0 0 25 0 1 0 543792085 15740928 3040 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3843 3040 231 231 0 3612 0
vsize: 15372
[startup+400.003 s]
Raw data (loadavg): 1.14 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3407 0 0 0 39761 245 0 0 25 0 1 0 543792085 15740928 3064 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3843 3064 231 231 0 3612 0
vsize: 15372
[startup+410.002 s]
Raw data (loadavg): 1.11 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3444 0 0 0 40757 249 0 0 25 0 1 0 543792085 15921152 3101 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3887 3101 231 231 0 3656 0
vsize: 15548
[startup+420.003 s]
Raw data (loadavg): 1.10 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 3946 0 0 0 41751 256 0 0 25 0 1 0 543792085 17657856 3218 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3218 231 231 0 4080 0
vsize: 17244
[startup+430.002 s]
Raw data (loadavg): 1.08 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4035 0 0 0 42745 262 0 0 25 0 1 0 543792085 17657856 3307 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3307 231 231 0 4080 0
vsize: 17244
[startup+440.003 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4047 0 0 0 43740 267 0 0 25 0 1 0 543792085 17657856 3319 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3319 231 231 0 4080 0
vsize: 17244
[startup+450.004 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4069 0 0 0 44735 273 0 0 25 0 1 0 543792085 17657856 3341 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3341 231 231 0 4080 0
vsize: 17244
[startup+460.003 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4087 0 0 0 45729 279 0 0 25 0 1 0 543792085 17797120 3359 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4345 3359 231 231 0 4114 0
vsize: 17380
[startup+470.004 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4103 0 0 0 46725 283 0 0 25 0 1 0 543792085 17797120 3375 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4345 3375 231 231 0 4114 0
vsize: 17380
[startup+480.003 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4120 0 0 0 47720 288 0 0 25 0 1 0 543792085 17797120 3392 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4345 3392 231 231 0 4114 0
vsize: 17380
[startup+490.004 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 32689
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4152 0 0 0 48713 295 0 0 25 0 1 0 543792085 17993728 3424 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3424 231 231 0 4162 0
vsize: 17572
[startup+500.004 s]
Raw data (loadavg): 1.18 1.03 0.95 2/54 32742
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4171 0 0 0 49705 303 0 0 25 0 1 0 543792085 17993728 3443 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3443 231 231 0 4162 0
vsize: 17572
[startup+510.005 s]
Raw data (loadavg): 1.15 1.03 0.95 2/54 32742
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4188 0 0 0 50700 308 0 0 25 0 1 0 543792085 17993728 3460 4294967295 134512640 135450300 3221224624 3221223360 134538601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3460 231 231 0 4162 0
vsize: 17572
[startup+520.012 s]
Raw data (loadavg): 1.13 1.03 0.95 2/54 32742
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4207 0 0 0 51694 315 0 0 25 0 1 0 543792085 17993728 3479 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 3479 231 231 0 4162 0
vsize: 17572
[startup+530.011 s]
Raw data (loadavg): 1.11 1.03 0.95 2/54 32742
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4228 0 0 0 52689 320 0 0 25 0 1 0 543792085 18132992 3500 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3500 231 231 0 4196 0
vsize: 17708
[startup+540.012 s]
Raw data (loadavg): 1.09 1.03 0.95 2/54 32742
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4250 0 0 0 53683 326 0 0 25 0 1 0 543792085 18132992 3522 4294967295 134512640 135450300 3221224624 3221223440 134547485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3522 231 231 0 4196 0
vsize: 17708
[startup+550.012 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 32742
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4270 0 0 0 54678 331 0 0 25 0 1 0 543792085 18132992 3542 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3542 231 231 0 4196 0
vsize: 17708
[startup+560.011 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 32742
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4288 0 0 0 55673 336 0 0 25 0 1 0 543792085 18272256 3560 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3560 231 231 0 4230 0
vsize: 17844
[startup+570.012 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4304 0 0 0 56667 343 0 0 25 0 1 0 543792085 18272256 3576 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3576 231 231 0 4230 0
vsize: 17844
[startup+580.012 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4325 0 0 0 57661 349 0 0 25 0 1 0 543792085 18272256 3597 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3597 231 231 0 4230 0
vsize: 17844
[startup+590.012 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4345 0 0 0 58656 354 0 0 25 0 1 0 543792085 18272256 3617 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3617 231 231 0 4230 0
vsize: 17844
[startup+600.012 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4370 0 0 0 59652 359 0 0 25 0 1 0 543792085 18419712 3642 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3642 231 231 0 4266 0
vsize: 17988
[startup+610.011 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4387 0 0 0 60646 364 0 0 25 0 1 0 543792085 18419712 3659 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3659 231 231 0 4266 0
vsize: 17988
[startup+620.012 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4401 0 0 0 61640 371 0 0 25 0 1 0 543792085 18419712 3673 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3673 231 231 0 4266 0
vsize: 17988
[startup+630.013 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4415 0 0 0 62635 376 0 0 25 0 1 0 543792085 18419712 3687 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3687 231 231 0 4266 0
vsize: 17988
[startup+640.013 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4436 0 0 0 63630 381 0 0 25 0 1 0 543792085 18575360 3708 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3708 231 231 0 4304 0
vsize: 18140
[startup+650.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4456 0 0 0 64625 387 0 0 25 0 1 0 543792085 18575360 3728 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3728 231 231 0 4304 0
vsize: 18140
[startup+660.013 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4474 0 0 0 65619 393 0 0 25 0 1 0 543792085 18575360 3746 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3746 231 231 0 4304 0
vsize: 18140
[startup+670.014 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4493 0 0 0 66614 398 0 0 25 0 1 0 543792085 18575360 3765 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3765 231 231 0 4304 0
vsize: 18140
[startup+680.014 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4505 0 0 0 67608 404 0 0 25 0 1 0 543792085 18743296 3777 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3777 231 231 0 4345 0
vsize: 18304
[startup+690.014 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4527 0 0 0 68603 409 0 0 25 0 1 0 543792085 18743296 3799 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3799 231 231 0 4345 0
vsize: 18304
[startup+700.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4543 0 0 0 69598 415 0 0 25 0 1 0 543792085 18743296 3815 4294967295 134512640 135450300 3221224624 3221223032 135084197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3815 231 231 0 4345 0
vsize: 18304
[startup+710.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4555 0 0 0 70592 421 0 0 25 0 1 0 543792085 18743296 3827 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3827 231 231 0 4345 0
vsize: 18304
[startup+720.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4573 0 0 0 71587 426 0 0 25 0 1 0 543792085 18743296 3845 4294967295 134512640 135450300 3221224624 3221223440 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3845 231 231 0 4345 0
vsize: 18304
[startup+730.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4597 0 0 0 72582 431 0 0 25 0 1 0 543792085 18919424 3869 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3869 231 231 0 4388 0
vsize: 18476
[startup+740.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4618 0 0 0 73575 438 0 0 25 0 1 0 543792085 18919424 3890 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3890 231 231 0 4388 0
vsize: 18476
[startup+750.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4637 0 0 0 74570 443 0 0 25 0 1 0 543792085 18919424 3909 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3909 231 231 0 4388 0
vsize: 18476
[startup+760.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4658 0 0 0 75564 450 0 0 25 0 1 0 543792085 18919424 3930 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3930 231 231 0 4388 0
vsize: 18476
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4673 0 0 0 76558 456 0 0 25 0 1 0 543792085 18919424 3945 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3945 231 231 0 4388 0
vsize: 18476
[startup+780.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4688 0 0 0 77553 461 0 0 25 0 1 0 543792085 19107840 3960 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4665 3960 231 231 0 4434 0
vsize: 18660
[startup+790.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4700 0 0 0 78549 465 0 0 25 0 1 0 543792085 19107840 3972 4294967295 134512640 135450300 3221224624 3221223360 134538745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4665 3972 231 231 0 4434 0
vsize: 18660
[startup+800.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4722 0 0 0 79543 471 0 0 25 0 1 0 543792085 19107840 3994 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4665 3994 231 231 0 4434 0
vsize: 18660
[startup+810.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4745 0 0 0 80537 478 0 0 25 0 1 0 543792085 19226624 4017 4294967295 134512640 135450300 3221224624 3221223456 134549860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4694 4017 231 231 0 4463 0
vsize: 18776
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32744
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4759 0 0 0 81530 485 0 0 25 0 1 0 543792085 19226624 4031 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4694 4031 231 231 0 4463 0
vsize: 18776
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4776 0 0 0 82525 490 0 0 25 0 1 0 543792085 19427328 4048 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4743 4048 231 231 0 4512 0
vsize: 18972
[startup+840.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4795 0 0 0 83520 496 0 0 25 0 1 0 543792085 19427328 4067 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4743 4067 231 231 0 4512 0
vsize: 18972
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4814 0 0 0 84515 501 0 0 25 0 1 0 543792085 19427328 4086 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4743 4086 231 231 0 4512 0
vsize: 18972
[startup+860.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 4836 0 0 0 85510 506 0 0 25 0 1 0 543792085 19427328 4108 4294967295 134512640 135450300 3221224624 3221223088 134532843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4743 4108 231 231 0 4512 0
vsize: 18972
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5629 0 0 0 86502 514 0 0 25 0 1 0 543792085 22573056 4132 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5511 4132 231 231 0 5280 0
vsize: 22044
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5648 0 0 0 87497 519 0 0 25 0 1 0 543792085 22573056 4151 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5511 4151 231 231 0 5280 0
vsize: 22044
[startup+890.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5669 0 0 0 88493 524 0 0 25 0 1 0 543792085 22786048 4172 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5563 4172 231 231 0 5332 0
vsize: 22252
[startup+900.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5690 0 0 0 89487 529 0 0 25 0 1 0 543792085 22786048 4193 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5563 4193 231 231 0 5332 0
vsize: 22252
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5712 0 0 0 90481 536 0 0 25 0 1 0 543792085 22786048 4215 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5563 4215 231 231 0 5332 0
vsize: 22252
[startup+920.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5727 0 0 0 91476 541 0 0 25 0 1 0 543792085 22786048 4230 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5563 4230 231 231 0 5332 0
vsize: 22252
[startup+930.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5739 0 0 0 92471 546 0 0 25 0 1 0 543792085 22786048 4242 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5563 4242 231 231 0 5332 0
vsize: 22252
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5751 0 0 0 93466 551 0 0 25 0 1 0 543792085 22786048 4254 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5563 4254 231 231 0 5332 0
vsize: 22252
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5777 0 0 0 94461 557 0 0 25 0 1 0 543792085 23011328 4280 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5618 4280 231 231 0 5387 0
vsize: 22472
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5788 0 0 0 95456 561 0 0 25 0 1 0 543792085 23011328 4291 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5618 4291 231 231 0 5387 0
vsize: 22472
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5808 0 0 0 96451 567 0 0 25 0 1 0 543792085 23130112 4311 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 4311 231 231 0 5416 0
vsize: 22588
[startup+980.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5834 0 0 0 97447 571 0 0 25 0 1 0 543792085 23130112 4337 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 4337 231 231 0 5416 0
vsize: 22588
[startup+990.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5850 0 0 0 98442 576 0 0 25 0 1 0 543792085 23130112 4353 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 4353 231 231 0 5416 0
vsize: 22588
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5871 0 0 0 99435 583 0 0 25 0 1 0 543792085 23130112 4374 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 4374 231 231 0 5416 0
vsize: 22588
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5884 0 0 0 100430 589 0 0 25 0 1 0 543792085 23130112 4387 4294967295 134512640 135450300 3221224624 3221223360 134538139 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 4387 231 231 0 5416 0
vsize: 22588
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5900 0 0 0 101424 595 0 0 25 0 1 0 543792085 23367680 4403 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4403 231 231 0 5474 0
vsize: 22820
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5921 0 0 0 102418 601 0 0 25 0 1 0 543792085 23367680 4424 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4424 231 231 0 5474 0
vsize: 22820
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5937 0 0 0 103413 606 0 0 25 0 1 0 543792085 23367680 4440 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4440 231 231 0 5474 0
vsize: 22820
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5957 0 0 0 104409 611 0 0 25 0 1 0 543792085 23367680 4460 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4460 231 231 0 5474 0
vsize: 22820
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5976 0 0 0 105403 617 0 0 25 0 1 0 543792085 23367680 4479 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4479 231 231 0 5474 0
vsize: 22820
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 5993 0 0 0 106395 625 0 0 25 0 1 0 543792085 23367680 4496 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4496 231 231 0 5474 0
vsize: 22820
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6010 0 0 0 107390 630 0 0 25 0 1 0 543792085 23621632 4513 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5767 4513 231 231 0 5536 0
vsize: 23068
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6030 0 0 0 108385 635 0 0 25 0 1 0 543792085 23621632 4533 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5767 4533 231 231 0 5536 0
vsize: 23068
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6050 0 0 0 109379 642 0 0 25 0 1 0 543792085 23621632 4553 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5767 4553 231 231 0 5536 0
vsize: 23068
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6069 0 0 0 110374 647 0 0 25 0 1 0 543792085 23621632 4572 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5767 4572 231 231 0 5536 0
vsize: 23068
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6088 0 0 0 111369 652 0 0 25 0 1 0 543792085 23621632 4591 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5767 4591 231 231 0 5536 0
vsize: 23068
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6099 0 0 0 112363 658 0 0 25 0 1 0 543792085 23621632 4602 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5767 4602 231 231 0 5536 0
vsize: 23068
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6124 0 0 0 113358 664 0 0 25 0 1 0 543792085 23621632 4627 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5767 4627 231 231 0 5536 0
vsize: 23068
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6144 0 0 0 114351 671 0 0 25 0 1 0 543792085 23891968 4647 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4647 231 231 0 5602 0
vsize: 23332
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6162 0 0 0 115345 676 0 0 25 0 1 0 543792085 23891968 4665 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4665 231 231 0 5602 0
vsize: 23332
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6175 0 0 0 116339 683 0 0 25 0 1 0 543792085 23891968 4678 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4678 231 231 0 5602 0
vsize: 23332
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6192 0 0 0 117333 689 0 0 25 0 1 0 543792085 23891968 4695 4294967295 134512640 135450300 3221224624 3221223360 134538699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4695 231 231 0 5602 0
vsize: 23332
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6207 0 0 0 118328 694 0 0 25 0 1 0 543792085 23891968 4710 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4710 231 231 0 5602 0
vsize: 23332
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 32746
Raw data (stat): 32689 (PBS4) R 32688 28099 28098 0 -1 0 6230 0 0 0 119323 700 0 0 25 0 1 0 543792085 23891968 4733 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4733 231 231 0 5602 0
vsize: 23332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 32746
Raw data (stat): 32689 (PBS4) Z 32688 28099 28098 0 -1 1036 6230 0 0 0 119323 700 0 0 25 0 1 0 543792085 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.03
CPU time (s): 1200.25
CPU user time (s): 1193.24
CPU system time (s): 7.00993
CPU usage (%): 100.018
Max. virtual memory (Kb): 23332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####