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/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM	a5354df485c2b6c1695d0d26c0cdb212
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	125982
Number of constraints which are clauses	125982
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 7945

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        829384 kB
Buffers:         38160 kB
Cached:         143568 kB
SwapCached:       2144 kB
Active:          93136 kB
Inactive:        93552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        829132 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            13068 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:43:13 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 3174 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-frb59-26-5.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 25079
Raw data (stat): 25079 (runsolver) R 25078 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454060431 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+9.99956 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 4604 0 0 0 986 13 0 0 25 0 1 0 454060431 23285760 3868 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5685 3868 231 231 0 5454 0
vsize: 22740
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 6947 0 0 0 1980 19 0 0 25 0 1 0 454060431 40198144 6211 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9814 6211 231 231 0 9583 0
vsize: 39256
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 8910 0 0 0 2974 25 0 0 25 0 1 0 454060431 40198144 8174 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9814 8174 231 231 0 9583 0
vsize: 39256
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 10544 0 0 0 3970 29 0 0 25 0 1 0 454060431 73900032 9808 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 9808 231 231 0 17811 0
vsize: 72168
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 12278 0 0 0 4966 33 0 0 25 0 1 0 454060431 73900032 11542 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 11542 231 231 0 17811 0
vsize: 72168
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 14082 0 0 0 5962 37 0 0 25 0 1 0 454060431 73900032 13346 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 13346 231 231 0 17811 0
vsize: 72168
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 15626 0 0 0 6958 42 0 0 25 0 1 0 454060431 74035200 14890 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18075 14890 231 231 0 17844 0
vsize: 72300
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 16957 0 0 0 7955 44 0 0 25 0 1 0 454060431 74035200 16221 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18075 16221 231 231 0 17844 0
vsize: 72300
[startup+90.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 17976 0 0 0 8954 46 0 0 25 0 1 0 454060431 74182656 17240 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18111 17240 231 231 0 17880 0
vsize: 72444
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 20687 0 0 0 9949 51 0 0 25 0 1 0 454060431 144601088 19182 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35303 19182 231 231 0 35072 0
vsize: 141212
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 22290 0 0 0 10945 55 0 0 25 0 1 0 454060431 144601088 20785 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35303 20785 231 231 0 35072 0
vsize: 141212
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 23708 0 0 0 11943 57 0 0 25 0 1 0 454060431 144601088 22203 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35303 22203 231 231 0 35072 0
vsize: 141212
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 24476 0 0 0 12942 59 0 0 25 0 1 0 454060431 144601088 22971 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35303 22971 231 231 0 35072 0
vsize: 141212
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 25797 0 0 0 13939 62 0 0 25 0 1 0 454060431 145027072 24292 4294967295 134512640 135450300 3221224640 3221223108 134580040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35407 24292 231 231 0 35176 0
vsize: 141628
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 27518 0 0 0 14935 66 0 0 25 0 1 0 454060431 146558976 26013 4294967295 134512640 135450300 3221224640 3221223116 134571990 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35781 26013 231 231 0 35550 0
vsize: 143124
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 29090 0 0 0 15931 70 0 0 25 0 1 0 454060431 146886656 27585 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35861 27585 231 231 0 35630 0
vsize: 143444
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 29149 0 0 0 16931 71 0 0 25 0 1 0 454060431 147173376 27644 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35931 27644 231 231 0 35700 0
vsize: 143724
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 29196 0 0 0 17931 71 0 0 25 0 1 0 454060431 147324928 27691 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35968 27691 231 231 0 35737 0
vsize: 143872
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 30406 0 0 0 18928 73 0 0 25 0 1 0 454060431 147460096 28901 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36001 28901 231 231 0 35770 0
vsize: 144004
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 31750 0 0 0 19926 76 0 0 25 0 1 0 454060431 147603456 30245 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36036 30245 231 231 0 35805 0
vsize: 144144
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 33206 0 0 0 20922 80 0 0 25 0 1 0 454060431 147738624 31701 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36069 31701 231 231 0 35838 0
vsize: 144276
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 34583 0 0 0 21920 83 0 0 25 0 1 0 454060431 147873792 33078 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36102 33078 231 231 0 35871 0
vsize: 144408
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 36333 0 0 0 22915 87 0 0 25 0 1 0 454060431 148037632 34828 4294967295 134512640 135450300 3221224640 3221223024 134579589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36142 34828 231 231 0 35911 0
vsize: 144568
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 36717 0 0 0 23915 88 0 0 25 0 1 0 454060431 282525696 35212 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68976 35212 231 231 0 68745 0
vsize: 275904
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 36726 0 0 0 24915 88 0 0 25 0 1 0 454060431 282525696 35221 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68976 35221 231 231 0 68745 0
vsize: 275904
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 36815 0 0 0 25915 88 0 0 25 0 1 0 454060431 282955776 35310 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69081 35310 231 231 0 68850 0
vsize: 276324
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 36853 0 0 0 26915 88 0 0 25 0 1 0 454060431 283095040 35348 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69115 35348 231 231 0 68884 0
vsize: 276460
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 36859 0 0 0 27915 88 0 0 25 0 1 0 454060431 283095040 35354 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69115 35354 231 231 0 68884 0
vsize: 276460
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 36896 0 0 0 28915 89 0 0 25 0 1 0 454060431 283254784 35391 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69154 35391 231 231 0 68923 0
vsize: 276616
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 37269 0 0 0 29914 90 0 0 25 0 1 0 454060431 283389952 35764 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69187 35764 231 231 0 68956 0
vsize: 276748
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 37291 0 0 0 30914 90 0 0 25 0 1 0 454060431 283529216 35786 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69221 35786 231 231 0 68990 0
vsize: 276884
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 37336 0 0 0 31913 90 0 0 25 0 1 0 454060431 283664384 35831 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69254 35831 231 231 0 69023 0
vsize: 277016
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 37341 0 0 0 32914 90 0 0 25 0 1 0 454060431 283664384 35836 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69254 35836 231 231 0 69023 0
vsize: 277016
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 37399 0 0 0 33913 91 0 0 25 0 1 0 454060431 283971584 35894 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69329 35894 231 231 0 69098 0
vsize: 277316
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 37837 0 0 0 34912 92 0 0 25 0 1 0 454060431 284434432 36332 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69442 36332 231 231 0 69211 0
vsize: 277768
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 38950 0 0 0 35911 93 0 0 25 0 1 0 454060431 284745728 37445 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69518 37445 231 231 0 69287 0
vsize: 278072
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 40222 0 0 0 36908 96 0 0 25 0 1 0 454060431 285384704 38717 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69674 38717 231 231 0 69443 0
vsize: 278696
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41099 0 0 0 37907 98 0 0 25 0 1 0 454060431 285384704 39594 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69674 39594 231 231 0 69443 0
vsize: 278696
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41154 0 0 0 38907 98 0 0 25 0 1 0 454060431 285548544 39649 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69714 39649 231 231 0 69483 0
vsize: 278856
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41205 0 0 0 39907 99 0 0 25 0 1 0 454060431 285818880 39700 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69780 39700 231 231 0 69549 0
vsize: 279120
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41209 0 0 0 40907 99 0 0 25 0 1 0 454060431 285818880 39704 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69780 39704 231 231 0 69549 0
vsize: 279120
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41274 0 0 0 41907 99 0 0 25 0 1 0 454060431 286146560 39769 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69860 39769 231 231 0 69629 0
vsize: 279440
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41276 0 0 0 42907 99 0 0 25 0 1 0 454060431 286146560 39771 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69860 39771 231 231 0 69629 0
vsize: 279440
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41324 0 0 0 43906 99 0 0 25 0 1 0 454060431 286289920 39819 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69895 39819 231 231 0 69664 0
vsize: 279580
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 41397 0 0 0 44907 99 0 0 25 0 1 0 454060431 286699520 39892 4294967295 134512640 135450300 3221224640 3221223360 134535929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69995 39892 231 231 0 69764 0
vsize: 279980
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42537 0 0 0 45904 102 0 0 25 0 1 0 454060431 286998528 41032 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70068 41032 231 231 0 69837 0
vsize: 280272
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42819 0 0 0 46903 103 0 0 25 0 1 0 454060431 286998528 41314 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70068 41314 231 231 0 69837 0
vsize: 280272
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42823 0 0 0 47903 104 0 0 25 0 1 0 454060431 286998528 41318 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70068 41318 231 231 0 69837 0
vsize: 280272
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42868 0 0 0 48903 104 0 0 25 0 1 0 454060431 287154176 41363 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70106 41363 231 231 0 69875 0
vsize: 280424
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42916 0 0 0 49903 104 0 0 25 0 1 0 454060431 287444992 41411 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70177 41411 231 231 0 69946 0
vsize: 280708
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42919 0 0 0 50903 104 0 0 25 0 1 0 454060431 287444992 41414 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70177 41414 231 231 0 69946 0
vsize: 280708
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42991 0 0 0 51903 104 0 0 25 0 1 0 454060431 287592448 41486 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70213 41486 231 231 0 69982 0
vsize: 280852
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 42993 0 0 0 52903 104 0 0 25 0 1 0 454060431 287592448 41488 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70213 41488 231 231 0 69982 0
vsize: 280852
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 43799 0 0 0 53901 107 0 0 25 0 1 0 454060431 287862784 42294 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70279 42294 231 231 0 70048 0
vsize: 281116
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44077 0 0 0 54900 107 0 0 25 0 1 0 454060431 287997952 42572 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70312 42572 231 231 0 70081 0
vsize: 281248
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44080 0 0 0 55900 108 0 0 25 0 1 0 454060431 287997952 42575 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70312 42575 231 231 0 70081 0
vsize: 281248
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44110 0 0 0 56900 108 0 0 25 0 1 0 454060431 288284672 42605 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70382 42605 231 231 0 70151 0
vsize: 281528
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44114 0 0 0 57900 108 0 0 25 0 1 0 454060431 288284672 42609 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70382 42609 231 231 0 70151 0
vsize: 281528
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44140 0 0 0 58900 108 0 0 25 0 1 0 454060431 288284672 42635 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70382 42635 231 231 0 70151 0
vsize: 281528
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44168 0 0 0 59900 108 0 0 25 0 1 0 454060431 288423936 42663 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70416 42663 231 231 0 70185 0
vsize: 281664
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44183 0 0 0 60900 109 0 0 25 0 1 0 454060431 288423936 42678 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70416 42678 231 231 0 70185 0
vsize: 281664
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 44271 0 0 0 61900 109 0 0 25 0 1 0 454060431 289038336 42766 4294967295 134512640 135450300 3221224640 3221223024 134602091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70566 42766 231 231 0 70335 0
vsize: 282264
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45013 0 0 0 62899 110 0 0 25 0 1 0 454060431 289038336 43508 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70566 43508 231 231 0 70335 0
vsize: 282264
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45048 0 0 0 63899 111 0 0 25 0 1 0 454060431 289185792 43543 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70602 43543 231 231 0 70371 0
vsize: 282408
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45087 0 0 0 64899 111 0 0 25 0 1 0 454060431 289349632 43582 4294967295 134512640 135450300 3221224640 3221223108 134580040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70642 43582 231 231 0 70411 0
vsize: 282568
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45091 0 0 0 65899 111 0 0 25 0 1 0 454060431 289349632 43586 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70642 43586 231 231 0 70411 0
vsize: 282568
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45123 0 0 0 66899 111 0 0 25 0 1 0 454060431 289497088 43618 4294967295 134512640 135450300 3221224640 3221223376 134538880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70678 43618 231 231 0 70447 0
vsize: 282712
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45126 0 0 0 67898 112 0 0 25 0 1 0 454060431 289497088 43621 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70678 43621 231 231 0 70447 0
vsize: 282712
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45160 0 0 0 68899 112 0 0 25 0 1 0 454060431 289632256 43655 4294967295 134512640 135450300 3221224640 3221223116 134572070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70711 43655 231 231 0 70480 0
vsize: 282844
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45188 0 0 0 69898 112 0 0 25 0 1 0 454060431 289787904 43683 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70749 43683 231 231 0 70518 0
vsize: 282996
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45470 0 0 0 70898 113 0 0 25 0 1 0 454060431 289787904 43965 4294967295 134512640 135450300 3221224640 3221223472 134549475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70749 43965 231 231 0 70518 0
vsize: 282996
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45792 0 0 0 71897 114 0 0 25 0 1 0 454060431 289935360 44287 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70785 44287 231 231 0 70554 0
vsize: 283140
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45795 0 0 0 72897 114 0 0 25 0 1 0 454060431 289935360 44290 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70785 44290 231 231 0 70554 0
vsize: 283140
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45827 0 0 0 73897 114 0 0 25 0 1 0 454060431 290074624 44322 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70819 44322 231 231 0 70588 0
vsize: 283276
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45830 0 0 0 74897 114 0 0 25 0 1 0 454060431 290074624 44325 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70819 44325 231 231 0 70588 0
vsize: 283276
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45853 0 0 0 75897 114 0 0 25 0 1 0 454060431 290074624 44348 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70819 44348 231 231 0 70588 0
vsize: 283276
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45862 0 0 0 76897 114 0 0 25 0 1 0 454060431 290242560 44357 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70860 44357 231 231 0 70629 0
vsize: 283440
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45866 0 0 0 77897 114 0 0 25 0 1 0 454060431 290242560 44361 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70860 44361 231 231 0 70629 0
vsize: 283440
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 45892 0 0 0 78897 115 0 0 25 0 1 0 454060431 290242560 44387 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70860 44387 231 231 0 70629 0
vsize: 283440
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46167 0 0 0 79897 115 0 0 25 0 1 0 454060431 290242560 44662 4294967295 134512640 135450300 3221224640 3221223116 134571937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70860 44662 231 231 0 70629 0
vsize: 283440
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46297 0 0 0 80897 115 0 0 25 0 1 0 454060431 290377728 44792 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70893 44792 231 231 0 70662 0
vsize: 283572
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46301 0 0 0 81897 116 0 0 25 0 1 0 454060431 290377728 44796 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70893 44796 231 231 0 70662 0
vsize: 283572
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46326 0 0 0 82897 116 0 0 25 0 1 0 454060431 290549760 44821 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70935 44821 231 231 0 70704 0
vsize: 283740
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46340 0 0 0 83897 116 0 0 25 0 1 0 454060431 290549760 44835 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70935 44835 231 231 0 70704 0
vsize: 283740
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46344 0 0 0 84897 116 0 0 25 0 1 0 454060431 290549760 44839 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70935 44839 231 231 0 70704 0
vsize: 283740
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46382 0 0 0 85897 116 0 0 25 0 1 0 454060431 290713600 44877 4294967295 134512640 135450300 3221224640 3221223472 134549654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70975 44877 231 231 0 70744 0
vsize: 283900
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46418 0 0 0 86897 116 0 0 25 0 1 0 454060431 290869248 44913 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71013 44913 231 231 0 70782 0
vsize: 284052
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46436 0 0 0 87897 117 0 0 25 0 1 0 454060431 290869248 44931 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71013 44931 231 231 0 70782 0
vsize: 284052
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46712 0 0 0 88897 117 0 0 25 0 1 0 454060431 290869248 45207 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71013 45207 231 231 0 70782 0
vsize: 284052
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46765 0 0 0 89897 117 0 0 25 0 1 0 454060431 291201024 45260 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71094 45260 231 231 0 70863 0
vsize: 284376
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46832 0 0 0 90897 117 0 0 25 0 1 0 454060431 291504128 45327 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71168 45327 231 231 0 70937 0
vsize: 284672
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46840 0 0 0 91897 117 0 0 25 0 1 0 454060431 291504128 45335 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71168 45335 231 231 0 70937 0
vsize: 284672
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46881 0 0 0 92897 117 0 0 25 0 1 0 454060431 291831808 45376 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71248 45376 231 231 0 71017 0
vsize: 284992
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46884 0 0 0 93897 117 0 0 25 0 1 0 454060431 291831808 45379 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71248 45379 231 231 0 71017 0
vsize: 284992
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46904 0 0 0 94897 118 0 0 25 0 1 0 454060431 291831808 45399 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71248 45399 231 231 0 71017 0
vsize: 284992
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 46910 0 0 0 95897 118 0 0 25 0 1 0 454060431 291831808 45405 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71248 45405 231 231 0 71017 0
vsize: 284992
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47105 0 0 0 96897 118 0 0 25 0 1 0 454060431 291831808 45600 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71248 45600 231 231 0 71017 0
vsize: 284992
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47135 0 0 0 97897 118 0 0 25 0 1 0 454060431 291995648 45630 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71288 45630 231 231 0 71057 0
vsize: 285152
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47137 0 0 0 98897 119 0 0 25 0 1 0 454060431 291995648 45632 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71288 45632 231 231 0 71057 0
vsize: 285152
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47161 0 0 0 99897 119 0 0 25 0 1 0 454060431 292159488 45656 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71328 45656 231 231 0 71097 0
vsize: 285312
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47163 0 0 0 100897 119 0 0 25 0 1 0 454060431 292159488 45658 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71328 45658 231 231 0 71097 0
vsize: 285312
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47181 0 0 0 101897 119 0 0 25 0 1 0 454060431 292323328 45676 4294967295 134512640 135450300 3221224640 3221223168 134543801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71368 45676 231 231 0 71137 0
vsize: 285472
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47200 0 0 0 102897 119 0 0 25 0 1 0 454060431 292323328 45695 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71368 45695 231 231 0 71137 0
vsize: 285472
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47204 0 0 0 103897 119 0 0 25 0 1 0 454060431 292323328 45699 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71368 45699 231 231 0 71137 0
vsize: 285472
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47217 0 0 0 104897 119 0 0 25 0 1 0 454060431 292323328 45712 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71368 45712 231 231 0 71137 0
vsize: 285472
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47339 0 0 0 105897 120 0 0 25 0 1 0 454060431 292323328 45834 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71368 45834 231 231 0 71137 0
vsize: 285472
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47361 0 0 0 106897 120 0 0 25 0 1 0 454060431 292323328 45856 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71368 45856 231 231 0 71137 0
vsize: 285472
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47364 0 0 0 107897 120 0 0 25 0 1 0 454060431 292323328 45859 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71368 45859 231 231 0 71137 0
vsize: 285472
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47392 0 0 0 108897 121 0 0 25 0 1 0 454060431 292626432 45887 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71442 45887 231 231 0 71211 0
vsize: 285768
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47394 0 0 0 109897 121 0 0 25 0 1 0 454060431 292626432 45889 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71442 45889 231 231 0 71211 0
vsize: 285768
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47415 0 0 0 110897 121 0 0 25 0 1 0 454060431 292626432 45910 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71442 45910 231 231 0 71211 0
vsize: 285768
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47544 0 0 0 111897 121 0 0 25 0 1 0 454060431 293117952 46039 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71562 46039 231 231 0 71331 0
vsize: 286248
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47597 0 0 0 112897 122 0 0 25 0 1 0 454060431 293314560 46092 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71610 46092 231 231 0 71379 0
vsize: 286440
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47636 0 0 0 113897 122 0 0 25 0 1 0 454060431 293511168 46131 4294967295 134512640 135450300 3221224640 3221223104 134532738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71658 46131 231 231 0 71427 0
vsize: 286632
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47639 0 0 0 114897 122 0 0 25 0 1 0 454060431 293511168 46134 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71658 46134 231 231 0 71427 0
vsize: 286632
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47752 0 0 0 115896 122 0 0 25 0 1 0 454060431 293511168 46247 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71658 46247 231 231 0 71427 0
vsize: 286632
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47754 0 0 0 116896 123 0 0 25 0 1 0 454060431 293511168 46249 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71658 46249 231 231 0 71427 0
vsize: 286632
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47794 0 0 0 117896 123 0 0 25 0 1 0 454060431 293851136 46289 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71741 46289 231 231 0 71510 0
vsize: 286964
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47798 0 0 0 118896 124 0 0 25 0 1 0 454060431 293851136 46293 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71741 46293 231 231 0 71510 0
vsize: 286964
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25079
Raw data (stat): 25079 (PBS4) R 25078 29151 29150 0 -1 0 47803 0 0 0 119896 124 0 0 25 0 1 0 454060431 293851136 46298 4294967295 134512640 135450300 3221224640 3221223080 134579201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71741 46298 231 231 0 71510 0
vsize: 286964
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25079
Raw data (stat): 25079 (PBS4) Z 25078 29151 29150 0 -1 1036 47803 0 0 0 119896 132 0 0 25 0 1 0 454060431 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.1
CPU time (s): 1200.29
CPU user time (s): 1198.96
CPU system time (s): 1.3268
CPU usage (%): 100.016
Max. virtual memory (Kb): 286964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####