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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 22106

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        799880 kB
Buffers:          5972 kB
Cached:         208788 kB
SwapCached:        732 kB
Active:          34048 kB
Inactive:       182576 kB
HighTotal:      131008 kB
HighFree:        88536 kB
LowTotal:       903652 kB
LowFree:        711344 kB
SwapTotal:     2097892 kB
SwapFree:      2096216 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            12456 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 02:24:30 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 12122 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-p0201.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): 1.01 1.00 0.96 2/54 18781
Raw data (stat): 18781 (runsolver) R 18780 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549988445 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18781
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 766 0 0 0 996 3 0 0 25 0 1 0 549988445 3825664 762 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 934 762 231 231 0 703 0
vsize: 3736
[startup+20.0005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18781
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 1149 0 0 0 1994 5 0 0 25 0 1 0 549988445 6389760 1096 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1560 1096 231 231 0 1329 0
vsize: 6240
[startup+30.0009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18781
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 1493 0 0 0 2992 7 0 0 25 0 1 0 549988445 10723328 1440 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1440 231 231 0 2387 0
vsize: 10472
[startup+40.0008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18781
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 1832 0 0 0 3990 9 0 0 25 0 1 0 549988445 11255808 1682 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2748 1682 231 231 0 2517 0
vsize: 10992
[startup+50.0014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18781
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 2081 0 0 0 4989 10 0 0 25 0 1 0 549988445 11255808 1931 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2748 1931 231 231 0 2517 0
vsize: 10992
[startup+60.0007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18781
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 2338 0 0 0 5988 12 0 0 25 0 1 0 549988445 11390976 2188 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2781 2188 231 231 0 2550 0
vsize: 11124
[startup+70.0016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 2595 0 0 0 6986 14 0 0 25 0 1 0 549988445 11390976 2445 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2781 2445 231 231 0 2550 0
vsize: 11124
[startup+80.0022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 2845 0 0 0 7985 15 0 0 25 0 1 0 549988445 20049920 2695 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4895 2695 231 231 0 4664 0
vsize: 19580
[startup+90.0014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 3051 0 0 0 8984 17 0 0 25 0 1 0 549988445 20049920 2901 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4895 2901 231 231 0 4664 0
vsize: 19580
[startup+100.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 3230 0 0 0 9983 17 0 0 25 0 1 0 549988445 20189184 3080 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4929 3080 231 231 0 4698 0
vsize: 19716
[startup+110.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 3460 0 0 0 10982 18 0 0 25 0 1 0 549988445 20189184 3310 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4929 3310 231 231 0 4698 0
vsize: 19716
[startup+120.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 3554 0 0 0 11981 19 0 0 25 0 1 0 549988445 20328448 3404 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4963 3404 231 231 0 4732 0
vsize: 19852
[startup+130.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 3926 0 0 0 12980 21 0 0 25 0 1 0 549988445 21254144 3583 4294967295 134512640 135450300 3221224624 3221222984 134598017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 3583 231 231 0 4958 0
vsize: 20756
[startup+140.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4087 0 0 0 13979 22 0 0 25 0 1 0 549988445 21254144 3744 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 3744 231 231 0 4958 0
vsize: 20756
[startup+150.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4141 0 0 0 14979 22 0 0 25 0 1 0 549988445 21254144 3798 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 3798 231 231 0 4958 0
vsize: 20756
[startup+160.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4329 0 0 0 15978 23 0 0 25 0 1 0 549988445 21393408 3986 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 3986 231 231 0 4992 0
vsize: 20892
[startup+170.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4413 0 0 0 16978 24 0 0 25 0 1 0 549988445 21393408 4070 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4070 231 231 0 4992 0
vsize: 20892
[startup+180.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4557 0 0 0 17977 25 0 0 25 0 1 0 549988445 21528576 4214 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4214 231 231 0 5025 0
vsize: 21024
[startup+190.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4655 0 0 0 18976 26 0 0 25 0 1 0 549988445 21528576 4312 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4312 231 231 0 5025 0
vsize: 21024
[startup+200.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4775 0 0 0 19976 27 0 0 25 0 1 0 549988445 21692416 4432 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4432 231 231 0 5065 0
vsize: 21184
[startup+210.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 4911 0 0 0 20975 27 0 0 25 0 1 0 549988445 21692416 4568 4294967295 134512640 135450300 3221224624 3221223456 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4568 231 231 0 5065 0
vsize: 21184
[startup+220.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5016 0 0 0 21974 28 0 0 25 0 1 0 549988445 21692416 4673 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4673 231 231 0 5065 0
vsize: 21184
[startup+230.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5151 0 0 0 22974 29 0 0 25 0 1 0 549988445 21839872 4808 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4808 231 231 0 5101 0
vsize: 21328
[startup+240.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5272 0 0 0 23973 30 0 0 25 0 1 0 549988445 21839872 4929 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4929 231 231 0 5101 0
vsize: 21328
[startup+250.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5336 0 0 0 24973 31 0 0 25 0 1 0 549988445 21839872 4993 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4993 231 231 0 5101 0
vsize: 21328
[startup+260.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5435 0 0 0 25972 31 0 0 25 0 1 0 549988445 38756352 5092 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 5092 231 231 0 9231 0
vsize: 37848
[startup+270.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5560 0 0 0 26972 32 0 0 25 0 1 0 549988445 38756352 5217 4294967295 134512640 135450300 3221224624 3221223360 134538191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 5217 231 231 0 9231 0
vsize: 37848
[startup+280.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5679 0 0 0 27971 33 0 0 25 0 1 0 549988445 38756352 5336 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 5336 231 231 0 9231 0
vsize: 37848
[startup+290.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5760 0 0 0 28971 33 0 0 25 0 1 0 549988445 38756352 5417 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 5417 231 231 0 9231 0
vsize: 37848
[startup+300.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5884 0 0 0 29970 34 0 0 25 0 1 0 549988445 38903808 5541 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 5541 231 231 0 9267 0
vsize: 37992
[startup+310.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 5984 0 0 0 30970 34 0 0 25 0 1 0 549988445 38903808 5641 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 5641 231 231 0 9267 0
vsize: 37992
[startup+320.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6052 0 0 0 31970 35 0 0 25 0 1 0 549988445 39038976 5709 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9531 5709 231 231 0 9300 0
vsize: 38124
[startup+330.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6074 0 0 0 32969 36 0 0 25 0 1 0 549988445 39038976 5731 4294967295 134512640 135450300 3221224624 3221223440 134536520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9531 5731 231 231 0 9300 0
vsize: 38124
[startup+340.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6156 0 0 0 33969 36 0 0 25 0 1 0 549988445 39186432 5813 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9567 5813 231 231 0 9336 0
vsize: 38268
[startup+350.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6264 0 0 0 34969 37 0 0 25 0 1 0 549988445 39337984 5921 4294967295 134512640 135450300 3221224624 3221223360 134538089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 5921 231 231 0 9373 0
vsize: 38416
[startup+360.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6319 0 0 0 35968 37 0 0 25 0 1 0 549988445 39337984 5976 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 5976 231 231 0 9373 0
vsize: 38416
[startup+370.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6393 0 0 0 36967 38 0 0 25 0 1 0 549988445 39337984 6050 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 6050 231 231 0 9373 0
vsize: 38416
[startup+380.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6484 0 0 0 37967 39 0 0 25 0 1 0 549988445 39337984 6141 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 6141 231 231 0 9373 0
vsize: 38416
[startup+390.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6598 0 0 0 38966 40 0 0 25 0 1 0 549988445 39485440 6255 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9640 6255 231 231 0 9409 0
vsize: 38560
[startup+400.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6653 0 0 0 39965 41 0 0 25 0 1 0 549988445 39628800 6310 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9675 6310 231 231 0 9444 0
vsize: 38700
[startup+410.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6746 0 0 0 40964 42 0 0 25 0 1 0 549988445 39776256 6403 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6403 231 231 0 9480 0
vsize: 38844
[startup+420.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6801 0 0 0 41964 42 0 0 25 0 1 0 549988445 39776256 6458 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6458 231 231 0 9480 0
vsize: 38844
[startup+430.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6878 0 0 0 42964 43 0 0 25 0 1 0 549988445 39776256 6535 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6535 231 231 0 9480 0
vsize: 38844
[startup+440.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 6932 0 0 0 43964 43 0 0 25 0 1 0 549988445 39776256 6589 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6589 231 231 0 9480 0
vsize: 38844
[startup+450.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7382 0 0 0 44962 45 0 0 25 0 1 0 549988445 41496576 6654 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10131 6654 231 231 0 9900 0
vsize: 40524
[startup+460.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7499 0 0 0 45962 45 0 0 25 0 1 0 549988445 41660416 6771 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10171 6771 231 231 0 9940 0
vsize: 40684
[startup+470.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7599 0 0 0 46961 46 0 0 25 0 1 0 549988445 41807872 6871 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10207 6871 231 231 0 9976 0
vsize: 40828
[startup+480.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7673 0 0 0 47961 46 0 0 25 0 1 0 549988445 41807872 6945 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10207 6945 231 231 0 9976 0
vsize: 40828
[startup+490.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7682 0 0 0 48961 47 0 0 25 0 1 0 549988445 41807872 6954 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10207 6954 231 231 0 9976 0
vsize: 40828
[startup+500.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7717 0 0 0 49961 47 0 0 25 0 1 0 549988445 41951232 6989 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 6989 231 231 0 10011 0
vsize: 40968
[startup+510.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7748 0 0 0 50961 48 0 0 25 0 1 0 549988445 42094592 7020 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 7020 231 231 0 10046 0
vsize: 41108
[startup+520.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7757 0 0 0 51960 48 0 0 25 0 1 0 549988445 42094592 7029 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 7029 231 231 0 10046 0
vsize: 41108
[startup+530.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7796 0 0 0 52960 49 0 0 25 0 1 0 549988445 42389504 7068 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7068 231 231 0 10118 0
vsize: 41396
[startup+540.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7800 0 0 0 53960 49 0 0 25 0 1 0 549988445 42389504 7072 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7072 231 231 0 10118 0
vsize: 41396
[startup+550.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7812 0 0 0 54960 49 0 0 25 0 1 0 549988445 42389504 7084 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7084 231 231 0 10118 0
vsize: 41396
[startup+560.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 7858 0 0 0 55959 50 0 0 25 0 1 0 549988445 42389504 7130 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7130 231 231 0 10118 0
vsize: 41396
[startup+570.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8019 0 0 0 56959 51 0 0 25 0 1 0 549988445 42536960 7291 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7291 231 231 0 10154 0
vsize: 41540
[startup+580.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8117 0 0 0 57958 51 0 0 25 0 1 0 549988445 42536960 7389 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7389 231 231 0 10154 0
vsize: 41540
[startup+590.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8286 0 0 0 58958 52 0 0 25 0 1 0 549988445 42536960 7558 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7558 231 231 0 10154 0
vsize: 41540
[startup+600.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8392 0 0 0 59957 53 0 0 25 0 1 0 549988445 42700800 7664 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7664 231 231 0 10194 0
vsize: 41700
[startup+610.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8487 0 0 0 60957 53 0 0 25 0 1 0 549988445 42700800 7759 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7759 231 231 0 10194 0
vsize: 41700
[startup+620.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8549 0 0 0 61957 54 0 0 25 0 1 0 549988445 42700800 7821 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7821 231 231 0 10194 0
vsize: 41700
[startup+630.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8677 0 0 0 62956 55 0 0 25 0 1 0 549988445 42848256 7949 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 7949 231 231 0 10230 0
vsize: 41844
[startup+640.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8757 0 0 0 63955 55 0 0 25 0 1 0 549988445 42848256 8029 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8029 231 231 0 10230 0
vsize: 41844
[startup+650.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8860 0 0 0 64955 56 0 0 25 0 1 0 549988445 42848256 8132 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8132 231 231 0 10230 0
vsize: 41844
[startup+660.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8934 0 0 0 65955 57 0 0 25 0 1 0 549988445 42848256 8206 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8206 231 231 0 10230 0
vsize: 41844
[startup+670.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 8973 0 0 0 66955 57 0 0 25 0 1 0 549988445 42848256 8245 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8245 231 231 0 10230 0
vsize: 41844
[startup+680.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9119 0 0 0 67954 57 0 0 25 0 1 0 549988445 42848256 8391 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8391 231 231 0 10230 0
vsize: 41844
[startup+690.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9209 0 0 0 68954 58 0 0 25 0 1 0 549988445 42848256 8481 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8481 231 231 0 10230 0
vsize: 41844
[startup+700.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9302 0 0 0 69954 58 0 0 25 0 1 0 549988445 42848256 8574 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8574 231 231 0 10230 0
vsize: 41844
[startup+710.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9385 0 0 0 70953 59 0 0 25 0 1 0 549988445 42995712 8657 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10497 8657 231 231 0 10266 0
vsize: 41988
[startup+720.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9409 0 0 0 71953 59 0 0 25 0 1 0 549988445 42995712 8681 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10497 8681 231 231 0 10266 0
vsize: 41988
[startup+730.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9511 0 0 0 72953 60 0 0 25 0 1 0 549988445 42995712 8783 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10497 8783 231 231 0 10266 0
vsize: 41988
[startup+740.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9634 0 0 0 73952 61 0 0 25 0 1 0 549988445 43147264 8906 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 8906 231 231 0 10303 0
vsize: 42136
[startup+750.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9769 0 0 0 74951 62 0 0 25 0 1 0 549988445 43147264 9041 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9041 231 231 0 10303 0
vsize: 42136
[startup+760.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9831 0 0 0 75951 62 0 0 25 0 1 0 549988445 43147264 9103 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9103 231 231 0 10303 0
vsize: 42136
[startup+770.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9875 0 0 0 76951 63 0 0 25 0 1 0 549988445 43147264 9147 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9147 231 231 0 10303 0
vsize: 42136
[startup+780.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9942 0 0 0 77951 63 0 0 25 0 1 0 549988445 43147264 9214 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9214 231 231 0 10303 0
vsize: 42136
[startup+790.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9960 0 0 0 78951 63 0 0 25 0 1 0 549988445 43335680 9232 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9232 231 231 0 10349 0
vsize: 42320
[startup+800.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9970 0 0 0 79951 63 0 0 25 0 1 0 549988445 43335680 9242 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9242 231 231 0 10349 0
vsize: 42320
[startup+810.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9990 0 0 0 80950 64 0 0 25 0 1 0 549988445 43335680 9262 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9262 231 231 0 10349 0
vsize: 42320
[startup+820.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 9995 0 0 0 81951 64 0 0 25 0 1 0 549988445 43335680 9267 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9267 231 231 0 10349 0
vsize: 42320
[startup+830.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10021 0 0 0 82950 65 0 0 25 0 1 0 549988445 43499520 9293 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10620 9293 231 231 0 10389 0
vsize: 42480
[startup+840.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10034 0 0 0 83950 65 0 0 25 0 1 0 549988445 43499520 9306 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10620 9306 231 231 0 10389 0
vsize: 42480
[startup+850.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10119 0 0 0 84950 65 0 0 25 0 1 0 549988445 43638784 9391 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9391 231 231 0 10423 0
vsize: 42616
[startup+860.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10188 0 0 0 85949 66 0 0 25 0 1 0 549988445 43638784 9460 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9460 231 231 0 10423 0
vsize: 42616
[startup+870.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10249 0 0 0 86949 66 0 0 25 0 1 0 549988445 43638784 9521 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9521 231 231 0 10423 0
vsize: 42616
[startup+880.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10329 0 0 0 87949 67 0 0 25 0 1 0 549988445 43802624 9601 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9601 231 231 0 10463 0
vsize: 42776
[startup+890.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10347 0 0 0 88949 67 0 0 25 0 1 0 549988445 43802624 9619 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9619 231 231 0 10463 0
vsize: 42776
[startup+900.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10357 0 0 0 89949 67 0 0 25 0 1 0 549988445 43802624 9629 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9629 231 231 0 10463 0
vsize: 42776
[startup+910.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10362 0 0 0 90949 67 0 0 25 0 1 0 549988445 43802624 9634 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9634 231 231 0 10463 0
vsize: 42776
[startup+920.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10410 0 0 0 91949 68 0 0 25 0 1 0 549988445 43941888 9682 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9682 231 231 0 10497 0
vsize: 42912
[startup+930.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10456 0 0 0 92949 68 0 0 25 0 1 0 549988445 43941888 9728 4294967295 134512640 135450300 3221224624 3221223440 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9728 231 231 0 10497 0
vsize: 42912
[startup+940.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10561 0 0 0 93948 68 0 0 25 0 1 0 549988445 43941888 9833 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9833 231 231 0 10497 0
vsize: 42912
[startup+950.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10565 0 0 0 94948 69 0 0 25 0 1 0 549988445 43941888 9837 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9837 231 231 0 10497 0
vsize: 42912
[startup+960.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10569 0 0 0 95948 69 0 0 25 0 1 0 549988445 43941888 9841 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9841 231 231 0 10497 0
vsize: 42912
[startup+970.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10641 0 0 0 96948 70 0 0 25 0 1 0 549988445 44105728 9913 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 9913 231 231 0 10537 0
vsize: 43072
[startup+980.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10752 0 0 0 97947 70 0 0 25 0 1 0 549988445 44105728 10024 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10024 231 231 0 10537 0
vsize: 43072
[startup+990.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10851 0 0 0 98947 71 0 0 25 0 1 0 549988445 44105728 10123 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10123 231 231 0 10537 0
vsize: 43072
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10898 0 0 0 99946 71 0 0 25 0 1 0 549988445 44105728 10170 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10170 231 231 0 10537 0
vsize: 43072
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 10941 0 0 0 100946 72 0 0 25 0 1 0 549988445 44105728 10213 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10213 231 231 0 10537 0
vsize: 43072
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11030 0 0 0 101945 73 0 0 25 0 1 0 549988445 44105728 10302 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10302 231 231 0 10537 0
vsize: 43072
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11112 0 0 0 102944 75 0 0 25 0 1 0 549988445 77824000 10384 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10384 231 231 0 18769 0
vsize: 76000
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11152 0 0 0 103943 75 0 0 25 0 1 0 549988445 77824000 10424 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10424 231 231 0 18769 0
vsize: 76000
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11154 0 0 0 104943 75 0 0 25 0 1 0 549988445 77824000 10426 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10426 231 231 0 18769 0
vsize: 76000
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11172 0 0 0 105943 76 0 0 25 0 1 0 549988445 77824000 10444 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10444 231 231 0 18769 0
vsize: 76000
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11212 0 0 0 106943 76 0 0 25 0 1 0 549988445 77824000 10484 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10484 231 231 0 18769 0
vsize: 76000
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11281 0 0 0 107943 76 0 0 25 0 1 0 549988445 77987840 10553 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10553 231 231 0 18809 0
vsize: 76160
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11352 0 0 0 108943 77 0 0 25 0 1 0 549988445 77987840 10624 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10624 231 231 0 18809 0
vsize: 76160
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11426 0 0 0 109943 77 0 0 25 0 1 0 549988445 77987840 10698 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10698 231 231 0 18809 0
vsize: 76160
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11432 0 0 0 110943 77 0 0 25 0 1 0 549988445 77987840 10704 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10704 231 231 0 18809 0
vsize: 76160
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11449 0 0 0 111942 78 0 0 25 0 1 0 549988445 77987840 10721 4294967295 134512640 135450300 3221224624 3221223440 134536555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10721 231 231 0 18809 0
vsize: 76160
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11453 0 0 0 112942 78 0 0 25 0 1 0 549988445 77987840 10725 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10725 231 231 0 18809 0
vsize: 76160
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11496 0 0 0 113942 78 0 0 25 0 1 0 549988445 77987840 10768 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10768 231 231 0 18809 0
vsize: 76160
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11561 0 0 0 114942 78 0 0 25 0 1 0 549988445 77987840 10833 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10833 231 231 0 18809 0
vsize: 76160
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11623 0 0 0 115942 79 0 0 25 0 1 0 549988445 78168064 10895 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 10895 231 231 0 18853 0
vsize: 76336
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11626 0 0 0 116942 79 0 0 25 0 1 0 549988445 78168064 10898 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 10898 231 231 0 18853 0
vsize: 76336
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.96 3/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11676 0 0 0 117942 79 0 0 25 0 1 0 549988445 78168064 10948 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 10948 231 231 0 18853 0
vsize: 76336
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11762 0 0 0 118943 80 0 0 25 0 1 0 549988445 78168064 11034 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 11034 231 231 0 18853 0
vsize: 76336
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 18783
Raw data (stat): 18781 (PBS4) R 18780 28099 28098 0 -1 0 11856 0 0 0 119943 80 0 0 25 0 1 0 549988445 78168064 11128 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 11128 231 231 0 18853 0
vsize: 76336
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 18783
Raw data (stat): 18781 (PBS4) Z 18780 28099 28098 0 -1 1036 11856 0 0 0 119944 82 0 0 23 0 1 0 549988445 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.27
CPU user time (s): 1199.44
CPU system time (s): 0.828873
CPU usage (%): 100.016
Max. virtual memory (Kb): 76336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####