PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7060
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 18611

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-21 15:40:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17803 boxname=wulflinc24 idbench=1370 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  bc275113592d0f0914bb7f3c346a4153  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mzzv42z.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mzzv42z.opb
IDLAUNCH: 17803
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        787096 kB
Buffers:         27020 kB
Cached:         195972 kB
SwapCached:        524 kB
Active:          79532 kB
Inactive:       145448 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        786844 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            17040 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 16:01:01 (client local time) WITH STATUS 0 IN 1200.64 SECONDS
stats: 17803 7 1200.64 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mzzv42z.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.92 0.95 0.94 2/54 11977
Raw data (stat): 11977 (runsolver) R 11976 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546233116 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 2321 0 0 0 987 12 0 0 25 0 1 0 546233116 9760768 2159 4294967295 134512640 135450300 3221224624 3221223036 134533040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2383 2159 231 231 0 2152 0
vsize: 9532
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 2512 0 0 0 1982 17 0 0 25 0 1 0 546233116 10641408 2350 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 2350 231 231 0 2367 0
vsize: 10392
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 2601 0 0 0 2978 21 0 0 25 0 1 0 546233116 11288576 2439 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2756 2439 231 231 0 2525 0
vsize: 11024
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 2865 0 0 0 3975 24 0 0 25 0 1 0 546233116 12046336 2654 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2941 2654 231 231 0 2710 0
vsize: 11764
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3003 0 0 0 4974 26 0 0 25 0 1 0 546233116 13131776 2792 4294967295 134512640 135450300 3221224624 3221223232 134537705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2792 231 231 0 2975 0
vsize: 12824
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3158 0 0 0 5971 29 0 0 25 0 1 0 546233116 13406208 2947 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2947 231 231 0 3042 0
vsize: 13092
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3348 0 0 0 6967 34 0 0 25 0 1 0 546233116 15806464 3137 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3137 231 231 0 3628 0
vsize: 15436
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3479 0 0 0 7964 36 0 0 25 0 1 0 546233116 15986688 3268 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3903 3268 231 231 0 3672 0
vsize: 15612
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3713 0 0 0 8963 38 0 0 25 0 1 0 546233116 16584704 3405 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4049 3405 231 231 0 3818 0
vsize: 16196
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3737 0 0 0 9960 41 0 0 25 0 1 0 546233116 16728064 3429 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4084 3429 231 231 0 3853 0
vsize: 16336
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3799 0 0 0 10956 45 0 0 25 0 1 0 546233116 16875520 3491 4294967295 134512640 135450300 3221224624 3221223232 134537705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 3491 231 231 0 3889 0
vsize: 16480
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3853 0 0 0 11953 48 0 0 25 0 1 0 546233116 17022976 3545 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4156 3545 231 231 0 3925 0
vsize: 16624
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 3937 0 0 0 12950 52 0 0 25 0 1 0 546233116 17072128 3629 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4168 3629 231 231 0 3937 0
vsize: 16672
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4009 0 0 0 13946 55 0 0 25 0 1 0 546233116 17211392 3701 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4202 3701 231 231 0 3971 0
vsize: 16808
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4075 0 0 0 14944 58 0 0 25 0 1 0 546233116 17211392 3767 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4202 3767 231 231 0 3971 0
vsize: 16808
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4152 0 0 0 15941 61 0 0 25 0 1 0 546233116 17321984 3844 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3844 231 231 0 3998 0
vsize: 16916
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4221 0 0 0 16938 64 0 0 25 0 1 0 546233116 17321984 3913 4294967295 134512640 135450300 3221224624 3221222976 134533176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3913 231 231 0 3998 0
vsize: 16916
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4292 0 0 0 17935 67 0 0 25 0 1 0 546233116 17436672 3984 4294967295 134512640 135450300 3221224624 3221223360 134538424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3984 231 231 0 4026 0
vsize: 17028
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4371 0 0 0 18932 71 0 0 25 0 1 0 546233116 21712896 4063 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5301 4063 231 231 0 5070 0
vsize: 21204
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4380 0 0 0 19928 75 0 0 25 0 1 0 546233116 21712896 4072 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5301 4072 231 231 0 5070 0
vsize: 21204
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4466 0 0 0 20925 78 0 0 25 0 1 0 546233116 21995520 4158 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4158 231 231 0 5139 0
vsize: 21480
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4529 0 0 0 21921 82 0 0 25 0 1 0 546233116 21995520 4221 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4221 231 231 0 5139 0
vsize: 21480
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4816 0 0 0 22918 86 0 0 25 0 1 0 546233116 22855680 4315 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5580 4315 231 231 0 5349 0
vsize: 22320
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 4877 0 0 0 23914 89 0 0 25 0 1 0 546233116 22855680 4376 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5580 4376 231 231 0 5349 0
vsize: 22320
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5001 0 0 0 24910 94 0 0 25 0 1 0 546233116 23044096 4500 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5626 4500 231 231 0 5395 0
vsize: 22504
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5062 0 0 0 25908 96 0 0 25 0 1 0 546233116 23044096 4561 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5626 4561 231 231 0 5395 0
vsize: 22504
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5135 0 0 0 26904 100 0 0 25 0 1 0 546233116 23093248 4634 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5638 4634 231 231 0 5407 0
vsize: 22552
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5214 0 0 0 27900 104 0 0 25 0 1 0 546233116 23142400 4713 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5650 4713 231 231 0 5419 0
vsize: 22600
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5293 0 0 0 28898 107 0 0 25 0 1 0 546233116 23142400 4792 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5650 4792 231 231 0 5419 0
vsize: 22600
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5354 0 0 0 29894 110 0 0 25 0 1 0 546233116 23142400 4853 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5650 4853 231 231 0 5419 0
vsize: 22600
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5422 0 0 0 30892 113 0 0 25 0 1 0 546233116 23248896 4921 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4921 231 231 0 5445 0
vsize: 22704
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5501 0 0 0 31890 115 0 0 25 0 1 0 546233116 23248896 5000 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5676 5000 231 231 0 5445 0
vsize: 22704
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5583 0 0 0 32887 119 0 0 25 0 1 0 546233116 23384064 5082 4294967295 134512640 135450300 3221224624 3221223088 134844232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 5082 231 231 0 5478 0
vsize: 22836
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5637 0 0 0 33884 122 0 0 25 0 1 0 546233116 23384064 5136 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 5136 231 231 0 5478 0
vsize: 22836
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5690 0 0 0 34881 125 0 0 25 0 1 0 546233116 23605248 5189 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5763 5189 231 231 0 5532 0
vsize: 23052
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5698 0 0 0 35879 127 0 0 25 0 1 0 546233116 23605248 5197 4294967295 134512640 135450300 3221224624 3221222976 134533314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5763 5197 231 231 0 5532 0
vsize: 23052
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5706 0 0 0 36876 130 0 0 25 0 1 0 546233116 23605248 5205 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5763 5205 231 231 0 5532 0
vsize: 23052
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5713 0 0 0 37872 134 0 0 25 0 1 0 546233116 23605248 5212 4294967295 134512640 135450300 3221224624 3221222976 134533275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5763 5212 231 231 0 5532 0
vsize: 23052
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5719 0 0 0 38869 137 0 0 25 0 1 0 546233116 23605248 5218 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5763 5218 231 231 0 5532 0
vsize: 23052
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5731 0 0 0 39866 141 0 0 25 0 1 0 546233116 23715840 5230 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5790 5230 231 231 0 5559 0
vsize: 23160
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5749 0 0 0 40863 144 0 0 25 0 1 0 546233116 23715840 5248 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5790 5248 231 231 0 5559 0
vsize: 23160
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5783 0 0 0 41861 146 0 0 25 0 1 0 546233116 23838720 5282 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 5282 231 231 0 5589 0
vsize: 23280
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5789 0 0 0 42858 149 0 0 25 0 1 0 546233116 23838720 5288 4294967295 134512640 135450300 3221224624 3221222976 134533246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 5288 231 231 0 5589 0
vsize: 23280
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5813 0 0 0 43855 153 0 0 25 0 1 0 546233116 23871488 5312 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5828 5312 231 231 0 5597 0
vsize: 23312
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5827 0 0 0 44852 155 0 0 25 0 1 0 546233116 23904256 5326 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5836 5326 231 231 0 5605 0
vsize: 23344
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5842 0 0 0 45850 158 0 0 25 0 1 0 546233116 23941120 5341 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5845 5341 231 231 0 5614 0
vsize: 23380
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5847 0 0 0 46847 162 0 0 25 0 1 0 546233116 23941120 5346 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5845 5346 231 231 0 5614 0
vsize: 23380
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5852 0 0 0 47845 165 0 0 25 0 1 0 546233116 23941120 5351 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5845 5351 231 231 0 5614 0
vsize: 23380
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5881 0 0 0 48842 167 0 0 25 0 1 0 546233116 24203264 5380 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5909 5380 231 231 0 5678 0
vsize: 23636
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5887 0 0 0 49840 170 0 0 25 0 1 0 546233116 24203264 5386 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5909 5386 231 231 0 5678 0
vsize: 23636
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5906 0 0 0 50838 172 0 0 25 0 1 0 546233116 24252416 5405 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5921 5405 231 231 0 5690 0
vsize: 23684
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5914 0 0 0 51837 173 0 0 25 0 1 0 546233116 24252416 5413 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5921 5413 231 231 0 5690 0
vsize: 23684
[startup+530.125 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5929 0 0 0 52844 176 0 0 25 0 1 0 546233116 24285184 5428 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5929 5428 231 231 0 5698 0
vsize: 23716
[startup+540.126 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5934 0 0 0 53843 178 0 0 25 0 1 0 546233116 24285184 5433 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5929 5433 231 231 0 5698 0
vsize: 23716
[startup+550.127 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5956 0 0 0 54840 181 0 0 25 0 1 0 546233116 24338432 5455 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5942 5455 231 231 0 5711 0
vsize: 23768
[startup+560.128 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 5982 0 0 0 55838 184 0 0 25 0 1 0 546233116 24338432 5481 4294967295 134512640 135450300 3221224624 3221222976 134533246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5942 5481 231 231 0 5711 0
vsize: 23768
[startup+570.127 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6069 0 0 0 56835 186 0 0 25 0 1 0 546233116 24375296 5568 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5568 231 231 0 5720 0
vsize: 23804
[startup+580.127 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6121 0 0 0 57833 189 0 0 25 0 1 0 546233116 24375296 5620 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5620 231 231 0 5720 0
vsize: 23804
[startup+590.128 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6174 0 0 0 58830 192 0 0 25 0 1 0 546233116 24375296 5673 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5673 231 231 0 5720 0
vsize: 23804
[startup+600.133 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6232 0 0 0 59828 194 0 0 25 0 1 0 546233116 32763904 5731 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7999 5731 231 231 0 7768 0
vsize: 31996
[startup+610.132 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6671 0 0 0 60824 198 0 0 25 0 1 0 546233116 34336768 5785 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8383 5785 231 231 0 8152 0
vsize: 33532
[startup+620.132 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6718 0 0 0 61821 202 0 0 25 0 1 0 546233116 34336768 5832 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8383 5832 231 231 0 8152 0
vsize: 33532
[startup+630.132 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6787 0 0 0 62818 205 0 0 25 0 1 0 546233116 34447360 5901 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 5901 231 231 0 8179 0
vsize: 33640
[startup+640.142 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6841 0 0 0 63815 209 0 0 25 0 1 0 546233116 34447360 5955 4294967295 134512640 135450300 3221224624 3221222976 134533129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 5955 231 231 0 8179 0
vsize: 33640
[startup+650.142 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6917 0 0 0 64812 212 0 0 25 0 1 0 546233116 34496512 6031 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8422 6031 231 231 0 8191 0
vsize: 33688
[startup+660.185 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 6997 0 0 0 65814 214 0 0 25 0 1 0 546233116 34693120 6111 4294967295 134512640 135450300 3221224624 3221223360 134537943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8470 6111 231 231 0 8239 0
vsize: 33880
[startup+670.201 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7047 0 0 0 66813 218 0 0 25 0 1 0 546233116 34693120 6161 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8470 6161 231 231 0 8239 0
vsize: 33880
[startup+680.201 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7090 0 0 0 67811 220 0 0 25 0 1 0 546233116 34693120 6204 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8470 6204 231 231 0 8239 0
vsize: 33880
[startup+690.216 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7148 0 0 0 68811 222 0 0 25 0 1 0 546233116 34762752 6262 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 6262 231 231 0 8256 0
vsize: 33948
[startup+700.236 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7200 0 0 0 69810 225 0 0 25 0 1 0 546233116 34762752 6314 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 6314 231 231 0 8256 0
vsize: 33948
[startup+710.236 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7257 0 0 0 70807 228 0 0 25 0 1 0 546233116 34762752 6371 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 6371 231 231 0 8256 0
vsize: 33948
[startup+720.328 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7316 0 0 0 71813 231 0 0 25 0 1 0 546233116 34762752 6430 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 6430 231 231 0 8256 0
vsize: 33948
[startup+730.327 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7378 0 0 0 72811 234 0 0 25 0 1 0 546233116 34828288 6492 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8503 6492 231 231 0 8272 0
vsize: 34012
[startup+740.329 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7390 0 0 0 73809 236 0 0 25 0 1 0 546233116 34828288 6504 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8503 6504 231 231 0 8272 0
vsize: 34012
[startup+750.329 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7397 0 0 0 74805 239 0 0 25 0 1 0 546233116 34869248 6511 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8513 6511 231 231 0 8282 0
vsize: 34052
[startup+760.333 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7406 0 0 0 75805 240 0 0 25 0 1 0 546233116 34869248 6520 4294967295 134512640 135450300 3221224624 3221223360 134538191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8513 6520 231 231 0 8282 0
vsize: 34052
[startup+770.338 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7410 0 0 0 76804 243 0 0 25 0 1 0 546233116 34869248 6524 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8513 6524 231 231 0 8282 0
vsize: 34052
[startup+780.338 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7437 0 0 0 77801 246 0 0 25 0 1 0 546233116 34934784 6551 4294967295 134512640 135450300 3221224624 3221223360 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8529 6551 231 231 0 8298 0
vsize: 34116
[startup+790.339 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7440 0 0 0 78798 249 0 0 25 0 1 0 546233116 34934784 6554 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8529 6554 231 231 0 8298 0
vsize: 34116
[startup+800.338 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7449 0 0 0 79797 250 0 0 25 0 1 0 546233116 34934784 6563 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8529 6563 231 231 0 8298 0
vsize: 34116
[startup+810.342 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7452 0 0 0 80795 252 0 0 25 0 1 0 546233116 34934784 6566 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8529 6566 231 231 0 8298 0
vsize: 34116
[startup+820.349 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7457 0 0 0 81793 255 0 0 25 0 1 0 546233116 34934784 6571 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8529 6571 231 231 0 8298 0
vsize: 34116
[startup+830.348 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7487 0 0 0 82791 257 0 0 25 0 1 0 546233116 35008512 6601 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8547 6601 231 231 0 8316 0
vsize: 34188
[startup+840.407 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7494 0 0 0 83795 259 0 0 25 0 1 0 546233116 35008512 6608 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8547 6608 231 231 0 8316 0
vsize: 34188
[startup+850.407 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7500 0 0 0 84793 262 0 0 25 0 1 0 546233116 35008512 6614 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8547 6614 231 231 0 8316 0
vsize: 34188
[startup+860.406 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7515 0 0 0 85790 265 0 0 25 0 1 0 546233116 35045376 6629 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8556 6629 231 231 0 8325 0
vsize: 34224
[startup+870.406 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7518 0 0 0 86788 267 0 0 25 0 1 0 546233116 35045376 6632 4294967295 134512640 135450300 3221224624 3221223456 134549386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8556 6632 231 231 0 8325 0
vsize: 34224
[startup+880.413 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7528 0 0 0 87786 270 0 0 25 0 1 0 546233116 35254272 6642 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8607 6642 231 231 0 8376 0
vsize: 34428
[startup+890.413 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7535 0 0 0 88784 272 0 0 25 0 1 0 546233116 35287040 6649 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 6649 231 231 0 8384 0
vsize: 34460
[startup+900.413 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7540 0 0 0 89782 274 0 0 25 0 1 0 546233116 35287040 6654 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 6654 231 231 0 8384 0
vsize: 34460
[startup+910.413 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7545 0 0 0 90780 276 0 0 25 0 1 0 546233116 35287040 6659 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 6659 231 231 0 8384 0
vsize: 34460
[startup+920.414 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7548 0 0 0 91778 278 0 0 25 0 1 0 546233116 35287040 6662 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 6662 231 231 0 8384 0
vsize: 34460
[startup+930.413 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7553 0 0 0 92775 281 0 0 25 0 1 0 546233116 35287040 6667 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 6667 231 231 0 8384 0
vsize: 34460
[startup+940.414 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7564 0 0 0 93772 285 0 0 25 0 1 0 546233116 35397632 6678 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8642 6678 231 231 0 8411 0
vsize: 34568
[startup+950.415 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7570 0 0 0 94770 287 0 0 25 0 1 0 546233116 35397632 6684 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8642 6684 231 231 0 8411 0
vsize: 34568
[startup+960.415 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7596 0 0 0 95768 289 0 0 25 0 1 0 546233116 35397632 6710 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8642 6710 231 231 0 8411 0
vsize: 34568
[startup+970.415 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7601 0 0 0 96766 292 0 0 25 0 1 0 546233116 35397632 6715 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8642 6715 231 231 0 8411 0
vsize: 34568
[startup+980.416 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7605 0 0 0 97763 294 0 0 25 0 1 0 546233116 35397632 6719 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8642 6719 231 231 0 8411 0
vsize: 34568
[startup+990.416 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7634 0 0 0 98760 298 0 0 25 0 1 0 546233116 35467264 6748 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6748 231 231 0 8428 0
vsize: 34636
[startup+1000.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7643 0 0 0 99758 300 0 0 25 0 1 0 546233116 35467264 6757 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6757 231 231 0 8428 0
vsize: 34636
[startup+1010.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7648 0 0 0 100756 303 0 0 25 0 1 0 546233116 35467264 6762 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6762 231 231 0 8428 0
vsize: 34636
[startup+1020.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7661 0 0 0 101754 305 0 0 25 0 1 0 546233116 35467264 6775 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6775 231 231 0 8428 0
vsize: 34636
[startup+1030.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7665 0 0 0 102751 307 0 0 25 0 1 0 546233116 35467264 6779 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6779 231 231 0 8428 0
vsize: 34636
[startup+1040.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7671 0 0 0 103748 311 0 0 25 0 1 0 546233116 35467264 6785 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6785 231 231 0 8428 0
vsize: 34636
[startup+1050.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7676 0 0 0 104746 313 0 0 25 0 1 0 546233116 35467264 6790 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 6790 231 231 0 8428 0
vsize: 34636
[startup+1060.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7700 0 0 0 105744 315 0 0 25 0 1 0 546233116 35573760 6814 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8685 6814 231 231 0 8454 0
vsize: 34740
[startup+1070.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7712 0 0 0 106742 317 0 0 25 0 1 0 546233116 35573760 6826 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8685 6826 231 231 0 8454 0
vsize: 34740
[startup+1080.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7730 0 0 0 107740 320 0 0 25 0 1 0 546233116 35627008 6844 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 6844 231 231 0 8467 0
vsize: 34792
[startup+1090.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7735 0 0 0 108738 322 0 0 25 0 1 0 546233116 35627008 6849 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 6849 231 231 0 8467 0
vsize: 34792
[startup+1100.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7743 0 0 0 109736 324 0 0 25 0 1 0 546233116 35627008 6857 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 6857 231 231 0 8467 0
vsize: 34792
[startup+1110.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7753 0 0 0 110734 326 0 0 25 0 1 0 546233116 35627008 6867 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 6867 231 231 0 8467 0
vsize: 34792
[startup+1120.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7758 0 0 0 111732 329 0 0 25 0 1 0 546233116 35627008 6872 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 6872 231 231 0 8467 0
vsize: 34792
[startup+1130.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7769 0 0 0 112729 331 0 0 25 0 1 0 546233116 35672064 6883 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6883 231 231 0 8478 0
vsize: 34836
[startup+1140.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11977
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7782 0 0 0 113728 333 0 0 25 0 1 0 546233116 35672064 6896 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6896 231 231 0 8478 0
vsize: 34836
[startup+1150.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 12030
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7800 0 0 0 114722 338 0 0 25 0 1 0 546233116 35946496 6914 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8776 6914 231 231 0 8545 0
vsize: 35104
[startup+1160.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 12030
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7803 0 0 0 115722 339 0 0 25 0 1 0 546233116 35946496 6917 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8776 6917 231 231 0 8545 0
vsize: 35104
[startup+1170.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 12030
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7809 0 0 0 116719 341 0 0 25 0 1 0 546233116 35946496 6923 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8776 6923 231 231 0 8545 0
vsize: 35104
[startup+1180.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 12030
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7821 0 0 0 117718 343 0 0 25 0 1 0 546233116 35946496 6935 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8776 6935 231 231 0 8545 0
vsize: 35104
[startup+1190.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 12030
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7832 0 0 0 118717 344 0 0 25 0 1 0 546233116 35983360 6946 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8785 6946 231 231 0 8554 0
vsize: 35140
[startup+1200.42 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 12030
Raw data (stat): 11977 (PBS4) R 11976 28546 28545 0 -1 0 7835 0 0 0 119715 346 0 0 25 0 1 0 546233116 35983360 6949 4294967295 134512640 135450300 3221224624 3221223360 134538418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8785 6949 231 231 0 8554 0
vsize: 35140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.43 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 12030
Raw data (stat): 11977 (PBS4) Z 11976 28546 28545 0 -1 1036 7835 0 0 0 119715 347 0 0 25 0 1 0 546233116 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.43
CPU time (s): 1200.64
CPU user time (s): 1197.16
CPU system time (s): 3.47947
CPU usage (%): 100.017
Max. virtual memory (Kb): 35140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####