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/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
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	45
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	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 21058

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-21 22:31:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13916 boxname=wulflinc1 idbench=1071 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 13916
/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:        663076 kB
Buffers:          2032 kB
Cached:         344836 kB
SwapCached:          0 kB
Active:         102000 kB
Inactive:       247992 kB
HighTotal:      131008 kB
HighFree:         1680 kB
LowTotal:       903652 kB
LowFree:        661396 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           7172 kB
Slab:            15704 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:52:00 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 13916 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein45.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.81 0.93 0.90 2/56 5343
Raw data (stat): 5343 (runsolver) R 5342 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 433626293 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.99951 s]
Raw data (loadavg): 0.83 0.93 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 1296 0 0 0 993 6 0 0 25 0 1 0 433626293 6815744 1243 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1664 1243 231 231 0 1433 0
vsize: 6656
[startup+20.0007 s]
Raw data (loadavg): 0.86 0.93 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 1753 0 0 0 1991 8 0 0 25 0 1 0 433626293 7815168 1603 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1908 1603 231 231 0 1677 0
vsize: 7632
[startup+30.0011 s]
Raw data (loadavg): 0.88 0.93 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 2012 0 0 0 2989 11 0 0 25 0 1 0 433626293 12316672 1862 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1862 231 231 0 2776 0
vsize: 12028
[startup+40.0019 s]
Raw data (loadavg): 0.90 0.93 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 2381 0 0 0 3986 13 0 0 25 0 1 0 433626293 13426688 2038 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2038 231 231 0 3047 0
vsize: 13112
[startup+50.0027 s]
Raw data (loadavg): 0.91 0.93 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 2472 0 0 0 4985 15 0 0 25 0 1 0 433626293 13721600 2129 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2129 231 231 0 3119 0
vsize: 13400
[startup+60.0024 s]
Raw data (loadavg): 0.93 0.94 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 2562 0 0 0 5984 16 0 0 25 0 1 0 433626293 13873152 2219 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3387 2219 231 231 0 3156 0
vsize: 13548
[startup+70.0032 s]
Raw data (loadavg): 0.94 0.94 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 2645 0 0 0 6982 18 0 0 25 0 1 0 433626293 14024704 2302 4294967295 134512640 135450300 3221224624 3221223440 134536543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3424 2302 231 231 0 3193 0
vsize: 13696
[startup+80.0045 s]
Raw data (loadavg): 0.95 0.94 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 2743 0 0 0 7980 20 0 0 25 0 1 0 433626293 14426112 2400 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2400 231 231 0 3291 0
vsize: 14088
[startup+90.0048 s]
Raw data (loadavg): 0.95 0.94 0.90 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3253 0 0 0 8977 23 0 0 25 0 1 0 433626293 16195584 2525 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2525 231 231 0 3723 0
vsize: 15816
[startup+100.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3339 0 0 0 9976 24 0 0 25 0 1 0 433626293 16506880 2611 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4030 2611 231 231 0 3799 0
vsize: 16120
[startup+110.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3420 0 0 0 10975 26 0 0 25 0 1 0 433626293 16732160 2692 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 2692 231 231 0 3854 0
vsize: 16340
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3492 0 0 0 11973 28 0 0 25 0 1 0 433626293 16932864 2764 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4134 2764 231 231 0 3903 0
vsize: 16536
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3552 0 0 0 12972 29 0 0 25 0 1 0 433626293 16932864 2824 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4134 2824 231 231 0 3903 0
vsize: 16536
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3609 0 0 0 13972 30 0 0 25 0 1 0 433626293 17162240 2881 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4190 2881 231 231 0 3959 0
vsize: 16760
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3669 0 0 0 14971 31 0 0 25 0 1 0 433626293 17162240 2941 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4190 2941 231 231 0 3959 0
vsize: 16760
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3723 0 0 0 15970 32 0 0 25 0 1 0 433626293 17297408 2995 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4223 2995 231 231 0 3992 0
vsize: 16892
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5343
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3797 0 0 0 16969 33 0 0 25 0 1 0 433626293 17629184 3069 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4304 3069 231 231 0 4073 0
vsize: 17216
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 3860 0 0 0 17969 33 0 0 25 0 1 0 433626293 17629184 3132 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4304 3132 231 231 0 4073 0
vsize: 17216
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 4008 0 0 0 18968 34 0 0 25 0 1 0 433626293 17977344 3280 4294967295 134512640 135450300 3221224624 3221223440 134536486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4389 3280 231 231 0 4158 0
vsize: 17556
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 4079 0 0 0 19967 35 0 0 25 0 1 0 433626293 18333696 3351 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3351 231 231 0 4245 0
vsize: 17904
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 4196 0 0 0 20966 36 0 0 25 0 1 0 433626293 18530304 3468 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4524 3468 231 231 0 4293 0
vsize: 18096
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5036 0 0 0 21964 39 0 0 25 0 1 0 433626293 21848064 3539 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5334 3539 231 231 0 5103 0
vsize: 21336
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5102 0 0 0 22963 40 0 0 25 0 1 0 433626293 22028288 3605 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 3605 231 231 0 5147 0
vsize: 21512
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5146 0 0 0 23962 41 0 0 25 0 1 0 433626293 22028288 3649 4294967295 134512640 135450300 3221224624 3221223440 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 3649 231 231 0 5147 0
vsize: 21512
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5185 0 0 0 24962 41 0 0 25 0 1 0 433626293 22028288 3688 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 3688 231 231 0 5147 0
vsize: 21512
[startup+260.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5297 0 0 0 25961 42 0 0 25 0 1 0 433626293 22417408 3800 4294967295 134512640 135450300 3221224624 3221223440 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 3800 231 231 0 5242 0
vsize: 21892
[startup+270.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5372 0 0 0 26961 43 0 0 25 0 1 0 433626293 22417408 3875 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 3875 231 231 0 5242 0
vsize: 21892
[startup+280.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5429 0 0 0 27960 44 0 0 25 0 1 0 433626293 22622208 3932 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 3932 231 231 0 5292 0
vsize: 22092
[startup+290.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5469 0 0 0 28959 45 0 0 25 0 1 0 433626293 22622208 3972 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 3972 231 231 0 5292 0
vsize: 22092
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5524 0 0 0 29958 46 0 0 25 0 1 0 433626293 22839296 4027 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4027 231 231 0 5345 0
vsize: 22304
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5573 0 0 0 30957 47 0 0 25 0 1 0 433626293 23035904 4076 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5624 4076 231 231 0 5393 0
vsize: 22496
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5622 0 0 0 31956 48 0 0 25 0 1 0 433626293 23269376 4125 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4125 231 231 0 5450 0
vsize: 22724
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5665 0 0 0 32956 49 0 0 25 0 1 0 433626293 23269376 4168 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4168 231 231 0 5450 0
vsize: 22724
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5715 0 0 0 33955 49 0 0 25 0 1 0 433626293 23515136 4218 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4218 231 231 0 5510 0
vsize: 22964
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5746 0 0 0 34954 50 0 0 25 0 1 0 433626293 23515136 4249 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4249 231 231 0 5510 0
vsize: 22964
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5789 0 0 0 35954 51 0 0 25 0 1 0 433626293 23515136 4292 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4292 231 231 0 5510 0
vsize: 22964
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5831 0 0 0 36953 52 0 0 25 0 1 0 433626293 23515136 4334 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4334 231 231 0 5510 0
vsize: 22964
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5863 0 0 0 37953 53 0 0 25 0 1 0 433626293 23515136 4366 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4366 231 231 0 5510 0
vsize: 22964
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 5930 0 0 0 38951 54 0 0 25 0 1 0 433626293 23777280 4433 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5805 4433 231 231 0 5574 0
vsize: 23220
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6107 0 0 0 39951 55 0 0 25 0 1 0 433626293 23973888 4610 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4610 231 231 0 5622 0
vsize: 23412
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6147 0 0 0 40950 56 0 0 25 0 1 0 433626293 23973888 4650 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4650 231 231 0 5622 0
vsize: 23412
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6191 0 0 0 41950 56 0 0 25 0 1 0 433626293 24252416 4694 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5921 4694 231 231 0 5690 0
vsize: 23684
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6230 0 0 0 42949 57 0 0 25 0 1 0 433626293 24252416 4733 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5921 4733 231 231 0 5690 0
vsize: 23684
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6263 0 0 0 43949 57 0 0 25 0 1 0 433626293 24252416 4766 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5921 4766 231 231 0 5690 0
vsize: 23684
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6306 0 0 0 44948 58 0 0 25 0 1 0 433626293 24252416 4809 4294967295 134512640 135450300 3221224624 3221223440 134537294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5921 4810 231 231 0 5690 0
vsize: 23684
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6376 0 0 0 45948 59 0 0 25 0 1 0 433626293 24547328 4879 4294967295 134512640 135450300 3221224624 3221223360 134538724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5993 4879 231 231 0 5762 0
vsize: 23972
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5345
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6409 0 0 0 46947 60 0 0 25 0 1 0 433626293 24547328 4912 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5993 4912 231 231 0 5762 0
vsize: 23972
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6445 0 0 0 47947 61 0 0 25 0 1 0 433626293 24547328 4948 4294967295 134512640 135450300 3221224624 3221223456 134549298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5993 4948 231 231 0 5762 0
vsize: 23972
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6482 0 0 0 48946 62 0 0 25 0 1 0 433626293 24547328 4985 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5993 4985 231 231 0 5762 0
vsize: 23972
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6514 0 0 0 49945 62 0 0 25 0 1 0 433626293 24858624 5017 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 5017 231 231 0 5838 0
vsize: 24276
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6555 0 0 0 50945 63 0 0 25 0 1 0 433626293 24858624 5058 4294967295 134512640 135450300 3221224624 3221223360 134538809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 5058 231 231 0 5838 0
vsize: 24276
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6595 0 0 0 51944 64 0 0 25 0 1 0 433626293 24858624 5098 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 5098 231 231 0 5838 0
vsize: 24276
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6648 0 0 0 52943 65 0 0 25 0 1 0 433626293 24858624 5151 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 5151 231 231 0 5838 0
vsize: 24276
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6689 0 0 0 53942 66 0 0 25 0 1 0 433626293 25190400 5192 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6150 5192 231 231 0 5919 0
vsize: 24600
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6736 0 0 0 54941 67 0 0 25 0 1 0 433626293 25190400 5239 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6150 5239 231 231 0 5919 0
vsize: 24600
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6775 0 0 0 55941 68 0 0 25 0 1 0 433626293 25190400 5278 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6150 5278 231 231 0 5919 0
vsize: 24600
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6813 0 0 0 56940 68 0 0 25 0 1 0 433626293 25190400 5316 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6150 5316 231 231 0 5919 0
vsize: 24600
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6841 0 0 0 57939 70 0 0 25 0 1 0 433626293 25542656 5344 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5344 231 231 0 6005 0
vsize: 24944
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6876 0 0 0 58939 70 0 0 25 0 1 0 433626293 25542656 5379 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5379 231 231 0 6005 0
vsize: 24944
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 6925 0 0 0 59938 71 0 0 25 0 1 0 433626293 25542656 5428 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5428 231 231 0 6005 0
vsize: 24944
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8506 0 0 0 60935 74 0 0 25 0 1 0 433626293 31834112 5472 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7772 5472 231 231 0 7541 0
vsize: 31088
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8532 0 0 0 61935 74 0 0 25 0 1 0 433626293 32206848 5498 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7863 5498 231 231 0 7632 0
vsize: 31452
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8581 0 0 0 62934 76 0 0 25 0 1 0 433626293 32403456 5547 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7911 5547 231 231 0 7680 0
vsize: 31644
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8614 0 0 0 63933 76 0 0 25 0 1 0 433626293 32403456 5580 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7911 5580 231 231 0 7680 0
vsize: 31644
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8650 0 0 0 64933 77 0 0 25 0 1 0 433626293 32403456 5616 4294967295 134512640 135450300 3221224624 3221223440 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7911 5616 231 231 0 7680 0
vsize: 31644
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8685 0 0 0 65932 78 0 0 25 0 1 0 433626293 32403456 5651 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7911 5651 231 231 0 7680 0
vsize: 31644
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8728 0 0 0 66931 79 0 0 25 0 1 0 433626293 32800768 5694 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8008 5694 231 231 0 7777 0
vsize: 32032
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8757 0 0 0 67930 80 0 0 25 0 1 0 433626293 32800768 5723 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8008 5723 231 231 0 7777 0
vsize: 32032
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8793 0 0 0 68929 80 0 0 25 0 1 0 433626293 32800768 5759 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5759 231 231 0 7777 0
vsize: 32032
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8827 0 0 0 69929 81 0 0 25 0 1 0 433626293 32800768 5793 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5793 231 231 0 7777 0
vsize: 32032
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8864 0 0 0 70929 81 0 0 25 0 1 0 433626293 32800768 5830 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5830 231 231 0 7777 0
vsize: 32032
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8892 0 0 0 71928 82 0 0 25 0 1 0 433626293 32800768 5858 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 5858 231 231 0 7777 0
vsize: 32032
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8930 0 0 0 72928 82 0 0 25 0 1 0 433626293 33222656 5896 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 5896 231 231 0 7880 0
vsize: 32444
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8964 0 0 0 73927 83 0 0 25 0 1 0 433626293 33222656 5930 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 5930 231 231 0 7880 0
vsize: 32444
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 8999 0 0 0 74926 84 0 0 25 0 1 0 433626293 33222656 5965 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 5965 231 231 0 7880 0
vsize: 32444
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9043 0 0 0 75925 85 0 0 25 0 1 0 433626293 33222656 6009 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 6009 231 231 0 7880 0
vsize: 32444
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5347
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9074 0 0 0 76925 86 0 0 25 0 1 0 433626293 33222656 6040 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 6040 231 231 0 7880 0
vsize: 32444
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9112 0 0 0 77924 87 0 0 25 0 1 0 433626293 33673216 6078 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6078 231 231 0 7990 0
vsize: 32884
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9144 0 0 0 78924 88 0 0 25 0 1 0 433626293 33673216 6110 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6110 231 231 0 7990 0
vsize: 32884
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9177 0 0 0 79923 88 0 0 25 0 1 0 433626293 33673216 6143 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6143 231 231 0 7990 0
vsize: 32884
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9212 0 0 0 80922 89 0 0 25 0 1 0 433626293 33673216 6178 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6178 231 231 0 7990 0
vsize: 32884
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9242 0 0 0 81922 90 0 0 25 0 1 0 433626293 33673216 6208 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6208 231 231 0 7990 0
vsize: 32884
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9278 0 0 0 82921 91 0 0 25 0 1 0 433626293 33673216 6244 4294967295 134512640 135450300 3221224624 3221223360 134537845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6244 231 231 0 7990 0
vsize: 32884
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9315 0 0 0 83920 92 0 0 25 0 1 0 433626293 33673216 6281 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 6281 231 231 0 7990 0
vsize: 32884
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9345 0 0 0 84920 92 0 0 25 0 1 0 433626293 34148352 6311 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6311 231 231 0 8106 0
vsize: 33348
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9381 0 0 0 85920 93 0 0 25 0 1 0 433626293 34148352 6347 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6347 231 231 0 8106 0
vsize: 33348
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9409 0 0 0 86919 93 0 0 25 0 1 0 433626293 34148352 6375 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6375 231 231 0 8106 0
vsize: 33348
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9443 0 0 0 87919 94 0 0 25 0 1 0 433626293 34148352 6409 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6409 231 231 0 8106 0
vsize: 33348
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9468 0 0 0 88918 94 0 0 25 0 1 0 433626293 34148352 6434 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6434 231 231 0 8106 0
vsize: 33348
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9498 0 0 0 89918 95 0 0 25 0 1 0 433626293 34148352 6464 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6464 231 231 0 8106 0
vsize: 33348
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9533 0 0 0 90917 96 0 0 25 0 1 0 433626293 34148352 6499 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6499 231 231 0 8106 0
vsize: 33348
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9569 0 0 0 91917 97 0 0 25 0 1 0 433626293 34656256 6535 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6535 231 231 0 8230 0
vsize: 33844
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9590 0 0 0 92916 97 0 0 25 0 1 0 433626293 34656256 6556 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6556 231 231 0 8230 0
vsize: 33844
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9626 0 0 0 93916 98 0 0 25 0 1 0 433626293 34656256 6592 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6592 231 231 0 8230 0
vsize: 33844
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9648 0 0 0 94915 99 0 0 25 0 1 0 433626293 34656256 6614 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6614 231 231 0 8230 0
vsize: 33844
[startup+960.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9676 0 0 0 95914 100 0 0 25 0 1 0 433626293 34656256 6642 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6642 231 231 0 8230 0
vsize: 33844
[startup+970.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9693 0 0 0 96914 100 0 0 25 0 1 0 433626293 34656256 6659 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6659 231 231 0 8230 0
vsize: 33844
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9722 0 0 0 97913 101 0 0 25 0 1 0 433626293 34656256 6688 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6688 231 231 0 8230 0
vsize: 33844
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9755 0 0 0 98913 102 0 0 25 0 1 0 433626293 34656256 6721 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6721 231 231 0 8230 0
vsize: 33844
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9783 0 0 0 99913 102 0 0 25 0 1 0 433626293 34656256 6749 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6749 231 231 0 8230 0
vsize: 33844
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9816 0 0 0 100912 103 0 0 25 0 1 0 433626293 34656256 6782 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8461 6782 231 231 0 8230 0
vsize: 33844
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9842 0 0 0 101911 104 0 0 25 0 1 0 433626293 35192832 6808 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6808 231 231 0 8361 0
vsize: 34368
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9872 0 0 0 102911 104 0 0 25 0 1 0 433626293 35192832 6838 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6838 231 231 0 8361 0
vsize: 34368
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9901 0 0 0 103911 104 0 0 25 0 1 0 433626293 35192832 6867 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6867 231 231 0 8361 0
vsize: 34368
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9930 0 0 0 104910 105 0 0 25 0 1 0 433626293 35192832 6896 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6896 231 231 0 8361 0
vsize: 34368
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9963 0 0 0 105910 106 0 0 25 0 1 0 433626293 35192832 6929 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6929 231 231 0 8361 0
vsize: 34368
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5349
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 9988 0 0 0 106909 107 0 0 25 0 1 0 433626293 35192832 6954 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6954 231 231 0 8361 0
vsize: 34368
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10019 0 0 0 107909 107 0 0 25 0 1 0 433626293 35192832 6985 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 6985 231 231 0 8361 0
vsize: 34368
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10047 0 0 0 108908 108 0 0 25 0 1 0 433626293 35192832 7013 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 7013 231 231 0 8361 0
vsize: 34368
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10070 0 0 0 109908 108 0 0 25 0 1 0 433626293 35192832 7036 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8592 7036 231 231 0 8361 0
vsize: 34368
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10105 0 0 0 110908 109 0 0 25 0 1 0 433626293 35766272 7071 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7071 231 231 0 8501 0
vsize: 34928
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10130 0 0 0 111907 110 0 0 25 0 1 0 433626293 35766272 7096 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7096 231 231 0 8501 0
vsize: 34928
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10160 0 0 0 112906 111 0 0 25 0 1 0 433626293 35766272 7126 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7126 231 231 0 8501 0
vsize: 34928
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10190 0 0 0 113906 112 0 0 25 0 1 0 433626293 35766272 7156 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7156 231 231 0 8501 0
vsize: 34928
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10217 0 0 0 114905 112 0 0 25 0 1 0 433626293 35766272 7183 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7183 231 231 0 8501 0
vsize: 34928
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10237 0 0 0 115905 113 0 0 25 0 1 0 433626293 35766272 7203 4294967295 134512640 135450300 3221224624 3221223456 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7203 231 231 0 8501 0
vsize: 34928
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10274 0 0 0 116905 113 0 0 25 0 1 0 433626293 35766272 7240 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7240 231 231 0 8501 0
vsize: 34928
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10297 0 0 0 117905 113 0 0 25 0 1 0 433626293 35766272 7263 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7263 231 231 0 8501 0
vsize: 34928
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10323 0 0 0 118905 114 0 0 25 0 1 0 433626293 35766272 7289 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7289 231 231 0 8501 0
vsize: 34928
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5351
Raw data (stat): 5343 (PBS4) R 5342 12452 12451 0 -1 0 10344 0 0 0 119904 114 0 0 25 0 1 0 433626293 35766272 7310 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 7310 231 231 0 8501 0
vsize: 34928
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 5351
Raw data (stat): 5343 (PBS4) Z 5342 12452 12451 0 -1 1036 10344 0 0 0 119904 116 0 0 25 0 1 0 433626293 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.03
CPU time (s): 1200.21
CPU user time (s): 1199.05
CPU system time (s): 1.16182
CPU usage (%): 100.015
Max. virtual memory (Kb): 34928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####