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.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
MD5SUM	84d0b0ba659c599a6c66454cd956a06b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04684
Number of variables	450
Total number of constraints	17827
Number of constraints which are clauses	17827
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 7881

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-17 16:59:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2823 boxname=wulflinc1 idbench=314 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-1.opb
IDLAUNCH: 2823
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        800824 kB
Buffers:         42720 kB
Cached:         165224 kB
SwapCached:          0 kB
Active:         124368 kB
Inactive:        86756 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800572 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7212 kB
Slab:            16880 kB
Committed_AS:    92784 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:19:22 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 2823 7 1200.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-1.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.83 0.93 0.90 2/56 14284
Raw data (stat): 14284 (runsolver) R 14283 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 397065672 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.0005 s]
Raw data (loadavg): 0.85 0.93 0.90 2/56 14284
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 2853 0 0 0 991 8 0 0 25 0 1 0 397065672 19320832 2699 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 2699 231 231 0 4486 0
vsize: 18868
[startup+20.0009 s]
Raw data (loadavg): 0.88 0.93 0.90 2/56 14284
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 4521 0 0 0 1987 12 0 0 25 0 1 0 397065672 19599360 4367 4294967295 134512640 135450300 3221224640 3221223116 134571751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4785 4367 231 231 0 4554 0
vsize: 19140
[startup+30.0016 s]
Raw data (loadavg): 0.89 0.93 0.90 2/56 14284
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 6570 0 0 0 2983 16 0 0 25 0 1 0 397065672 37179392 6416 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9077 6416 231 231 0 8846 0
vsize: 36308
[startup+40.0014 s]
Raw data (loadavg): 0.91 0.93 0.90 2/56 14284
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 8120 0 0 0 3978 22 0 0 25 0 1 0 397065672 38178816 7966 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9321 7966 231 231 0 9090 0
vsize: 37284
[startup+50.0021 s]
Raw data (loadavg): 0.92 0.94 0.90 2/56 14337
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 8690 0 0 0 4975 24 0 0 25 0 1 0 397065672 38461440 8536 4294967295 134512640 135450300 3221224640 3221223168 134543670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 8536 231 231 0 9159 0
vsize: 37560
[startup+60.0018 s]
Raw data (loadavg): 0.93 0.94 0.90 2/56 14337
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10073 0 0 0 5972 27 0 0 25 0 1 0 397065672 72564736 9919 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17716 9919 231 231 0 17485 0
vsize: 70864
[startup+70.1549 s]
Raw data (loadavg): 0.94 0.94 0.90 2/56 14337
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10343 0 0 0 6987 28 0 0 25 0 1 0 397065672 73760768 10189 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18008 10189 231 231 0 17777 0
vsize: 72032
[startup+80.1554 s]
Raw data (loadavg): 0.95 0.94 0.90 2/56 14339
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10850 0 0 0 7985 29 0 0 25 0 1 0 397065672 75177984 10503 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18354 10503 231 231 0 18123 0
vsize: 73416
[startup+90.1551 s]
Raw data (loadavg): 0.96 0.94 0.91 2/56 14339
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10948 0 0 0 8985 30 0 0 25 0 1 0 397065672 75599872 10601 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18457 10601 231 231 0 18226 0
vsize: 73828
[startup+100.155 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 14339
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12100 0 0 0 9982 33 0 0 25 0 1 0 397065672 76025856 11753 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 11753 231 231 0 18330 0
vsize: 74244
[startup+110.155 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 14341
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12204 0 0 0 10981 34 0 0 25 0 1 0 397065672 76595200 11857 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18700 11857 231 231 0 18469 0
vsize: 74800
[startup+120.155 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12362 0 0 0 11981 34 0 0 25 0 1 0 397065672 76906496 12015 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18776 12015 231 231 0 18545 0
vsize: 75104
[startup+130.155 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12777 0 0 0 12980 35 0 0 25 0 1 0 397065672 77201408 12430 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 12430 231 231 0 18617 0
vsize: 75392
[startup+140.154 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12813 0 0 0 13979 36 0 0 25 0 1 0 397065672 77340672 12466 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18882 12466 231 231 0 18651 0
vsize: 75528
[startup+150.154 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13192 0 0 0 14979 37 0 0 25 0 1 0 397065672 77627392 12845 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18952 12845 231 231 0 18721 0
vsize: 75808
[startup+160.154 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13249 0 0 0 15979 37 0 0 25 0 1 0 397065672 77791232 12902 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18992 12902 231 231 0 18761 0
vsize: 75968
[startup+170.154 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13420 0 0 0 16979 37 0 0 25 0 1 0 397065672 78086144 13073 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19064 13073 231 231 0 18833 0
vsize: 76256
[startup+180.154 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13582 0 0 0 17978 38 0 0 25 0 1 0 397065672 78249984 13235 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19104 13235 231 231 0 18873 0
vsize: 76416
[startup+190.154 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13621 0 0 0 18977 39 0 0 25 0 1 0 397065672 78385152 13274 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19137 13274 231 231 0 18906 0
vsize: 76548
[startup+200.155 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13828 0 0 0 19977 40 0 0 25 0 1 0 397065672 78548992 13481 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19177 13481 231 231 0 18946 0
vsize: 76708
[startup+210.154 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13869 0 0 0 20977 40 0 0 25 0 1 0 397065672 78696448 13522 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19213 13522 231 231 0 18982 0
vsize: 76852
[startup+220.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14039 0 0 0 21976 41 0 0 25 0 1 0 397065672 78835712 13692 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19247 13692 231 231 0 19016 0
vsize: 76988
[startup+230.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14075 0 0 0 22976 41 0 0 25 0 1 0 397065672 78979072 13728 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19282 13728 231 231 0 19051 0
vsize: 77128
[startup+240.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14114 0 0 0 23976 42 0 0 25 0 1 0 397065672 79159296 13767 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19326 13767 231 231 0 19095 0
vsize: 77304
[startup+250.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14276 0 0 0 24975 42 0 0 25 0 1 0 397065672 79323136 13929 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19366 13929 231 231 0 19135 0
vsize: 77464
[startup+260.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14323 0 0 0 25975 42 0 0 25 0 1 0 397065672 79470592 13976 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19402 13976 231 231 0 19171 0
vsize: 77608
[startup+270.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14437 0 0 0 26975 43 0 0 25 0 1 0 397065672 79818752 14090 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19487 14090 231 231 0 19256 0
vsize: 77948
[startup+280.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14491 0 0 0 27974 44 0 0 25 0 1 0 397065672 79982592 14144 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19527 14144 231 231 0 19296 0
vsize: 78108
[startup+290.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14547 0 0 0 28974 44 0 0 25 0 1 0 397065672 80171008 14200 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19573 14200 231 231 0 19342 0
vsize: 78292
[startup+300.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14643 0 0 0 29973 45 0 0 25 0 1 0 397065672 80334848 14296 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19613 14296 231 231 0 19382 0
vsize: 78452
[startup+310.155 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15066 0 0 0 30972 46 0 0 25 0 1 0 397065672 82067456 14334 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20036 14334 231 231 0 19805 0
vsize: 80144
[startup+320.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15154 0 0 0 31972 47 0 0 25 0 1 0 397065672 82231296 14422 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20076 14422 231 231 0 19845 0
vsize: 80304
[startup+330.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15186 0 0 0 32972 47 0 0 25 0 1 0 397065672 82395136 14454 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20116 14454 231 231 0 19885 0
vsize: 80464
[startup+340.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15225 0 0 0 33972 47 0 0 25 0 1 0 397065672 82558976 14493 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20156 14493 231 231 0 19925 0
vsize: 80624
[startup+350.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15263 0 0 0 34971 48 0 0 25 0 1 0 397065672 82558976 14531 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20156 14531 231 231 0 19925 0
vsize: 80624
[startup+360.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15292 0 0 0 35971 49 0 0 25 0 1 0 397065672 82698240 14560 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20190 14560 231 231 0 19959 0
vsize: 80760
[startup+370.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14343
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15351 0 0 0 36971 49 0 0 25 0 1 0 397065672 82698240 14619 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20190 14619 231 231 0 19959 0
vsize: 80760
[startup+380.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15400 0 0 0 37971 49 0 0 25 0 1 0 397065672 83070976 14668 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20281 14668 231 231 0 20050 0
vsize: 81124
[startup+390.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15430 0 0 0 38970 50 0 0 25 0 1 0 397065672 83070976 14698 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20281 14698 231 231 0 20050 0
vsize: 81124
[startup+400.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15475 0 0 0 39970 51 0 0 25 0 1 0 397065672 83218432 14743 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20317 14743 231 231 0 20086 0
vsize: 81268
[startup+410.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15507 0 0 0 40969 51 0 0 25 0 1 0 397065672 83365888 14775 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20353 14775 231 231 0 20122 0
vsize: 81412
[startup+420.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15561 0 0 0 41969 52 0 0 25 0 1 0 397065672 83365888 14829 4294967295 134512640 135450300 3221224640 3221223456 134547853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20353 14829 231 231 0 20122 0
vsize: 81412
[startup+430.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15597 0 0 0 42968 52 0 0 25 0 1 0 397065672 83664896 14865 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20426 14865 231 231 0 20195 0
vsize: 81704
[startup+440.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15617 0 0 0 43968 53 0 0 25 0 1 0 397065672 83664896 14885 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20426 14885 231 231 0 20195 0
vsize: 81704
[startup+450.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15656 0 0 0 44968 53 0 0 25 0 1 0 397065672 83664896 14924 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20426 14924 231 231 0 20195 0
vsize: 81704
[startup+460.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15672 0 0 0 45967 54 0 0 25 0 1 0 397065672 83890176 14940 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20481 14940 231 231 0 20250 0
vsize: 81924
[startup+470.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15698 0 0 0 46968 54 0 0 25 0 1 0 397065672 83890176 14966 4294967295 134512640 135450300 3221224640 3221223116 134572070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20481 14966 231 231 0 20250 0
vsize: 81924
[startup+480.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15717 0 0 0 47968 54 0 0 25 0 1 0 397065672 83890176 14985 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20481 14985 231 231 0 20250 0
vsize: 81924
[startup+490.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15734 0 0 0 48967 55 0 0 25 0 1 0 397065672 84054016 15002 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20521 15002 231 231 0 20290 0
vsize: 82084
[startup+500.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15772 0 0 0 49967 56 0 0 25 0 1 0 397065672 84054016 15040 4294967295 134512640 135450300 3221224640 3221223552 134597062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20521 15040 231 231 0 20290 0
vsize: 82084
[startup+510.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15792 0 0 0 50966 56 0 0 25 0 1 0 397065672 84217856 15060 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20561 15060 231 231 0 20330 0
vsize: 82244
[startup+520.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15836 0 0 0 51965 57 0 0 25 0 1 0 397065672 84422656 15104 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20611 15104 231 231 0 20380 0
vsize: 82444
[startup+530.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15862 0 0 0 52965 57 0 0 25 0 1 0 397065672 84422656 15130 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20611 15130 231 231 0 20380 0
vsize: 82444
[startup+540.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15879 0 0 0 53965 58 0 0 25 0 1 0 397065672 84422656 15147 4294967295 134512640 135450300 3221224640 3221223360 134535929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20611 15147 231 231 0 20380 0
vsize: 82444
[startup+550.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15919 0 0 0 54964 59 0 0 25 0 1 0 397065672 84664320 15187 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20670 15187 231 231 0 20439 0
vsize: 82680
[startup+560.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15964 0 0 0 55964 59 0 0 25 0 1 0 397065672 84828160 15232 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20710 15232 231 231 0 20479 0
vsize: 82840
[startup+570.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15984 0 0 0 56964 60 0 0 25 0 1 0 397065672 84828160 15252 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20710 15252 231 231 0 20479 0
vsize: 82840
[startup+580.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16016 0 0 0 57963 60 0 0 25 0 1 0 397065672 84828160 15284 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20710 15284 231 231 0 20479 0
vsize: 82840
[startup+590.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16057 0 0 0 58963 60 0 0 25 0 1 0 397065672 85176320 15325 4294967295 134512640 135450300 3221224640 3221223376 134538472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20795 15325 231 231 0 20564 0
vsize: 83180
[startup+600.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16075 0 0 0 59963 61 0 0 25 0 1 0 397065672 85176320 15343 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20795 15343 231 231 0 20564 0
vsize: 83180
[startup+610.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16117 0 0 0 60962 61 0 0 25 0 1 0 397065672 85176320 15385 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20795 15385 231 231 0 20564 0
vsize: 83180
[startup+620.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16133 0 0 0 61962 62 0 0 25 0 1 0 397065672 85176320 15401 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20795 15401 231 231 0 20564 0
vsize: 83180
[startup+630.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16155 0 0 0 62962 62 0 0 25 0 1 0 397065672 85340160 15423 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20835 15423 231 231 0 20604 0
vsize: 83340
[startup+640.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16176 0 0 0 63961 63 0 0 25 0 1 0 397065672 85495808 15444 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20873 15444 231 231 0 20642 0
vsize: 83492
[startup+650.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16190 0 0 0 64960 64 0 0 25 0 1 0 397065672 85495808 15458 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20873 15458 231 231 0 20642 0
vsize: 83492
[startup+660.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16222 0 0 0 65960 64 0 0 25 0 1 0 397065672 85495808 15490 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20873 15490 231 231 0 20642 0
vsize: 83492
[startup+670.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14345
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16239 0 0 0 66959 65 0 0 25 0 1 0 397065672 85630976 15507 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20906 15507 231 231 0 20675 0
vsize: 83624
[startup+680.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16276 0 0 0 67959 66 0 0 25 0 1 0 397065672 85794816 15544 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20946 15544 231 231 0 20715 0
vsize: 83784
[startup+690.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16293 0 0 0 68959 66 0 0 25 0 1 0 397065672 85794816 15561 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20946 15561 231 231 0 20715 0
vsize: 83784
[startup+700.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16324 0 0 0 69958 67 0 0 25 0 1 0 397065672 85794816 15592 4294967295 134512640 135450300 3221224640 3221223024 134602233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20946 15592 231 231 0 20715 0
vsize: 83784
[startup+710.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16352 0 0 0 70958 67 0 0 25 0 1 0 397065672 85938176 15620 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20981 15620 231 231 0 20750 0
vsize: 83924
[startup+720.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16391 0 0 0 71957 68 0 0 25 0 1 0 397065672 86102016 15659 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21021 15659 231 231 0 20790 0
vsize: 84084
[startup+730.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16414 0 0 0 72957 68 0 0 25 0 1 0 397065672 86102016 15682 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21021 15682 231 231 0 20790 0
vsize: 84084
[startup+740.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16431 0 0 0 73958 68 0 0 25 0 1 0 397065672 86102016 15699 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21021 15699 231 231 0 20790 0
vsize: 84084
[startup+750.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16445 0 0 0 74958 69 0 0 25 0 1 0 397065672 86253568 15713 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21058 15713 231 231 0 20827 0
vsize: 84232
[startup+760.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16462 0 0 0 75957 69 0 0 25 0 1 0 397065672 86253568 15730 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21058 15730 231 231 0 20827 0
vsize: 84232
[startup+770.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16500 0 0 0 76957 70 0 0 25 0 1 0 397065672 86417408 15768 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21098 15768 231 231 0 20867 0
vsize: 84392
[startup+780.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16523 0 0 0 77957 70 0 0 25 0 1 0 397065672 86417408 15791 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21098 15791 231 231 0 20867 0
vsize: 84392
[startup+790.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16535 0 0 0 78957 70 0 0 25 0 1 0 397065672 86417408 15803 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21098 15803 231 231 0 20867 0
vsize: 84392
[startup+800.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17335 0 0 0 79955 72 0 0 25 0 1 0 397065672 89726976 15834 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21906 15834 231 231 0 21675 0
vsize: 87624
[startup+810.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17351 0 0 0 80955 73 0 0 25 0 1 0 397065672 89726976 15850 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21906 15850 231 231 0 21675 0
vsize: 87624
[startup+820.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17376 0 0 0 81955 73 0 0 25 0 1 0 397065672 89890816 15875 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21946 15875 231 231 0 21715 0
vsize: 87784
[startup+830.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17409 0 0 0 82955 73 0 0 25 0 1 0 397065672 89890816 15908 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21946 15908 231 231 0 21715 0
vsize: 87784
[startup+840.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17438 0 0 0 83955 73 0 0 25 0 1 0 397065672 90054656 15937 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21986 15937 231 231 0 21755 0
vsize: 87944
[startup+850.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17464 0 0 0 84954 74 0 0 25 0 1 0 397065672 90226688 15963 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22028 15963 231 231 0 21797 0
vsize: 88112
[startup+860.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17481 0 0 0 85954 74 0 0 25 0 1 0 397065672 90226688 15980 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22028 15980 231 231 0 21797 0
vsize: 88112
[startup+870.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17493 0 0 0 86953 75 0 0 25 0 1 0 397065672 90226688 15992 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22028 15992 231 231 0 21797 0
vsize: 88112
[startup+880.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17508 0 0 0 87953 76 0 0 25 0 1 0 397065672 90226688 16007 4294967295 134512640 135450300 3221224640 3221223104 134532583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22028 16007 231 231 0 21797 0
vsize: 88112
[startup+890.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17520 0 0 0 88953 76 0 0 25 0 1 0 397065672 90226688 16019 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22028 16019 231 231 0 21797 0
vsize: 88112
[startup+900.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17533 0 0 0 89953 76 0 0 25 0 1 0 397065672 90226688 16032 4294967295 134512640 135450300 3221224640 3221223476 134538632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22028 16032 231 231 0 21797 0
vsize: 88112
[startup+910.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17556 0 0 0 90953 77 0 0 25 0 1 0 397065672 90411008 16055 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22073 16055 231 231 0 21842 0
vsize: 88292
[startup+920.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17578 0 0 0 91953 77 0 0 25 0 1 0 397065672 90411008 16077 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22073 16077 231 231 0 21842 0
vsize: 88292
[startup+930.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17602 0 0 0 92953 77 0 0 25 0 1 0 397065672 90574848 16101 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22113 16101 231 231 0 21882 0
vsize: 88452
[startup+940.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17619 0 0 0 93953 77 0 0 25 0 1 0 397065672 90574848 16118 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22113 16118 231 231 0 21882 0
vsize: 88452
[startup+950.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17637 0 0 0 94953 77 0 0 25 0 1 0 397065672 90574848 16136 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22113 16136 231 231 0 21882 0
vsize: 88452
[startup+960.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17652 0 0 0 95952 78 0 0 25 0 1 0 397065672 90574848 16151 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22113 16151 231 231 0 21882 0
vsize: 88452
[startup+970.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14347
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17669 0 0 0 96952 78 0 0 25 0 1 0 397065672 90574848 16168 4294967295 134512640 135450300 3221224640 3221223024 134602233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22113 16168 231 231 0 21882 0
vsize: 88452
[startup+980.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17684 0 0 0 97952 79 0 0 25 0 1 0 397065672 90767360 16183 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22160 16183 231 231 0 21929 0
vsize: 88640
[startup+990.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17695 0 0 0 98952 79 0 0 25 0 1 0 397065672 90767360 16194 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22160 16194 231 231 0 21929 0
vsize: 88640
[startup+1000.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17710 0 0 0 99952 79 0 0 25 0 1 0 397065672 90767360 16209 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22160 16209 231 231 0 21929 0
vsize: 88640
[startup+1010.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17723 0 0 0 100952 79 0 0 25 0 1 0 397065672 90767360 16222 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22160 16222 231 231 0 21929 0
vsize: 88640
[startup+1020.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17739 0 0 0 101951 80 0 0 25 0 1 0 397065672 90767360 16238 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22160 16238 231 231 0 21929 0
vsize: 88640
[startup+1030.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17764 0 0 0 102951 80 0 0 25 0 1 0 397065672 90767360 16263 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22160 16263 231 231 0 21929 0
vsize: 88640
[startup+1040.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17787 0 0 0 103950 81 0 0 25 0 1 0 397065672 90767360 16286 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22160 16286 231 231 0 21929 0
vsize: 88640
[startup+1050.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17802 0 0 0 104950 81 0 0 25 0 1 0 397065672 90972160 16301 4294967295 134512640 135450300 3221224640 3221223116 134572561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22210 16301 231 231 0 21979 0
vsize: 88840
[startup+1060.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17816 0 0 0 105949 82 0 0 25 0 1 0 397065672 90972160 16315 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22210 16315 231 231 0 21979 0
vsize: 88840
[startup+1070.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17837 0 0 0 106950 82 0 0 25 0 1 0 397065672 91136000 16336 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22250 16336 231 231 0 22019 0
vsize: 89000
[startup+1080.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17867 0 0 0 107949 83 0 0 25 0 1 0 397065672 91136000 16366 4294967295 134512640 135450300 3221224640 3221223024 134579455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22250 16366 231 231 0 22019 0
vsize: 89000
[startup+1090.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17900 0 0 0 108949 83 0 0 25 0 1 0 397065672 91136000 16399 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22250 16399 231 231 0 22019 0
vsize: 89000
[startup+1100.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17919 0 0 0 109949 84 0 0 25 0 1 0 397065672 91299840 16418 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22290 16418 231 231 0 22059 0
vsize: 89160
[startup+1110.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17932 0 0 0 110949 84 0 0 25 0 1 0 397065672 91299840 16431 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22290 16431 231 231 0 22059 0
vsize: 89160
[startup+1120.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17947 0 0 0 111948 84 0 0 25 0 1 0 397065672 91516928 16446 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16446 231 231 0 22112 0
vsize: 89372
[startup+1130.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17957 0 0 0 112948 85 0 0 25 0 1 0 397065672 91516928 16456 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16456 231 231 0 22112 0
vsize: 89372
[startup+1140.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17972 0 0 0 113948 85 0 0 25 0 1 0 397065672 91516928 16471 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16471 231 231 0 22112 0
vsize: 89372
[startup+1150.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17985 0 0 0 114947 86 0 0 25 0 1 0 397065672 91516928 16484 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16484 231 231 0 22112 0
vsize: 89372
[startup+1160.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18004 0 0 0 115947 87 0 0 25 0 1 0 397065672 91516928 16503 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16503 231 231 0 22112 0
vsize: 89372
[startup+1170.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18020 0 0 0 116947 87 0 0 25 0 1 0 397065672 91516928 16519 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16519 231 231 0 22112 0
vsize: 89372
[startup+1180.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18034 0 0 0 117947 87 0 0 25 0 1 0 397065672 91516928 16533 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16533 231 231 0 22112 0
vsize: 89372
[startup+1190.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18054 0 0 0 118946 88 0 0 25 0 1 0 397065672 91516928 16553 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22343 16553 231 231 0 22112 0
vsize: 89372
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14349
Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18068 0 0 0 119946 88 0 0 25 0 1 0 397065672 91750400 16567 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22400 16567 231 231 0 22169 0
vsize: 89600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 14349
Raw data (stat): 14284 (PBS4) Z 14283 12452 12451 0 -1 1036 18068 0 0 0 119946 91 0 0 25 0 1 0 397065672 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.22
CPU time (s): 1200.38
CPU user time (s): 1199.46
CPU system time (s): 0.913861
CPU usage (%): 100.013
Max. virtual memory (Kb): 89600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####