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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
MD5SUM	5f5bedf3690a537deb8cc97cc5d565ae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	94
Optimality of the best value was proved	NO
Number of terms in the objective function	4624
Biggest coefficient in the objective function	2577
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	13335
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	2577
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	13335
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	4624
Total number of constraints	9886
Number of constraints which are clauses	4404
Number of constraints which are cardinality constraints (but not clauses)	5482
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	22
Trace number 7961

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-17 17:32:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3363 boxname=wulflinc27 idbench=374 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  5f5bedf3690a537deb8cc97cc5d565ae  /oldhome/oroussel/tmp/wulflinc27/normalized-30:30:4.5:0.95:98.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-30:30:4.5:0.95:98.opb
IDLAUNCH: 3363
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        790328 kB
Buffers:         36648 kB
Cached:         169292 kB
SwapCached:       3160 kB
Active:         100628 kB
Inactive:       111356 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        790076 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            26792 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:52:47 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 3363 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-30:30: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.85 0.95 0.90 2/54 10974
Raw data (stat): 10974 (runsolver) R 10973 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512339967 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+10.0012 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 1037 0 0 0 993 5 0 0 25 0 1 0 512339967 5189632 1033 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1267 1033 231 231 0 1036 0
vsize: 5068
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 2142 0 0 0 1990 8 0 0 25 0 1 0 512339967 11481088 2138 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2803 2138 231 231 0 2572 0
vsize: 11212
[startup+30.0025 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 3229 0 0 0 2989 10 0 0 25 0 1 0 512339967 19992576 3225 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 3225 231 231 0 4650 0
vsize: 19524
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 4274 0 0 0 3986 13 0 0 25 0 1 0 512339967 19992576 4270 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 4270 231 231 0 4650 0
vsize: 19524
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 5206 0 0 0 4985 14 0 0 25 0 1 0 512339967 36769792 5202 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8977 5202 231 231 0 8746 0
vsize: 35908
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 6099 0 0 0 5983 17 0 0 25 0 1 0 512339967 36769792 6095 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8977 6095 231 231 0 8746 0
vsize: 35908
[startup+70.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 7167 0 0 0 6980 20 0 0 25 0 1 0 512339967 36769792 7163 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8977 7163 231 231 0 8746 0
vsize: 35908
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 8437 0 0 0 7977 23 0 0 25 0 1 0 512339967 36769792 8433 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8977 8433 231 231 0 8746 0
vsize: 35908
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 9481 0 0 0 8974 26 0 0 25 0 1 0 512339967 70324224 9477 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17169 9477 231 231 0 16938 0
vsize: 68676
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 10485 0 0 0 9971 29 0 0 25 0 1 0 512339967 70324224 10481 4294967295 134512640 135450300 3221224640 3221222992 134533328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17169 10481 231 231 0 16938 0
vsize: 68676
[startup+110.004 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 11408 0 0 0 10969 32 0 0 25 0 1 0 512339967 70324224 11404 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17169 11404 231 231 0 16938 0
vsize: 68676
[startup+120.005 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 12305 0 0 0 11967 33 0 0 25 0 1 0 512339967 70434816 12301 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17196 12301 231 231 0 16965 0
vsize: 68784
[startup+130.005 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 13429 0 0 0 12964 36 0 0 25 0 1 0 512339967 70434816 13425 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17196 13425 231 231 0 16965 0
vsize: 68784
[startup+140.005 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 14513 0 0 0 13962 39 0 0 25 0 1 0 512339967 70434816 14509 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17196 14509 231 231 0 16965 0
vsize: 68784
[startup+150.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15232 0 0 0 14960 41 0 0 25 0 1 0 512339967 70774784 15179 4294967295 134512640 135450300 3221224640 3221223248 134537630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17279 15179 231 231 0 17048 0
vsize: 69116
[startup+160.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15321 0 0 0 15960 41 0 0 25 0 1 0 512339967 70774784 15268 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17279 15268 231 231 0 17048 0
vsize: 69116
[startup+170.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15385 0 0 0 16960 42 0 0 25 0 1 0 512339967 70885376 15332 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15332 231 231 0 17075 0
vsize: 69224
[startup+180.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15440 0 0 0 17960 42 0 0 25 0 1 0 512339967 70885376 15387 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15387 231 231 0 17075 0
vsize: 69224
[startup+190.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15492 0 0 0 18960 42 0 0 25 0 1 0 512339967 70885376 15439 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15439 231 231 0 17075 0
vsize: 69224
[startup+200.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15543 0 0 0 19960 42 0 0 25 0 1 0 512339967 70885376 15490 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15490 231 231 0 17075 0
vsize: 69224
[startup+210.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15604 0 0 0 20960 42 0 0 25 0 1 0 512339967 70885376 15551 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15551 231 231 0 17075 0
vsize: 69224
[startup+220.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15654 0 0 0 21960 43 0 0 25 0 1 0 512339967 70885376 15601 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15601 231 231 0 17075 0
vsize: 69224
[startup+230.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15692 0 0 0 22960 43 0 0 25 0 1 0 512339967 70885376 15639 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15639 231 231 0 17075 0
vsize: 69224
[startup+240.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15728 0 0 0 23960 43 0 0 25 0 1 0 512339967 70885376 15675 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15675 231 231 0 17075 0
vsize: 69224
[startup+250.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15786 0 0 0 24960 43 0 0 25 0 1 0 512339967 70885376 15733 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15733 231 231 0 17075 0
vsize: 69224
[startup+260.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 15910 0 0 0 25960 43 0 0 25 0 1 0 512339967 70885376 15857 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15857 231 231 0 17075 0
vsize: 69224
[startup+270.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16022 0 0 0 26959 44 0 0 25 0 1 0 512339967 70885376 15969 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 15969 231 231 0 17075 0
vsize: 69224
[startup+280.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16181 0 0 0 27959 45 0 0 25 0 1 0 512339967 70885376 16128 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 16128 231 231 0 17075 0
vsize: 69224
[startup+290.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16240 0 0 0 28959 45 0 0 25 0 1 0 512339967 70885376 16187 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 16187 231 231 0 17075 0
vsize: 69224
[startup+300.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16323 0 0 0 29959 45 0 0 25 0 1 0 512339967 70885376 16270 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 16270 231 231 0 17075 0
vsize: 69224
[startup+310.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16400 0 0 0 30959 45 0 0 25 0 1 0 512339967 70885376 16347 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 16347 231 231 0 17075 0
vsize: 69224
[startup+320.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16479 0 0 0 31959 45 0 0 25 0 1 0 512339967 70885376 16426 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 16426 231 231 0 17075 0
vsize: 69224
[startup+330.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16580 0 0 0 32959 45 0 0 25 0 1 0 512339967 71020544 16527 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 16527 231 231 0 17108 0
vsize: 69356
[startup+340.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16703 0 0 0 33959 45 0 0 25 0 1 0 512339967 71020544 16650 4294967295 134512640 135450300 3221224640 3221223456 134547162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 16650 231 231 0 17108 0
vsize: 69356
[startup+350.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16804 0 0 0 34959 46 0 0 25 0 1 0 512339967 71020544 16751 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 16751 231 231 0 17108 0
vsize: 69356
[startup+360.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 16897 0 0 0 35959 46 0 0 25 0 1 0 512339967 71020544 16844 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 16844 231 231 0 17108 0
vsize: 69356
[startup+370.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17033 0 0 0 36959 46 0 0 25 0 1 0 512339967 71020544 16980 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 16980 231 231 0 17108 0
vsize: 69356
[startup+380.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17102 0 0 0 37959 46 0 0 25 0 1 0 512339967 71020544 17049 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 17049 231 231 0 17108 0
vsize: 69356
[startup+390.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17197 0 0 0 38959 46 0 0 25 0 1 0 512339967 71020544 17144 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 17144 231 231 0 17108 0
vsize: 69356
[startup+400.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17249 0 0 0 39958 48 0 0 25 0 1 0 512339967 138129408 17196 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17196 231 231 0 33492 0
vsize: 134892
[startup+410.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17319 0 0 0 40958 48 0 0 25 0 1 0 512339967 138129408 17266 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17266 231 231 0 33492 0
vsize: 134892
[startup+420.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17429 0 0 0 41958 48 0 0 25 0 1 0 512339967 138129408 17376 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17376 231 231 0 33492 0
vsize: 134892
[startup+430.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17478 0 0 0 42958 48 0 0 25 0 1 0 512339967 138129408 17425 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17425 231 231 0 33492 0
vsize: 134892
[startup+440.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17542 0 0 0 43958 49 0 0 25 0 1 0 512339967 138129408 17489 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17489 231 231 0 33492 0
vsize: 134892
[startup+450.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17604 0 0 0 44958 49 0 0 25 0 1 0 512339967 138129408 17551 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17551 231 231 0 33492 0
vsize: 134892
[startup+460.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17726 0 0 0 45958 49 0 0 25 0 1 0 512339967 138129408 17673 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17673 231 231 0 33492 0
vsize: 134892
[startup+470.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17798 0 0 0 46958 50 0 0 25 0 1 0 512339967 138129408 17745 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17745 231 231 0 33492 0
vsize: 134892
[startup+480.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17883 0 0 0 47958 50 0 0 25 0 1 0 512339967 138129408 17830 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17830 231 231 0 33492 0
vsize: 134892
[startup+490.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 17954 0 0 0 48957 50 0 0 25 0 1 0 512339967 138129408 17901 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17901 231 231 0 33492 0
vsize: 134892
[startup+500.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18021 0 0 0 49957 50 0 0 25 0 1 0 512339967 138129408 17968 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 17968 231 231 0 33492 0
vsize: 134892
[startup+510.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18129 0 0 0 50957 51 0 0 25 0 1 0 512339967 138129408 18076 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18076 231 231 0 33492 0
vsize: 134892
[startup+520.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18185 0 0 0 51957 51 0 0 25 0 1 0 512339967 138129408 18132 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18132 231 231 0 33492 0
vsize: 134892
[startup+530.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18244 0 0 0 52957 51 0 0 25 0 1 0 512339967 138129408 18191 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18191 231 231 0 33492 0
vsize: 134892
[startup+540.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18324 0 0 0 53957 51 0 0 25 0 1 0 512339967 138129408 18271 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18271 231 231 0 33492 0
vsize: 134892
[startup+550.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18373 0 0 0 54957 51 0 0 25 0 1 0 512339967 138129408 18320 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18320 231 231 0 33492 0
vsize: 134892
[startup+560.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18462 0 0 0 55958 51 0 0 25 0 1 0 512339967 138129408 18409 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18409 231 231 0 33492 0
vsize: 134892
[startup+570.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18519 0 0 0 56958 51 0 0 25 0 1 0 512339967 138129408 18466 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18466 231 231 0 33492 0
vsize: 134892
[startup+580.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18645 0 0 0 57958 52 0 0 25 0 1 0 512339967 138129408 18592 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18592 231 231 0 33492 0
vsize: 134892
[startup+590.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18755 0 0 0 58958 52 0 0 25 0 1 0 512339967 138129408 18702 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18702 231 231 0 33492 0
vsize: 134892
[startup+600.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18873 0 0 0 59958 52 0 0 25 0 1 0 512339967 138129408 18820 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18820 231 231 0 33492 0
vsize: 134892
[startup+610.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 18989 0 0 0 60957 52 0 0 25 0 1 0 512339967 138129408 18936 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 18936 231 231 0 33492 0
vsize: 134892
[startup+620.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19066 0 0 0 61957 53 0 0 25 0 1 0 512339967 138129408 19013 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19013 231 231 0 33492 0
vsize: 134892
[startup+630.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19151 0 0 0 62957 53 0 0 25 0 1 0 512339967 138129408 19098 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19098 231 231 0 33492 0
vsize: 134892
[startup+640.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19241 0 0 0 63957 54 0 0 25 0 1 0 512339967 138129408 19188 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19188 231 231 0 33492 0
vsize: 134892
[startup+650.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19298 0 0 0 64957 54 0 0 25 0 1 0 512339967 138129408 19245 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19245 231 231 0 33492 0
vsize: 134892
[startup+660.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19387 0 0 0 65957 54 0 0 25 0 1 0 512339967 138129408 19334 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19334 231 231 0 33492 0
vsize: 134892
[startup+670.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19526 0 0 0 66957 54 0 0 25 0 1 0 512339967 138129408 19473 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19473 231 231 0 33492 0
vsize: 134892
[startup+680.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19621 0 0 0 67957 55 0 0 25 0 1 0 512339967 138129408 19568 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19568 231 231 0 33492 0
vsize: 134892
[startup+690.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19683 0 0 0 68957 55 0 0 25 0 1 0 512339967 138129408 19630 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19630 231 231 0 33492 0
vsize: 134892
[startup+700.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19760 0 0 0 69957 55 0 0 25 0 1 0 512339967 138129408 19707 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19707 231 231 0 33492 0
vsize: 134892
[startup+710.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19871 0 0 0 70957 55 0 0 25 0 1 0 512339967 138129408 19818 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19818 231 231 0 33492 0
vsize: 134892
[startup+720.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 19940 0 0 0 71957 55 0 0 25 0 1 0 512339967 138129408 19887 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19887 231 231 0 33492 0
vsize: 134892
[startup+730.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20033 0 0 0 72956 56 0 0 25 0 1 0 512339967 138129408 19980 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 19980 231 231 0 33492 0
vsize: 134892
[startup+740.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20081 0 0 0 73956 56 0 0 25 0 1 0 512339967 138129408 20028 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20028 231 231 0 33492 0
vsize: 134892
[startup+750.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20140 0 0 0 74956 56 0 0 25 0 1 0 512339967 138129408 20087 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20087 231 231 0 33492 0
vsize: 134892
[startup+760.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20192 0 0 0 75957 56 0 0 25 0 1 0 512339967 138129408 20139 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20139 231 231 0 33492 0
vsize: 134892
[startup+770.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20253 0 0 0 76957 56 0 0 25 0 1 0 512339967 138129408 20200 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20200 231 231 0 33492 0
vsize: 134892
[startup+780.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20289 0 0 0 77957 56 0 0 25 0 1 0 512339967 138129408 20236 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20236 231 231 0 33492 0
vsize: 134892
[startup+790.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20355 0 0 0 78957 57 0 0 25 0 1 0 512339967 138129408 20302 4294967295 134512640 135450300 3221224640 3221223504 134539252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20302 231 231 0 33492 0
vsize: 134892
[startup+800.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20403 0 0 0 79957 57 0 0 25 0 1 0 512339967 138129408 20350 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20350 231 231 0 33492 0
vsize: 134892
[startup+810.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20468 0 0 0 80957 57 0 0 25 0 1 0 512339967 138129408 20415 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20415 231 231 0 33492 0
vsize: 134892
[startup+820.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20514 0 0 0 81957 57 0 0 25 0 1 0 512339967 138129408 20461 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20461 231 231 0 33492 0
vsize: 134892
[startup+830.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20594 0 0 0 82957 57 0 0 25 0 1 0 512339967 138129408 20541 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20541 231 231 0 33492 0
vsize: 134892
[startup+840.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20658 0 0 0 83957 57 0 0 25 0 1 0 512339967 138129408 20605 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20605 231 231 0 33492 0
vsize: 134892
[startup+850.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20735 0 0 0 84957 57 0 0 25 0 1 0 512339967 138129408 20682 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20682 231 231 0 33492 0
vsize: 134892
[startup+860.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20798 0 0 0 85957 57 0 0 25 0 1 0 512339967 138129408 20745 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20745 231 231 0 33492 0
vsize: 134892
[startup+870.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20834 0 0 0 86958 57 0 0 25 0 1 0 512339967 138129408 20781 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20781 231 231 0 33492 0
vsize: 134892
[startup+880.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20898 0 0 0 87957 58 0 0 25 0 1 0 512339967 138129408 20845 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20845 231 231 0 33492 0
vsize: 134892
[startup+890.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 20954 0 0 0 88957 58 0 0 25 0 1 0 512339967 138129408 20901 4294967295 134512640 135450300 3221224640 3221223456 134547845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33723 20901 231 231 0 33492 0
vsize: 134892
[startup+900.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21076 0 0 0 89957 58 0 0 25 0 1 0 512339967 138256384 21023 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21023 231 231 0 33523 0
vsize: 135016
[startup+910.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21176 0 0 0 90958 58 0 0 25 0 1 0 512339967 138256384 21123 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21123 231 231 0 33523 0
vsize: 135016
[startup+920.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21218 0 0 0 91958 58 0 0 25 0 1 0 512339967 138256384 21165 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21165 231 231 0 33523 0
vsize: 135016
[startup+930.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21323 0 0 0 92957 59 0 0 25 0 1 0 512339967 138256384 21270 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21270 231 231 0 33523 0
vsize: 135016
[startup+940.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21351 0 0 0 93957 59 0 0 25 0 1 0 512339967 138256384 21298 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21298 231 231 0 33523 0
vsize: 135016
[startup+950.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21423 0 0 0 94957 59 0 0 25 0 1 0 512339967 138256384 21370 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21370 231 231 0 33523 0
vsize: 135016
[startup+960.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21495 0 0 0 95958 59 0 0 25 0 1 0 512339967 138256384 21442 4294967295 134512640 135450300 3221224640 3221223504 134539156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21442 231 231 0 33523 0
vsize: 135016
[startup+970.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21559 0 0 0 96958 59 0 0 25 0 1 0 512339967 138256384 21506 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21506 231 231 0 33523 0
vsize: 135016
[startup+980.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21605 0 0 0 97958 59 0 0 25 0 1 0 512339967 138256384 21552 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21552 231 231 0 33523 0
vsize: 135016
[startup+990.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21684 0 0 0 98957 60 0 0 25 0 1 0 512339967 138256384 21631 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21631 231 231 0 33523 0
vsize: 135016
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21759 0 0 0 99957 60 0 0 25 0 1 0 512339967 138256384 21706 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21706 231 231 0 33523 0
vsize: 135016
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21823 0 0 0 100957 60 0 0 25 0 1 0 512339967 138256384 21770 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21770 231 231 0 33523 0
vsize: 135016
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21898 0 0 0 101957 61 0 0 25 0 1 0 512339967 138256384 21845 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21845 231 231 0 33523 0
vsize: 135016
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 21982 0 0 0 102957 61 0 0 25 0 1 0 512339967 138256384 21929 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 21929 231 231 0 33523 0
vsize: 135016
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22053 0 0 0 103957 61 0 0 25 0 1 0 512339967 138256384 22000 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22000 231 231 0 33523 0
vsize: 135016
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22128 0 0 0 104957 62 0 0 25 0 1 0 512339967 138256384 22075 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22075 231 231 0 33523 0
vsize: 135016
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22206 0 0 0 105957 62 0 0 25 0 1 0 512339967 138256384 22153 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22153 231 231 0 33523 0
vsize: 135016
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22299 0 0 0 106957 62 0 0 25 0 1 0 512339967 138256384 22246 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22246 231 231 0 33523 0
vsize: 135016
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22423 0 0 0 107957 62 0 0 25 0 1 0 512339967 138256384 22370 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22370 231 231 0 33523 0
vsize: 135016
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22524 0 0 0 108957 62 0 0 25 0 1 0 512339967 138256384 22471 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22471 231 231 0 33523 0
vsize: 135016
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22591 0 0 0 109957 63 0 0 25 0 1 0 512339967 138256384 22538 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22538 231 231 0 33523 0
vsize: 135016
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22694 0 0 0 110957 63 0 0 25 0 1 0 512339967 138256384 22641 4294967295 134512640 135450300 3221224640 3221222992 134533066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22641 231 231 0 33523 0
vsize: 135016
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22791 0 0 0 111956 64 0 0 25 0 1 0 512339967 138256384 22738 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22738 231 231 0 33523 0
vsize: 135016
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22847 0 0 0 112957 64 0 0 25 0 1 0 512339967 138256384 22794 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22794 231 231 0 33523 0
vsize: 135016
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 22914 0 0 0 113957 64 0 0 25 0 1 0 512339967 138256384 22861 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22861 231 231 0 33523 0
vsize: 135016
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 23015 0 0 0 114957 64 0 0 25 0 1 0 512339967 138256384 22962 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 22962 231 231 0 33523 0
vsize: 135016
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 23079 0 0 0 115957 64 0 0 25 0 1 0 512339967 138256384 23026 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 23026 231 231 0 33523 0
vsize: 135016
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 23177 0 0 0 116957 64 0 0 25 0 1 0 512339967 138256384 23124 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 23124 231 231 0 33523 0
vsize: 135016
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 23280 0 0 0 117957 64 0 0 25 0 1 0 512339967 138256384 23227 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 23227 231 231 0 33523 0
vsize: 135016
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 23302 0 0 0 118957 65 0 0 25 0 1 0 512339967 138256384 23249 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 23249 231 231 0 33523 0
vsize: 135016
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10974
Raw data (stat): 10974 (PBS4) R 10973 18865 18864 0 -1 0 23362 0 0 0 119956 65 0 0 25 0 1 0 512339967 138395648 23309 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33788 23309 231 231 0 33557 0
vsize: 135152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 10974
Raw data (stat): 10974 (PBS4) Z 10973 18865 18864 0 -1 1036 23362 0 0 0 119956 69 0 0 25 0 1 0 512339967 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.08
CPU time (s): 1200.27
CPU user time (s): 1199.57
CPU system time (s): 0.699893
CPU usage (%): 100.016
Max. virtual memory (Kb): 135152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####