PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
MD5SUM	f1382105ee9fb79777762a53cf6a73c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	21166
Optimality of the best value was proved	NO
Number of terms in the objective function	304
Biggest coefficient in the objective function	62376
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	3092598
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	62376
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	3092598
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	556
Total number of constraints	217
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	191
Minimum length of a constraint	1
Maximum length of a constraint	48
Trace number 18210

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        805400 kB
Buffers:         24252 kB
Cached:         180652 kB
SwapCached:        524 kB
Active:          60992 kB
Inactive:       145924 kB
HighTotal:      131008 kB
HighFree:        10668 kB
LowTotal:       903652 kB
LowFree:        794732 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            16652 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 14:15:16 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 18440 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-gt2.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.85 0.95 0.94 2/54 10951
Raw data (stat): 10951 (runsolver) R 10950 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545598473 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.95 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 812 0 0 0 996 3 0 0 25 0 1 0 545598473 5947392 808 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1452 808 231 231 0 1221 0
vsize: 5808
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 1312 0 0 0 1994 4 0 0 25 0 1 0 545598473 6148096 1308 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1501 1308 231 231 0 1270 0
vsize: 6004
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 1849 0 0 0 2991 7 0 0 25 0 1 0 545598473 11370496 1796 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2776 1796 231 231 0 2545 0
vsize: 11104
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 2460 0 0 0 3987 12 0 0 25 0 1 0 545598473 11649024 2407 4294967295 134512640 135450300 3221224640 3221223376 134538699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2844 2407 231 231 0 2613 0
vsize: 11376
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 2861 0 0 0 4985 14 0 0 25 0 1 0 545598473 12173312 2711 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2972 2711 231 231 0 2741 0
vsize: 11888
[startup+60.002 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 2935 0 0 0 5984 15 0 0 25 0 1 0 545598473 12443648 2785 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3038 2785 231 231 0 2807 0
vsize: 12152
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 2977 0 0 0 6983 17 0 0 25 0 1 0 545598473 12443648 2827 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3038 2827 231 231 0 2807 0
vsize: 12152
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 3051 0 0 0 7982 18 0 0 25 0 1 0 545598473 12713984 2901 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2901 231 231 0 2873 0
vsize: 12416
[startup+90.002 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 3266 0 0 0 8980 20 0 0 25 0 1 0 545598473 21258240 3116 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 3116 231 231 0 4959 0
vsize: 20760
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 3497 0 0 0 9979 21 0 0 25 0 1 0 545598473 22179840 3154 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5415 3154 231 231 0 5184 0
vsize: 21660
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 3549 0 0 0 10978 22 0 0 25 0 1 0 545598473 22179840 3206 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5415 3206 231 231 0 5184 0
vsize: 21660
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4135 0 0 0 11976 25 0 0 25 0 1 0 545598473 22315008 3792 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5448 3792 231 231 0 5217 0
vsize: 21792
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4633 0 0 0 12974 27 0 0 25 0 1 0 545598473 22446080 4290 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5480 4290 231 231 0 5249 0
vsize: 21920
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4697 0 0 0 13973 28 0 0 25 0 1 0 545598473 22720512 4354 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5547 4354 231 231 0 5316 0
vsize: 22188
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4749 0 0 0 14972 29 0 0 25 0 1 0 545598473 22859776 4406 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5581 4406 231 231 0 5350 0
vsize: 22324
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4777 0 0 0 15971 31 0 0 25 0 1 0 545598473 22859776 4434 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5581 4434 231 231 0 5350 0
vsize: 22324
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4784 0 0 0 16971 31 0 0 25 0 1 0 545598473 22859776 4441 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5581 4441 231 231 0 5350 0
vsize: 22324
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4790 0 0 0 17970 31 0 0 25 0 1 0 545598473 22859776 4447 4294967295 134512640 135450300 3221224640 3221223360 134536009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5581 4447 231 231 0 5350 0
vsize: 22324
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4814 0 0 0 18970 32 0 0 25 0 1 0 545598473 22999040 4471 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5615 4471 231 231 0 5384 0
vsize: 22460
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4824 0 0 0 19969 32 0 0 25 0 1 0 545598473 22999040 4481 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5615 4481 231 231 0 5384 0
vsize: 22460
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4846 0 0 0 20969 34 0 0 25 0 1 0 545598473 22999040 4503 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5615 4503 231 231 0 5384 0
vsize: 22460
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4911 0 0 0 21968 35 0 0 25 0 1 0 545598473 23285760 4568 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5685 4568 231 231 0 5454 0
vsize: 22740
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 4936 0 0 0 22967 36 0 0 25 0 1 0 545598473 23285760 4593 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5685 4593 231 231 0 5454 0
vsize: 22740
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 5015 0 0 0 23966 37 0 0 25 0 1 0 545598473 23425024 4672 4294967295 134512640 135450300 3221224640 3221223360 134536028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5719 4672 231 231 0 5488 0
vsize: 22876
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 5171 0 0 0 24965 38 0 0 25 0 1 0 545598473 23425024 4828 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5719 4828 231 231 0 5488 0
vsize: 22876
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 5305 0 0 0 25964 39 0 0 25 0 1 0 545598473 23564288 4962 4294967295 134512640 135450300 3221224640 3221223360 134535898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5753 4962 231 231 0 5522 0
vsize: 23012
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 5329 0 0 0 26964 39 0 0 25 0 1 0 545598473 23699456 4986 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5786 4986 231 231 0 5555 0
vsize: 23144
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 5499 0 0 0 27964 40 0 0 25 0 1 0 545598473 23699456 5156 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5786 5156 231 231 0 5555 0
vsize: 23144
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10951
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 5921 0 0 0 28963 41 0 0 25 0 1 0 545598473 25411584 5193 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6204 5193 231 231 0 5973 0
vsize: 24816
[startup+300.008 s]
Raw data (loadavg): 1.15 1.00 0.95 2/54 11004
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 5942 0 0 0 29962 42 0 0 25 0 1 0 545598473 25411584 5214 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6204 5214 231 231 0 5973 0
vsize: 24816
[startup+310.008 s]
Raw data (loadavg): 1.13 1.00 0.95 2/54 11004
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 6315 0 0 0 30960 43 0 0 25 0 1 0 545598473 25411584 5587 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6204 5587 231 231 0 5973 0
vsize: 24816
[startup+320.008 s]
Raw data (loadavg): 1.11 1.00 0.95 2/54 11004
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 6359 0 0 0 31959 44 0 0 25 0 1 0 545598473 25694208 5631 4294967295 134512640 135450300 3221224640 3221223472 134549267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6273 5631 231 231 0 6042 0
vsize: 25092
[startup+330.008 s]
Raw data (loadavg): 1.09 1.00 0.95 2/54 11004
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 6376 0 0 0 32959 45 0 0 25 0 1 0 545598473 25694208 5648 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6273 5648 231 231 0 6042 0
vsize: 25092
[startup+340.008 s]
Raw data (loadavg): 1.08 1.00 0.95 2/54 11004
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 6493 0 0 0 33958 46 0 0 25 0 1 0 545598473 42471424 5765 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10369 5765 231 231 0 10138 0
vsize: 41476
[startup+350.008 s]
Raw data (loadavg): 1.07 1.00 0.95 2/54 11004
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 6650 0 0 0 34958 47 0 0 25 0 1 0 545598473 42471424 5922 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10369 5922 231 231 0 10138 0
vsize: 41476
[startup+360.008 s]
Raw data (loadavg): 1.06 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 6657 0 0 0 35957 47 0 0 25 0 1 0 545598473 42471424 5929 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10369 5929 231 231 0 10138 0
vsize: 41476
[startup+370.007 s]
Raw data (loadavg): 1.05 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 6949 0 0 0 36956 49 0 0 25 0 1 0 545598473 42745856 6221 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10436 6221 231 231 0 10205 0
vsize: 41744
[startup+380.007 s]
Raw data (loadavg): 1.04 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7224 0 0 0 37954 51 0 0 25 0 1 0 545598473 42745856 6496 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10436 6496 231 231 0 10205 0
vsize: 41744
[startup+390.007 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7343 0 0 0 38953 52 0 0 25 0 1 0 545598473 42885120 6615 4294967295 134512640 135450300 3221224640 3221223420 134535630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10470 6615 231 231 0 10239 0
vsize: 41880
[startup+400.007 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7365 0 0 0 39952 53 0 0 25 0 1 0 545598473 42885120 6637 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10470 6637 231 231 0 10239 0
vsize: 41880
[startup+410.006 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7394 0 0 0 40952 53 0 0 25 0 1 0 545598473 42885120 6666 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10470 6666 231 231 0 10239 0
vsize: 41880
[startup+420.006 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7435 0 0 0 41952 54 0 0 25 0 1 0 545598473 43077632 6707 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10517 6707 231 231 0 10286 0
vsize: 42068
[startup+430.005 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7442 0 0 0 42951 54 0 0 25 0 1 0 545598473 43077632 6714 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10517 6714 231 231 0 10286 0
vsize: 42068
[startup+440.005 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7585 0 0 0 43950 55 0 0 25 0 1 0 545598473 43077632 6857 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10517 6857 231 231 0 10286 0
vsize: 42068
[startup+450.005 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7671 0 0 0 44950 56 0 0 25 0 1 0 545598473 43077632 6943 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10517 6943 231 231 0 10286 0
vsize: 42068
[startup+460.006 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 7830 0 0 0 45949 57 0 0 25 0 1 0 545598473 43225088 7102 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 7102 231 231 0 10322 0
vsize: 42212
[startup+470.005 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8013 0 0 0 46948 58 0 0 25 0 1 0 545598473 43225088 7285 4294967295 134512640 135450300 3221224640 3221223376 134537946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 7285 231 231 0 10322 0
vsize: 42212
[startup+480.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8073 0 0 0 47948 59 0 0 25 0 1 0 545598473 43225088 7345 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 7345 231 231 0 10322 0
vsize: 42212
[startup+490.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8170 0 0 0 48947 59 0 0 25 0 1 0 545598473 43372544 7442 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10589 7442 231 231 0 10358 0
vsize: 42356
[startup+500.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8351 0 0 0 49947 60 0 0 25 0 1 0 545598473 43372544 7623 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10589 7623 231 231 0 10358 0
vsize: 42356
[startup+510.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8418 0 0 0 50946 60 0 0 25 0 1 0 545598473 43520000 7690 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10625 7690 231 231 0 10394 0
vsize: 42500
[startup+520.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8563 0 0 0 51945 62 0 0 25 0 1 0 545598473 43520000 7835 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10625 7835 231 231 0 10394 0
vsize: 42500
[startup+530.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8766 0 0 0 52945 63 0 0 25 0 1 0 545598473 43520000 8038 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10625 8038 231 231 0 10394 0
vsize: 42500
[startup+540.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8812 0 0 0 53944 63 0 0 25 0 1 0 545598473 43667456 8084 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10661 8084 231 231 0 10430 0
vsize: 42644
[startup+550.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8827 0 0 0 54944 63 0 0 25 0 1 0 545598473 43814912 8099 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10697 8099 231 231 0 10466 0
vsize: 42788
[startup+560.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 8912 0 0 0 55943 64 0 0 25 0 1 0 545598473 43962368 8184 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10733 8184 231 231 0 10502 0
vsize: 42932
[startup+570.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9075 0 0 0 56943 65 0 0 25 0 1 0 545598473 44146688 8347 4294967295 134512640 135450300 3221224640 3221223472 134549267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10778 8347 231 231 0 10547 0
vsize: 43112
[startup+580.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9258 0 0 0 57943 66 0 0 25 0 1 0 545598473 44146688 8530 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10778 8530 231 231 0 10547 0
vsize: 43112
[startup+590.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9309 0 0 0 58943 66 0 0 25 0 1 0 545598473 44146688 8581 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10778 8581 231 231 0 10547 0
vsize: 43112
[startup+600.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9369 0 0 0 59941 67 0 0 25 0 1 0 545598473 44339200 8641 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10825 8641 231 231 0 10594 0
vsize: 43300
[startup+610.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9380 0 0 0 60941 68 0 0 25 0 1 0 545598473 44519424 8652 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10869 8652 231 231 0 10638 0
vsize: 43476
[startup+620.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9424 0 0 0 61941 68 0 0 25 0 1 0 545598473 44519424 8696 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10869 8696 231 231 0 10638 0
vsize: 43476
[startup+630.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9445 0 0 0 62940 69 0 0 25 0 1 0 545598473 44699648 8717 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10913 8717 231 231 0 10682 0
vsize: 43652
[startup+640.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9468 0 0 0 63940 70 0 0 25 0 1 0 545598473 44699648 8740 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10913 8740 231 231 0 10682 0
vsize: 43652
[startup+650.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11006
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9478 0 0 0 64940 70 0 0 25 0 1 0 545598473 44699648 8750 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10913 8750 231 231 0 10682 0
vsize: 43652
[startup+660.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9488 0 0 0 65940 70 0 0 25 0 1 0 545598473 44838912 8760 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10947 8760 231 231 0 10716 0
vsize: 43788
[startup+670.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9508 0 0 0 66939 71 0 0 25 0 1 0 545598473 44838912 8780 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10947 8780 231 231 0 10716 0
vsize: 43788
[startup+680.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9524 0 0 0 67939 71 0 0 25 0 1 0 545598473 44838912 8796 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10947 8796 231 231 0 10716 0
vsize: 43788
[startup+690.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9568 0 0 0 68939 72 0 0 25 0 1 0 545598473 44986368 8840 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10983 8840 231 231 0 10752 0
vsize: 43932
[startup+700.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9601 0 0 0 69938 72 0 0 25 0 1 0 545598473 45162496 8873 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11026 8873 231 231 0 10795 0
vsize: 44104
[startup+710.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9648 0 0 0 70937 73 0 0 25 0 1 0 545598473 45309952 8920 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11062 8920 231 231 0 10831 0
vsize: 44248
[startup+720.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9664 0 0 0 71937 74 0 0 25 0 1 0 545598473 45309952 8936 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11062 8936 231 231 0 10831 0
vsize: 44248
[startup+730.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9789 0 0 0 72937 74 0 0 25 0 1 0 545598473 45457408 9061 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11098 9061 231 231 0 10867 0
vsize: 44392
[startup+740.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 9977 0 0 0 73936 76 0 0 25 0 1 0 545598473 45457408 9249 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11098 9249 231 231 0 10867 0
vsize: 44392
[startup+750.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 10828 0 0 0 74934 78 0 0 25 0 1 0 545598473 48852992 9331 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11927 9331 231 231 0 11696 0
vsize: 47708
[startup+760.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11024 0 0 0 75933 78 0 0 25 0 1 0 545598473 48852992 9527 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11927 9527 231 231 0 11696 0
vsize: 47708
[startup+770.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11076 0 0 0 76933 78 0 0 25 0 1 0 545598473 48852992 9579 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11927 9579 231 231 0 11696 0
vsize: 47708
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11082 0 0 0 77934 79 0 0 25 0 1 0 545598473 48852992 9585 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11927 9585 231 231 0 11696 0
vsize: 47708
[startup+790.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11097 0 0 0 78934 79 0 0 25 0 1 0 545598473 48852992 9600 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11927 9600 231 231 0 11696 0
vsize: 47708
[startup+800.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11137 0 0 0 79933 80 0 0 25 0 1 0 545598473 49000448 9640 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11963 9640 231 231 0 11732 0
vsize: 47852
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11178 0 0 0 80933 80 0 0 25 0 1 0 545598473 49242112 9681 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 9681 231 231 0 11791 0
vsize: 48088
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11193 0 0 0 81933 81 0 0 25 0 1 0 545598473 49242112 9696 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 9696 231 231 0 11791 0
vsize: 48088
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11200 0 0 0 82933 81 0 0 25 0 1 0 545598473 49242112 9703 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 9703 231 231 0 11791 0
vsize: 48088
[startup+840.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11202 0 0 0 83932 81 0 0 25 0 1 0 545598473 49242112 9705 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 9705 231 231 0 11791 0
vsize: 48088
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11251 0 0 0 84932 82 0 0 25 0 1 0 545598473 49438720 9754 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12070 9754 231 231 0 11839 0
vsize: 48280
[startup+860.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11345 0 0 0 85932 83 0 0 25 0 1 0 545598473 49868800 9848 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12175 9848 231 231 0 11944 0
vsize: 48700
[startup+870.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11359 0 0 0 86931 83 0 0 25 0 1 0 545598473 49868800 9862 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12175 9862 231 231 0 11944 0
vsize: 48700
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11373 0 0 0 87931 83 0 0 25 0 1 0 545598473 49868800 9876 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12175 9876 231 231 0 11944 0
vsize: 48700
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11378 0 0 0 88931 84 0 0 25 0 1 0 545598473 49868800 9881 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12175 9881 231 231 0 11944 0
vsize: 48700
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11390 0 0 0 89930 85 0 0 25 0 1 0 545598473 49868800 9893 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12175 9893 231 231 0 11944 0
vsize: 48700
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11406 0 0 0 90929 86 0 0 25 0 1 0 545598473 49868800 9909 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12175 9909 231 231 0 11944 0
vsize: 48700
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11425 0 0 0 91929 86 0 0 25 0 1 0 545598473 49868800 9928 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12175 9928 231 231 0 11944 0
vsize: 48700
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11431 0 0 0 92929 86 0 0 25 0 1 0 545598473 50032640 9934 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9934 231 231 0 11984 0
vsize: 48860
[startup+940.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11442 0 0 0 93929 87 0 0 25 0 1 0 545598473 50032640 9945 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9945 231 231 0 11984 0
vsize: 48860
[startup+950.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11453 0 0 0 94928 88 0 0 25 0 1 0 545598473 50032640 9956 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9956 231 231 0 11984 0
vsize: 48860
[startup+960.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11456 0 0 0 95928 88 0 0 25 0 1 0 545598473 50032640 9959 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9959 231 231 0 11984 0
vsize: 48860
[startup+970.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11460 0 0 0 96928 88 0 0 25 0 1 0 545598473 50032640 9963 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9963 231 231 0 11984 0
vsize: 48860
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11468 0 0 0 97927 89 0 0 25 0 1 0 545598473 50032640 9971 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9971 231 231 0 11984 0
vsize: 48860
[startup+990.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11492 0 0 0 98926 91 0 0 25 0 1 0 545598473 50032640 9995 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9995 231 231 0 11984 0
vsize: 48860
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11539 0 0 0 99925 92 0 0 25 0 1 0 545598473 50204672 10042 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 10042 231 231 0 12026 0
vsize: 49028
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11552 0 0 0 100924 93 0 0 25 0 1 0 545598473 50204672 10055 4294967295 134512640 135450300 3221224640 3221223248 134537600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 10055 231 231 0 12026 0
vsize: 49028
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11565 0 0 0 101924 93 0 0 25 0 1 0 545598473 50204672 10068 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 10068 231 231 0 12026 0
vsize: 49028
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11583 0 0 0 102924 94 0 0 25 0 1 0 545598473 50388992 10086 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 10086 231 231 0 12071 0
vsize: 49208
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11593 0 0 0 103923 95 0 0 25 0 1 0 545598473 50388992 10096 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 10096 231 231 0 12071 0
vsize: 49208
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11625 0 0 0 104922 96 0 0 25 0 1 0 545598473 50536448 10128 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 10128 231 231 0 12107 0
vsize: 49352
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11643 0 0 0 105921 96 0 0 25 0 1 0 545598473 50536448 10146 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 10146 231 231 0 12107 0
vsize: 49352
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11666 0 0 0 106920 98 0 0 25 0 1 0 545598473 50536448 10169 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 10169 231 231 0 12107 0
vsize: 49352
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11675 0 0 0 107920 98 0 0 25 0 1 0 545598473 50536448 10178 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 10178 231 231 0 12107 0
vsize: 49352
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11692 0 0 0 108920 99 0 0 25 0 1 0 545598473 50536448 10195 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 10195 231 231 0 12107 0
vsize: 49352
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11723 0 0 0 109920 99 0 0 25 0 1 0 545598473 50733056 10226 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 10226 231 231 0 12155 0
vsize: 49544
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11749 0 0 0 110919 99 0 0 25 0 1 0 545598473 50905088 10252 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12428 10252 231 231 0 12197 0
vsize: 49712
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11776 0 0 0 111919 100 0 0 25 0 1 0 545598473 50905088 10279 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12428 10279 231 231 0 12197 0
vsize: 49712
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11790 0 0 0 112918 102 0 0 25 0 1 0 545598473 50905088 10293 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12428 10293 231 231 0 12197 0
vsize: 49712
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11795 0 0 0 113918 102 0 0 25 0 1 0 545598473 50905088 10298 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12428 10298 231 231 0 12197 0
vsize: 49712
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11808 0 0 0 114917 103 0 0 25 0 1 0 545598473 51113984 10311 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12479 10311 231 231 0 12248 0
vsize: 49916
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11815 0 0 0 115916 103 0 0 25 0 1 0 545598473 51113984 10318 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12479 10318 231 231 0 12248 0
vsize: 49916
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11820 0 0 0 116915 105 0 0 25 0 1 0 545598473 51113984 10323 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12479 10323 231 231 0 12248 0
vsize: 49916
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11832 0 0 0 117915 105 0 0 25 0 1 0 545598473 51113984 10335 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12479 10335 231 231 0 12248 0
vsize: 49916
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11845 0 0 0 118914 106 0 0 25 0 1 0 545598473 51113984 10348 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12479 10348 231 231 0 12248 0
vsize: 49916
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11008
Raw data (stat): 10951 (PBS4) R 10950 28546 28545 0 -1 0 11851 0 0 0 119914 106 0 0 25 0 1 0 545598473 51113984 10354 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12479 10354 231 231 0 12248 0
vsize: 49916
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 11008
Raw data (stat): 10951 (PBS4) Z 10950 28546 28545 0 -1 1036 11851 0 0 0 119914 108 0 0 25 0 1 0 545598473 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.04
CPU time (s): 1200.23
CPU user time (s): 1199.14
CPU system time (s): 1.08883
CPU usage (%): 100.016
Max. virtual memory (Kb): 49916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####