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/routing/normalized-s4-4-3-4pb.opb
MD5SUM	c1a86b94297136b91215b2ae8a8f5643
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	696
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	696
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	696
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	696
Total number of constraints	2096
Number of constraints which are clauses	2072
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	29
Trace number 7843

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-17 16:38:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2157 boxname=wulflinc13 idbench=240 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  c1a86b94297136b91215b2ae8a8f5643  /oldhome/oroussel/tmp/wulflinc13/normalized-s4-4-3-4pb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-s4-4-3-4pb.opb
IDLAUNCH: 2157
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        861284 kB
Buffers:         36576 kB
Cached:         115624 kB
SwapCached:        392 kB
Active:          65636 kB
Inactive:        89820 kB
HighTotal:      131008 kB
HighFree:        11424 kB
LowTotal:       903652 kB
LowFree:        849860 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12276 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:58:34 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 2157 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc13/normalized-s4-4-3-4pb.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.91 0.95 0.90 2/54 23724
Raw data (stat): 23724 (runsolver) R 23723 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453799701 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.99979 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 850 0 0 0 988 10 0 0 25 0 1 0 453799701 4448256 797 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1086 797 231 231 0 855 0
vsize: 4344
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 1416 0 0 0 1983 16 0 0 25 0 1 0 453799701 7471104 1266 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1824 1266 231 231 0 1593 0
vsize: 7296
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 1736 0 0 0 2981 18 0 0 25 0 1 0 453799701 7741440 1586 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 1586 231 231 0 1659 0
vsize: 7560
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 2190 0 0 0 3977 22 0 0 25 0 1 0 453799701 13000704 1847 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3174 1847 231 231 0 2943 0
vsize: 12696
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 2390 0 0 0 4976 24 0 0 25 0 1 0 453799701 13275136 2047 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2047 231 231 0 3010 0
vsize: 12964
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 2492 0 0 0 5974 25 0 0 25 0 1 0 453799701 13430784 2149 4294967295 134512640 135450300 3221224640 3221223376 134538769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2149 231 231 0 3048 0
vsize: 13116
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 2634 0 0 0 6973 27 0 0 25 0 1 0 453799701 13430784 2291 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2291 231 231 0 3048 0
vsize: 13116
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 2746 0 0 0 7972 28 0 0 25 0 1 0 453799701 13709312 2403 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2403 231 231 0 3116 0
vsize: 13388
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 3000 0 0 0 8971 29 0 0 25 0 1 0 453799701 13848576 2657 4294967295 134512640 135450300 3221224640 3221223168 134543649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3381 2657 231 231 0 3150 0
vsize: 13524
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 3132 0 0 0 9970 30 0 0 25 0 1 0 453799701 14012416 2789 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 2789 231 231 0 3190 0
vsize: 13684
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 3319 0 0 0 10969 32 0 0 25 0 1 0 453799701 14147584 2976 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2976 231 231 0 3223 0
vsize: 13816
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 3513 0 0 0 11968 33 0 0 25 0 1 0 453799701 14307328 3170 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3493 3170 231 231 0 3262 0
vsize: 13972
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4081 0 0 0 12967 35 0 0 25 0 1 0 453799701 24596480 3353 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 3353 231 231 0 5774 0
vsize: 24020
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4232 0 0 0 13966 36 0 0 25 0 1 0 453799701 24743936 3504 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3504 231 231 0 5810 0
vsize: 24164
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4306 0 0 0 14965 37 0 0 25 0 1 0 453799701 24743936 3578 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3578 231 231 0 5810 0
vsize: 24164
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4448 0 0 0 15964 38 0 0 25 0 1 0 453799701 25063424 3720 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3720 231 231 0 5888 0
vsize: 24476
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4631 0 0 0 16963 39 0 0 25 0 1 0 453799701 25063424 3903 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3903 231 231 0 5888 0
vsize: 24476
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4681 0 0 0 17962 40 0 0 25 0 1 0 453799701 25202688 3953 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6153 3953 231 231 0 5922 0
vsize: 24612
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4734 0 0 0 18961 41 0 0 25 0 1 0 453799701 25341952 4006 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6187 4006 231 231 0 5956 0
vsize: 24748
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 4903 0 0 0 19960 42 0 0 25 0 1 0 453799701 25505792 4175 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6227 4175 231 231 0 5996 0
vsize: 24908
[startup+210.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5097 0 0 0 20959 44 0 0 25 0 1 0 453799701 25640960 4369 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6260 4369 231 231 0 6029 0
vsize: 25040
[startup+220.007 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5157 0 0 0 21958 45 0 0 25 0 1 0 453799701 25960448 4429 4294967295 134512640 135450300 3221224640 3221223552 134597392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6338 4429 231 231 0 6107 0
vsize: 25352
[startup+230.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5172 0 0 0 22958 45 0 0 25 0 1 0 453799701 25960448 4444 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6338 4444 231 231 0 6107 0
vsize: 25352
[startup+240.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5194 0 0 0 23957 46 0 0 25 0 1 0 453799701 25960448 4466 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6338 4466 231 231 0 6107 0
vsize: 25352
[startup+250.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5246 0 0 0 24956 47 0 0 25 0 1 0 453799701 26144768 4518 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6383 4518 231 231 0 6152 0
vsize: 25532
[startup+260.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5398 0 0 0 25956 48 0 0 25 0 1 0 453799701 26144768 4670 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6383 4670 231 231 0 6152 0
vsize: 25532
[startup+270.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5454 0 0 0 26955 49 0 0 25 0 1 0 453799701 26488832 4726 4294967295 134512640 135450300 3221224640 3221223376 134538485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 4726 231 231 0 6236 0
vsize: 25868
[startup+280.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5519 0 0 0 27954 50 0 0 25 0 1 0 453799701 26488832 4791 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 4791 231 231 0 6236 0
vsize: 25868
[startup+290.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5632 0 0 0 28953 51 0 0 25 0 1 0 453799701 26488832 4904 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 4904 231 231 0 6236 0
vsize: 25868
[startup+300.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5711 0 0 0 29953 52 0 0 25 0 1 0 453799701 26652672 4983 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6507 4983 231 231 0 6276 0
vsize: 26028
[startup+310.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5870 0 0 0 30952 53 0 0 25 0 1 0 453799701 26845184 5142 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6554 5142 231 231 0 6323 0
vsize: 26216
[startup+320.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5909 0 0 0 31952 54 0 0 25 0 1 0 453799701 26845184 5181 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6554 5181 231 231 0 6323 0
vsize: 26216
[startup+330.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5958 0 0 0 32951 55 0 0 25 0 1 0 453799701 27156480 5230 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6630 5230 231 231 0 6399 0
vsize: 26520
[startup+340.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5993 0 0 0 33950 56 0 0 25 0 1 0 453799701 27156480 5265 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6630 5265 231 231 0 6399 0
vsize: 26520
[startup+350.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 5997 0 0 0 34950 56 0 0 25 0 1 0 453799701 27156480 5269 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6630 5269 231 231 0 6399 0
vsize: 26520
[startup+360.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6023 0 0 0 35949 57 0 0 25 0 1 0 453799701 27295744 5295 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6664 5295 231 231 0 6433 0
vsize: 26656
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6046 0 0 0 36948 58 0 0 25 0 1 0 453799701 27295744 5318 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6664 5318 231 231 0 6433 0
vsize: 26656
[startup+380.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6069 0 0 0 37947 59 0 0 25 0 1 0 453799701 27455488 5341 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5341 231 231 0 6472 0
vsize: 26812
[startup+390.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6081 0 0 0 38947 60 0 0 25 0 1 0 453799701 27455488 5353 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5353 231 231 0 6472 0
vsize: 26812
[startup+400.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6113 0 0 0 39957 60 0 0 25 0 1 0 453799701 27455488 5385 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5385 231 231 0 6472 0
vsize: 26812
[startup+410.118 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6319 0 0 0 40956 62 0 0 25 0 1 0 453799701 27455488 5591 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5591 231 231 0 6472 0
vsize: 26812
[startup+420.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6522 0 0 0 41954 64 0 0 25 0 1 0 453799701 27602944 5794 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6739 5794 231 231 0 6508 0
vsize: 26956
[startup+430.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6644 0 0 0 42953 65 0 0 25 0 1 0 453799701 27602944 5916 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6739 5916 231 231 0 6508 0
vsize: 26956
[startup+440.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6733 0 0 0 43953 65 0 0 25 0 1 0 453799701 27602944 6005 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6739 6005 231 231 0 6508 0
vsize: 26956
[startup+450.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 6836 0 0 0 44952 67 0 0 25 0 1 0 453799701 27787264 6108 4294967295 134512640 135450300 3221224640 3221223456 134537242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6784 6108 231 231 0 6553 0
vsize: 27136
[startup+460.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7624 0 0 0 45950 69 0 0 25 0 1 0 453799701 30932992 6127 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7552 6127 231 231 0 7321 0
vsize: 30208
[startup+470.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7648 0 0 0 46949 70 0 0 25 0 1 0 453799701 31080448 6151 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7588 6151 231 231 0 7357 0
vsize: 30352
[startup+480.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7671 0 0 0 47949 70 0 0 25 0 1 0 453799701 31080448 6174 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7588 6174 231 231 0 7357 0
vsize: 30352
[startup+490.119 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7692 0 0 0 48949 70 0 0 25 0 1 0 453799701 31080448 6195 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7588 6195 231 231 0 7357 0
vsize: 30352
[startup+500.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7715 0 0 0 49949 71 0 0 25 0 1 0 453799701 31080448 6218 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7588 6218 231 231 0 7357 0
vsize: 30352
[startup+510.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7748 0 0 0 50949 71 0 0 25 0 1 0 453799701 31354880 6251 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7655 6251 231 231 0 7424 0
vsize: 30620
[startup+520.121 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7764 0 0 0 51948 72 0 0 25 0 1 0 453799701 31354880 6267 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7655 6267 231 231 0 7424 0
vsize: 30620
[startup+530.121 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 7850 0 0 0 52947 73 0 0 25 0 1 0 453799701 31535104 6353 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6353 231 231 0 7468 0
vsize: 30796
[startup+540.121 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8013 0 0 0 53946 74 0 0 25 0 1 0 453799701 31535104 6516 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6516 231 231 0 7468 0
vsize: 30796
[startup+550.122 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8159 0 0 0 54946 75 0 0 25 0 1 0 453799701 31535104 6662 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6662 231 231 0 7468 0
vsize: 30796
[startup+560.121 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8242 0 0 0 55945 76 0 0 25 0 1 0 453799701 31535104 6745 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6745 231 231 0 7468 0
vsize: 30796
[startup+570.122 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8290 0 0 0 56944 77 0 0 25 0 1 0 453799701 31715328 6793 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7743 6793 231 231 0 7512 0
vsize: 30972
[startup+580.122 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8492 0 0 0 57943 78 0 0 25 0 1 0 453799701 48689152 6995 4294967295 134512640 135450300 3221224640 3221223024 134843732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11887 6995 231 231 0 11656 0
vsize: 47548
[startup+590.121 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8695 0 0 0 58942 79 0 0 25 0 1 0 453799701 48824320 7198 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11920 7198 231 231 0 11689 0
vsize: 47680
[startup+600.122 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8769 0 0 0 59942 80 0 0 25 0 1 0 453799701 48824320 7272 4294967295 134512640 135450300 3221224640 3221223376 134538693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11920 7272 231 231 0 11689 0
vsize: 47680
[startup+610.122 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8782 0 0 0 60941 81 0 0 25 0 1 0 453799701 48824320 7285 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11920 7285 231 231 0 11689 0
vsize: 47680
[startup+620.122 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 8928 0 0 0 61941 81 0 0 25 0 1 0 453799701 48967680 7431 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11955 7431 231 231 0 11724 0
vsize: 47820
[startup+630.123 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9200 0 0 0 62939 84 0 0 25 0 1 0 453799701 49299456 7703 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12036 7703 231 231 0 11805 0
vsize: 48144
[startup+640.123 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9306 0 0 0 63938 84 0 0 25 0 1 0 453799701 49455104 7809 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7809 231 231 0 11843 0
vsize: 48296
[startup+650.124 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9319 0 0 0 64938 85 0 0 25 0 1 0 453799701 49455104 7822 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7822 231 231 0 11843 0
vsize: 48296
[startup+660.124 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9332 0 0 0 65938 85 0 0 25 0 1 0 453799701 49455104 7835 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7835 231 231 0 11843 0
vsize: 48296
[startup+670.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9339 0 0 0 66938 86 0 0 25 0 1 0 453799701 49455104 7842 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7842 231 231 0 11843 0
vsize: 48296
[startup+680.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9347 0 0 0 67937 86 0 0 25 0 1 0 453799701 49455104 7850 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7850 231 231 0 11843 0
vsize: 48296
[startup+690.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9359 0 0 0 68937 86 0 0 25 0 1 0 453799701 49455104 7862 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7862 231 231 0 11843 0
vsize: 48296
[startup+700.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9370 0 0 0 69937 87 0 0 25 0 1 0 453799701 49455104 7873 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7873 231 231 0 11843 0
vsize: 48296
[startup+710.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9389 0 0 0 70937 87 0 0 25 0 1 0 453799701 49455104 7892 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 7892 231 231 0 11843 0
vsize: 48296
[startup+720.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9447 0 0 0 71936 88 0 0 25 0 1 0 453799701 49618944 7950 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12114 7950 231 231 0 11883 0
vsize: 48456
[startup+730.127 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9492 0 0 0 72936 88 0 0 25 0 1 0 453799701 49618944 7995 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12114 7995 231 231 0 11883 0
vsize: 48456
[startup+740.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9643 0 0 0 73936 89 0 0 25 0 1 0 453799701 49917952 8146 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12187 8146 231 231 0 11956 0
vsize: 48748
[startup+750.127 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 9834 0 0 0 74936 89 0 0 25 0 1 0 453799701 50200576 8337 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12256 8337 231 231 0 12025 0
vsize: 49024
[startup+760.127 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10013 0 0 0 75935 90 0 0 25 0 1 0 453799701 50200576 8516 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12256 8516 231 231 0 12025 0
vsize: 49024
[startup+770.127 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10051 0 0 0 76934 91 0 0 25 0 1 0 453799701 50200576 8554 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12256 8554 231 231 0 12025 0
vsize: 49024
[startup+780.128 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10096 0 0 0 77934 91 0 0 25 0 1 0 453799701 50491392 8599 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12327 8599 231 231 0 12096 0
vsize: 49308
[startup+790.128 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10139 0 0 0 78934 92 0 0 25 0 1 0 453799701 50688000 8642 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 8642 231 231 0 12144 0
vsize: 49500
[startup+800.128 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10149 0 0 0 79934 92 0 0 25 0 1 0 453799701 50688000 8652 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 8652 231 231 0 12144 0
vsize: 49500
[startup+810.128 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10160 0 0 0 80933 93 0 0 25 0 1 0 453799701 50688000 8663 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 8663 231 231 0 12144 0
vsize: 49500
[startup+820.129 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10172 0 0 0 81933 93 0 0 25 0 1 0 453799701 50688000 8675 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 8675 231 231 0 12144 0
vsize: 49500
[startup+830.129 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10290 0 0 0 82933 93 0 0 25 0 1 0 453799701 50688000 8793 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 8793 231 231 0 12144 0
vsize: 49500
[startup+840.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10392 0 0 0 83933 94 0 0 25 0 1 0 453799701 50688000 8895 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 8895 231 231 0 12144 0
vsize: 49500
[startup+850.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10541 0 0 0 84932 95 0 0 25 0 1 0 453799701 50823168 9044 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12408 9044 231 231 0 12177 0
vsize: 49632
[startup+860.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10686 0 0 0 85931 96 0 0 25 0 1 0 453799701 50987008 9189 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12448 9189 231 231 0 12217 0
vsize: 49792
[startup+870.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10810 0 0 0 86931 96 0 0 25 0 1 0 453799701 50987008 9313 4294967295 134512640 135450300 3221224640 3221223376 134538487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12448 9313 231 231 0 12217 0
vsize: 49792
[startup+880.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10905 0 0 0 87931 97 0 0 25 0 1 0 453799701 50987008 9408 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12448 9408 231 231 0 12217 0
vsize: 49792
[startup+890.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 10979 0 0 0 88930 98 0 0 25 0 1 0 453799701 51150848 9482 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12488 9482 231 231 0 12257 0
vsize: 49952
[startup+900.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11146 0 0 0 89929 99 0 0 25 0 1 0 453799701 51462144 9649 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12564 9649 231 231 0 12333 0
vsize: 50256
[startup+910.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11268 0 0 0 90929 99 0 0 25 0 1 0 453799701 51462144 9771 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12564 9771 231 231 0 12333 0
vsize: 50256
[startup+920.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11282 0 0 0 91928 100 0 0 25 0 1 0 453799701 51462144 9785 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12564 9785 231 231 0 12333 0
vsize: 50256
[startup+930.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11291 0 0 0 92928 101 0 0 25 0 1 0 453799701 51462144 9794 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12564 9794 231 231 0 12333 0
vsize: 50256
[startup+940.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11323 0 0 0 93928 101 0 0 25 0 1 0 453799701 51597312 9826 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12597 9826 231 231 0 12366 0
vsize: 50388
[startup+950.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11332 0 0 0 94928 101 0 0 25 0 1 0 453799701 51597312 9835 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12597 9835 231 231 0 12366 0
vsize: 50388
[startup+960.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11344 0 0 0 95927 102 0 0 25 0 1 0 453799701 51597312 9847 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12597 9847 231 231 0 12366 0
vsize: 50388
[startup+970.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11355 0 0 0 96927 103 0 0 25 0 1 0 453799701 51597312 9858 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12597 9858 231 231 0 12366 0
vsize: 50388
[startup+980.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11368 0 0 0 97926 103 0 0 25 0 1 0 453799701 51597312 9871 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12597 9871 231 231 0 12366 0
vsize: 50388
[startup+990.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11425 0 0 0 98926 104 0 0 25 0 1 0 453799701 51933184 9928 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 9928 231 231 0 12448 0
vsize: 50716
[startup+1000.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11453 0 0 0 99925 105 0 0 25 0 1 0 453799701 51933184 9956 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 9956 231 231 0 12448 0
vsize: 50716
[startup+1010.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11470 0 0 0 100925 105 0 0 25 0 1 0 453799701 51933184 9973 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 9973 231 231 0 12448 0
vsize: 50716
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11480 0 0 0 101925 105 0 0 25 0 1 0 453799701 51933184 9983 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 9983 231 231 0 12448 0
vsize: 50716
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11487 0 0 0 102925 106 0 0 25 0 1 0 453799701 51933184 9990 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 9990 231 231 0 12448 0
vsize: 50716
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11503 0 0 0 103924 106 0 0 25 0 1 0 453799701 51933184 10006 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 10006 231 231 0 12448 0
vsize: 50716
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11513 0 0 0 104924 107 0 0 25 0 1 0 453799701 51933184 10016 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 10016 231 231 0 12448 0
vsize: 50716
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11591 0 0 0 105923 108 0 0 25 0 1 0 453799701 52113408 10094 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12723 10094 231 231 0 12492 0
vsize: 50892
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11602 0 0 0 106923 108 0 0 25 0 1 0 453799701 52113408 10105 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12723 10105 231 231 0 12492 0
vsize: 50892
[startup+1080.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11675 0 0 0 107923 108 0 0 25 0 1 0 453799701 52277248 10178 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12763 10178 231 231 0 12532 0
vsize: 51052
[startup+1090.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11693 0 0 0 108923 108 0 0 25 0 1 0 453799701 52469760 10196 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12810 10196 231 231 0 12579 0
vsize: 51240
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11716 0 0 0 109923 109 0 0 25 0 1 0 453799701 52469760 10219 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12810 10219 231 231 0 12579 0
vsize: 51240
[startup+1110.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11722 0 0 0 110923 109 0 0 25 0 1 0 453799701 52469760 10225 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12810 10225 231 231 0 12579 0
vsize: 51240
[startup+1120.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11741 0 0 0 111922 110 0 0 25 0 1 0 453799701 52469760 10244 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12810 10244 231 231 0 12579 0
vsize: 51240
[startup+1130.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11762 0 0 0 112922 110 0 0 25 0 1 0 453799701 52469760 10265 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12810 10265 231 231 0 12579 0
vsize: 51240
[startup+1140.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11792 0 0 0 113922 110 0 0 25 0 1 0 453799701 52469760 10295 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12810 10295 231 231 0 12579 0
vsize: 51240
[startup+1150.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11805 0 0 0 114922 111 0 0 25 0 1 0 453799701 52633600 10308 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12850 10308 231 231 0 12619 0
vsize: 51400
[startup+1160.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11817 0 0 0 115922 111 0 0 25 0 1 0 453799701 52633600 10320 4294967295 134512640 135450300 3221224640 3221223472 134549307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12850 10320 231 231 0 12619 0
vsize: 51400
[startup+1170.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11843 0 0 0 116921 112 0 0 25 0 1 0 453799701 52838400 10346 4294967295 134512640 135450300 3221224640 3221223376 134538528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12900 10346 231 231 0 12669 0
vsize: 51600
[startup+1180.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11874 0 0 0 117920 113 0 0 25 0 1 0 453799701 52838400 10377 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12900 10377 231 231 0 12669 0
vsize: 51600
[startup+1190.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11888 0 0 0 118920 113 0 0 25 0 1 0 453799701 53002240 10391 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12940 10391 231 231 0 12709 0
vsize: 51760
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23724
Raw data (stat): 23724 (PBS4) R 23723 30701 30700 0 -1 0 11899 0 0 0 119920 114 0 0 25 0 1 0 453799701 53002240 10402 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12940 10402 231 231 0 12709 0
vsize: 51760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23724
Raw data (stat): 23724 (PBS4) Z 23723 30701 30700 0 -1 1036 11899 0 0 0 119920 116 0 0 25 0 1 0 453799701 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.15
CPU time (s): 1200.37
CPU user time (s): 1199.21
CPU system time (s): 1.16082
CPU usage (%): 100.018
Max. virtual memory (Kb): 51760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####