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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUMa89f4ed95903fddf213992506514bcf0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of terms in the objective function 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04184
Number of variables906
Total number of constraints1944
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)1092
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18

Trace number 7959

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-17 17:31:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3336 boxname=wulflinc4 idbench=371 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 3336
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        850204 kB
Buffers:         37768 kB
Cached:         125228 kB
SwapCached:          0 kB
Active:          74948 kB
Inactive:        90920 kB
HighTotal:      131008 kB
HighFree:         1988 kB
LowTotal:       903652 kB
LowFree:        848216 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            12876 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:51:40 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 3336 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:98.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.84 0.94 0.91 2/54 2391
Raw data (stat): 2391 (runsolver) R 2390 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454110315 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.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 814 0 0 0 995 3 0 0 25 0 1 0 454110315 5775360 810 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1410 810 231 231 0 1179 0
vsize: 5640
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 1323 0 0 0 1995 4 0 0 25 0 1 0 454110315 10170368 1319 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2483 1319 231 231 0 2252 0
vsize: 9932
[startup+30.0007 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 1894 0 0 0 2993 5 0 0 25 0 1 0 454110315 10170368 1890 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2483 1890 231 231 0 2252 0
vsize: 9932
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 2413 0 0 0 3992 7 0 0 25 0 1 0 454110315 18759680 2409 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 2409 231 231 0 4349 0
vsize: 18320
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 2987 0 0 0 4990 9 0 0 25 0 1 0 454110315 18759680 2983 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 2983 231 231 0 4349 0
vsize: 18320
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 3548 0 0 0 5988 11 0 0 25 0 1 0 454110315 18759680 3544 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3544 231 231 0 4349 0
vsize: 18320
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 4119 0 0 0 6987 13 0 0 25 0 1 0 454110315 18759680 4115 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 4115 231 231 0 4349 0
vsize: 18320
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 4657 0 0 0 7984 15 0 0 25 0 1 0 454110315 35536896 4653 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8676 4653 231 231 0 8445 0
vsize: 34704
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5028 0 0 0 8984 16 0 0 25 0 1 0 454110315 35864576 4975 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8756 4975 231 231 0 8525 0
vsize: 35024
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5177 0 0 0 9982 17 0 0 25 0 1 0 454110315 36003840 5124 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8790 5124 231 231 0 8559 0
vsize: 35160
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5186 0 0 0 10983 17 0 0 25 0 1 0 454110315 36003840 5133 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8790 5133 231 231 0 8559 0
vsize: 35160
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5200 0 0 0 11983 18 0 0 25 0 1 0 454110315 36139008 5147 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 5147 231 231 0 8592 0
vsize: 35292
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5216 0 0 0 12982 18 0 0 25 0 1 0 454110315 36139008 5163 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 5163 231 231 0 8592 0
vsize: 35292
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5222 0 0 0 13982 18 0 0 25 0 1 0 454110315 36139008 5169 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 5169 231 231 0 8592 0
vsize: 35292
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5231 0 0 0 14982 19 0 0 25 0 1 0 454110315 36265984 5178 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5178 231 231 0 8623 0
vsize: 35416
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5238 0 0 0 15982 19 0 0 25 0 1 0 454110315 36265984 5185 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5185 231 231 0 8623 0
vsize: 35416
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5251 0 0 0 16981 20 0 0 25 0 1 0 454110315 36265984 5198 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5198 231 231 0 8623 0
vsize: 35416
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5266 0 0 0 17981 20 0 0 25 0 1 0 454110315 36265984 5213 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5213 231 231 0 8623 0
vsize: 35416
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5273 0 0 0 18981 21 0 0 25 0 1 0 454110315 36397056 5220 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 5220 231 231 0 8655 0
vsize: 35544
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5277 0 0 0 19981 21 0 0 25 0 1 0 454110315 36397056 5224 4294967295 134512640 135450300 3221224640 3221223456 134548014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 5224 231 231 0 8655 0
vsize: 35544
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5287 0 0 0 20981 21 0 0 25 0 1 0 454110315 36397056 5234 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 5234 231 231 0 8655 0
vsize: 35544
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5294 0 0 0 21981 21 0 0 25 0 1 0 454110315 36397056 5241 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 5241 231 231 0 8655 0
vsize: 35544
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5306 0 0 0 22981 21 0 0 25 0 1 0 454110315 36397056 5253 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 5253 231 231 0 8655 0
vsize: 35544
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5308 0 0 0 23981 22 0 0 25 0 1 0 454110315 36397056 5255 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 5255 231 231 0 8655 0
vsize: 35544
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5317 0 0 0 24981 22 0 0 25 0 1 0 454110315 36552704 5264 4294967295 134512640 135450300 3221224640 3221223376 134537873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8924 5264 231 231 0 8693 0
vsize: 35696
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5320 0 0 0 25981 22 0 0 25 0 1 0 454110315 36552704 5267 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8924 5267 231 231 0 8693 0
vsize: 35696
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5325 0 0 0 26981 23 0 0 25 0 1 0 454110315 36552704 5272 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8924 5272 231 231 0 8693 0
vsize: 35696
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5330 0 0 0 27981 23 0 0 25 0 1 0 454110315 36552704 5277 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8924 5277 231 231 0 8693 0
vsize: 35696
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5334 0 0 0 28980 23 0 0 25 0 1 0 454110315 36552704 5281 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8924 5281 231 231 0 8693 0
vsize: 35696
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5343 0 0 0 29980 24 0 0 25 0 1 0 454110315 36552704 5290 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8924 5290 231 231 0 8693 0
vsize: 35696
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5346 0 0 0 30980 24 0 0 25 0 1 0 454110315 36552704 5293 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8924 5293 231 231 0 8693 0
vsize: 35696
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5450 0 0 0 31980 24 0 0 25 0 1 0 454110315 36945920 5300 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 5300 231 231 0 8789 0
vsize: 36080
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5456 0 0 0 32980 25 0 0 25 0 1 0 454110315 36945920 5306 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 5306 231 231 0 8789 0
vsize: 36080
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5461 0 0 0 33979 25 0 0 25 0 1 0 454110315 36945920 5311 4294967295 134512640 135450300 3221224640 3221223360 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 5311 231 231 0 8789 0
vsize: 36080
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5471 0 0 0 34979 26 0 0 25 0 1 0 454110315 37081088 5321 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5321 231 231 0 8822 0
vsize: 36212
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5473 0 0 0 35979 26 0 0 25 0 1 0 454110315 37081088 5323 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5323 231 231 0 8822 0
vsize: 36212
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5483 0 0 0 36979 26 0 0 25 0 1 0 454110315 37081088 5333 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5333 231 231 0 8822 0
vsize: 36212
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5488 0 0 0 37979 26 0 0 25 0 1 0 454110315 37081088 5338 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5338 231 231 0 8822 0
vsize: 36212
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5491 0 0 0 38979 26 0 0 25 0 1 0 454110315 37081088 5341 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5341 231 231 0 8822 0
vsize: 36212
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5497 0 0 0 39979 26 0 0 25 0 1 0 454110315 37081088 5347 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5347 231 231 0 8822 0
vsize: 36212
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5506 0 0 0 40979 27 0 0 25 0 1 0 454110315 37081088 5356 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5356 231 231 0 8822 0
vsize: 36212
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5512 0 0 0 41979 27 0 0 25 0 1 0 454110315 37081088 5362 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5362 231 231 0 8822 0
vsize: 36212
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5517 0 0 0 42979 28 0 0 25 0 1 0 454110315 37081088 5367 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 5367 231 231 0 8822 0
vsize: 36212
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5521 0 0 0 43979 28 0 0 25 0 1 0 454110315 37236736 5371 4294967295 134512640 135450300 3221224640 3221223456 134547158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5371 231 231 0 8860 0
vsize: 36364
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5527 0 0 0 44979 28 0 0 25 0 1 0 454110315 37236736 5377 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5377 231 231 0 8860 0
vsize: 36364
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5533 0 0 0 45978 28 0 0 25 0 1 0 454110315 37236736 5383 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5383 231 231 0 8860 0
vsize: 36364
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5538 0 0 0 46979 28 0 0 25 0 1 0 454110315 37236736 5388 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5388 231 231 0 8860 0
vsize: 36364
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5540 0 0 0 47979 29 0 0 25 0 1 0 454110315 37236736 5390 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5390 231 231 0 8860 0
vsize: 36364
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5551 0 0 0 48978 30 0 0 25 0 1 0 454110315 37236736 5401 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5401 231 231 0 8860 0
vsize: 36364
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5563 0 0 0 49978 30 0 0 25 0 1 0 454110315 37236736 5413 4294967295 134512640 135450300 3221224640 3221223024 134602491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5413 231 231 0 8860 0
vsize: 36364
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5573 0 0 0 50978 30 0 0 25 0 1 0 454110315 37371904 5423 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5423 231 231 0 8893 0
vsize: 36496
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5577 0 0 0 51978 30 0 0 25 0 1 0 454110315 37371904 5427 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5427 231 231 0 8893 0
vsize: 36496
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5586 0 0 0 52977 31 0 0 25 0 1 0 454110315 37371904 5436 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5436 231 231 0 8893 0
vsize: 36496
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5591 0 0 0 53977 31 0 0 25 0 1 0 454110315 37371904 5441 4294967295 134512640 135450300 3221224640 3221223456 134547906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5441 231 231 0 8893 0
vsize: 36496
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5595 0 0 0 54977 31 0 0 25 0 1 0 454110315 37371904 5445 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5445 231 231 0 8893 0
vsize: 36496
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5596 0 0 0 55977 31 0 0 25 0 1 0 454110315 37371904 5446 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5446 231 231 0 8893 0
vsize: 36496
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5603 0 0 0 56977 32 0 0 25 0 1 0 454110315 37371904 5453 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5453 231 231 0 8893 0
vsize: 36496
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5612 0 0 0 57977 32 0 0 25 0 1 0 454110315 37371904 5462 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5462 231 231 0 8893 0
vsize: 36496
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5615 0 0 0 58977 33 0 0 25 0 1 0 454110315 37371904 5465 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5465 231 231 0 8893 0
vsize: 36496
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5617 0 0 0 59977 33 0 0 25 0 1 0 454110315 37371904 5467 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5467 231 231 0 8893 0
vsize: 36496
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5623 0 0 0 60977 33 0 0 25 0 1 0 454110315 37371904 5473 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5473 231 231 0 8893 0
vsize: 36496
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5625 0 0 0 61977 33 0 0 25 0 1 0 454110315 37371904 5475 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 5475 231 231 0 8893 0
vsize: 36496
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5631 0 0 0 62977 33 0 0 25 0 1 0 454110315 37523456 5481 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5481 231 231 0 8930 0
vsize: 36644
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5635 0 0 0 63977 33 0 0 25 0 1 0 454110315 37523456 5485 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5485 231 231 0 8930 0
vsize: 36644
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5642 0 0 0 64977 34 0 0 25 0 1 0 454110315 37523456 5492 4294967295 134512640 135450300 3221224640 3221223396 134523561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5492 231 231 0 8930 0
vsize: 36644
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5647 0 0 0 65977 34 0 0 25 0 1 0 454110315 37523456 5497 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5497 231 231 0 8930 0
vsize: 36644
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5660 0 0 0 66977 34 0 0 25 0 1 0 454110315 37523456 5510 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5510 231 231 0 8930 0
vsize: 36644
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5663 0 0 0 67977 34 0 0 25 0 1 0 454110315 37523456 5513 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5513 231 231 0 8930 0
vsize: 36644
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5668 0 0 0 68977 34 0 0 25 0 1 0 454110315 37523456 5518 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5518 231 231 0 8930 0
vsize: 36644
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5673 0 0 0 69977 34 0 0 25 0 1 0 454110315 37523456 5523 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5523 231 231 0 8930 0
vsize: 36644
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5679 0 0 0 70977 35 0 0 25 0 1 0 454110315 37523456 5529 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5529 231 231 0 8930 0
vsize: 36644
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5681 0 0 0 71977 35 0 0 25 0 1 0 454110315 37523456 5531 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5531 231 231 0 8930 0
vsize: 36644
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5685 0 0 0 72977 35 0 0 25 0 1 0 454110315 37523456 5535 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5535 231 231 0 8930 0
vsize: 36644
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5690 0 0 0 73977 35 0 0 25 0 1 0 454110315 37523456 5540 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 5540 231 231 0 8930 0
vsize: 36644
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5699 0 0 0 74977 36 0 0 25 0 1 0 454110315 37683200 5549 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9200 5549 231 231 0 8969 0
vsize: 36800
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5893 0 0 0 75977 36 0 0 25 0 1 0 454110315 38469632 5550 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5550 231 231 0 9161 0
vsize: 37568
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5898 0 0 0 76977 36 0 0 25 0 1 0 454110315 38469632 5555 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5555 231 231 0 9161 0
vsize: 37568
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5901 0 0 0 77977 36 0 0 25 0 1 0 454110315 38469632 5558 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5558 231 231 0 9161 0
vsize: 37568
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5909 0 0 0 78976 37 0 0 25 0 1 0 454110315 38469632 5566 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5566 231 231 0 9161 0
vsize: 37568
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5911 0 0 0 79976 37 0 0 25 0 1 0 454110315 38469632 5568 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5568 231 231 0 9161 0
vsize: 37568
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5917 0 0 0 80976 38 0 0 25 0 1 0 454110315 38469632 5574 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5574 231 231 0 9161 0
vsize: 37568
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5920 0 0 0 81976 38 0 0 25 0 1 0 454110315 38469632 5577 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5577 231 231 0 9161 0
vsize: 37568
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5927 0 0 0 82975 39 0 0 25 0 1 0 454110315 38469632 5584 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5584 231 231 0 9161 0
vsize: 37568
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5930 0 0 0 83975 39 0 0 25 0 1 0 454110315 38469632 5587 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5587 231 231 0 9161 0
vsize: 37568
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5932 0 0 0 84975 39 0 0 25 0 1 0 454110315 38469632 5589 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5589 231 231 0 9161 0
vsize: 37568
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5939 0 0 0 85975 39 0 0 25 0 1 0 454110315 38469632 5596 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5596 231 231 0 9161 0
vsize: 37568
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5945 0 0 0 86975 40 0 0 25 0 1 0 454110315 38469632 5602 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5602 231 231 0 9161 0
vsize: 37568
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5948 0 0 0 87975 40 0 0 25 0 1 0 454110315 38469632 5605 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5605 231 231 0 9161 0
vsize: 37568
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5949 0 0 0 88975 40 0 0 25 0 1 0 454110315 38469632 5606 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 5606 231 231 0 9161 0
vsize: 37568
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5961 0 0 0 89975 41 0 0 25 0 1 0 454110315 38645760 5618 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5618 231 231 0 9204 0
vsize: 37740
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5970 0 0 0 90974 42 0 0 25 0 1 0 454110315 38645760 5627 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5627 231 231 0 9204 0
vsize: 37740
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5972 0 0 0 91974 42 0 0 25 0 1 0 454110315 38645760 5629 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5629 231 231 0 9204 0
vsize: 37740
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5973 0 0 0 92974 42 0 0 25 0 1 0 454110315 38645760 5630 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5630 231 231 0 9204 0
vsize: 37740
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5978 0 0 0 93974 42 0 0 25 0 1 0 454110315 38645760 5635 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5635 231 231 0 9204 0
vsize: 37740
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5982 0 0 0 94974 43 0 0 25 0 1 0 454110315 38645760 5639 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5639 231 231 0 9204 0
vsize: 37740
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5990 0 0 0 95973 43 0 0 25 0 1 0 454110315 38645760 5647 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5647 231 231 0 9204 0
vsize: 37740
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5993 0 0 0 96973 44 0 0 25 0 1 0 454110315 38645760 5650 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5650 231 231 0 9204 0
vsize: 37740
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5994 0 0 0 97973 44 0 0 25 0 1 0 454110315 38645760 5651 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5651 231 231 0 9204 0
vsize: 37740
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 5996 0 0 0 98973 44 0 0 25 0 1 0 454110315 38645760 5653 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5653 231 231 0 9204 0
vsize: 37740
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6004 0 0 0 99973 45 0 0 25 0 1 0 454110315 38645760 5661 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5661 231 231 0 9204 0
vsize: 37740
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6005 0 0 0 100973 45 0 0 25 0 1 0 454110315 38645760 5662 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5662 231 231 0 9204 0
vsize: 37740
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6008 0 0 0 101973 45 0 0 25 0 1 0 454110315 38645760 5665 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5665 231 231 0 9204 0
vsize: 37740
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6016 0 0 0 102972 46 0 0 25 0 1 0 454110315 38645760 5673 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5673 231 231 0 9204 0
vsize: 37740
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6023 0 0 0 103972 46 0 0 25 0 1 0 454110315 38645760 5680 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5680 231 231 0 9204 0
vsize: 37740
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6024 0 0 0 104973 46 0 0 25 0 1 0 454110315 38645760 5681 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5681 231 231 0 9204 0
vsize: 37740
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6027 0 0 0 105973 46 0 0 25 0 1 0 454110315 38645760 5684 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 5684 231 231 0 9204 0
vsize: 37740
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6039 0 0 0 106973 46 0 0 25 0 1 0 454110315 38838272 5696 4294967295 134512640 135450300 3221224640 3221223168 134544104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5696 231 231 0 9251 0
vsize: 37928
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6049 0 0 0 107972 47 0 0 25 0 1 0 454110315 38838272 5706 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5706 231 231 0 9251 0
vsize: 37928
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6052 0 0 0 108972 47 0 0 25 0 1 0 454110315 38838272 5709 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5709 231 231 0 9251 0
vsize: 37928
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6060 0 0 0 109972 48 0 0 25 0 1 0 454110315 38838272 5717 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5717 231 231 0 9251 0
vsize: 37928
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6069 0 0 0 110972 48 0 0 25 0 1 0 454110315 38838272 5726 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5726 231 231 0 9251 0
vsize: 37928
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6071 0 0 0 111972 48 0 0 25 0 1 0 454110315 38838272 5728 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5728 231 231 0 9251 0
vsize: 37928
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6081 0 0 0 112971 49 0 0 25 0 1 0 454110315 38838272 5738 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5738 231 231 0 9251 0
vsize: 37928
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6083 0 0 0 113970 50 0 0 25 0 1 0 454110315 38838272 5740 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5740 231 231 0 9251 0
vsize: 37928
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6090 0 0 0 114970 50 0 0 25 0 1 0 454110315 38838272 5747 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9482 5747 231 231 0 9251 0
vsize: 37928
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6098 0 0 0 115970 51 0 0 25 0 1 0 454110315 38965248 5755 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9513 5755 231 231 0 9282 0
vsize: 38052
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6100 0 0 0 116970 51 0 0 25 0 1 0 454110315 38965248 5757 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9513 5757 231 231 0 9282 0
vsize: 38052
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6109 0 0 0 117970 51 0 0 25 0 1 0 454110315 38965248 5766 4294967295 134512640 135450300 3221224640 3221223456 134547873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9513 5766 231 231 0 9282 0
vsize: 38052
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6111 0 0 0 118970 51 0 0 25 0 1 0 454110315 38965248 5768 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9513 5768 231 231 0 9282 0
vsize: 38052
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2391
Raw data (stat): 2391 (PBS4) R 2390 5897 5896 0 -1 0 6115 0 0 0 119970 51 0 0 25 0 1 0 454110315 38965248 5772 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9513 5772 231 231 0 9282 0
vsize: 38052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2391
Raw data (stat): 2391 (PBS4) Z 2390 5897 5896 0 -1 1036 6115 0 0 0 119970 52 0 0 25 0 1 0 454110315 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.05
CPU time (s): 1200.23
CPU user time (s): 1199.7
CPU system time (s): 0.529919
CPU usage (%): 100.015
Max. virtual memory (Kb): 38052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####