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-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 21114

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 22:50:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13734 boxname=wulflinc27 idbench=1057 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 13734
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        452544 kB
Buffers:         27956 kB
Cached:         531104 kB
SwapCached:        512 kB
Active:          95148 kB
Inactive:       465932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        452292 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15364 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:10:28 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 13734 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-p0548.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.79 0.92 0.91 2/54 27438
Raw data (stat): 27438 (runsolver) R 27437 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548810653 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.0007 s]
Raw data (loadavg): 0.82 0.93 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 1223 0 0 0 984 14 0 0 25 0 1 0 548810653 6406144 1219 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1564 1219 231 231 0 1333 0
vsize: 6256
[startup+20.0002 s]
Raw data (loadavg): 0.85 0.93 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 1806 0 0 0 1976 23 0 0 25 0 1 0 548810653 10932224 1753 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2669 1753 231 231 0 2438 0
vsize: 10676
[startup+30.0013 s]
Raw data (loadavg): 0.87 0.93 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 2419 0 0 0 2973 26 0 0 25 0 1 0 548810653 11202560 2366 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2735 2366 231 231 0 2504 0
vsize: 10940
[startup+40.0012 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 2571 0 0 0 3972 27 0 0 25 0 1 0 548810653 11730944 2421 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2864 2421 231 231 0 2633 0
vsize: 11456
[startup+50.0017 s]
Raw data (loadavg): 0.91 0.93 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 2658 0 0 0 4970 29 0 0 25 0 1 0 548810653 11878400 2508 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2900 2508 231 231 0 2669 0
vsize: 11600
[startup+60.0019 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 2885 0 0 0 5969 31 0 0 25 0 1 0 548810653 20267008 2735 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4948 2735 231 231 0 4717 0
vsize: 19792
[startup+70.0016 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 2935 0 0 0 6965 34 0 0 25 0 1 0 548810653 20402176 2785 4294967295 134512640 135450300 3221224624 3221223232 134537576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2785 231 231 0 4750 0
vsize: 19924
[startup+80.0022 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 3055 0 0 0 7963 37 0 0 25 0 1 0 548810653 20672512 2905 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5047 2905 231 231 0 4816 0
vsize: 20188
[startup+90.0023 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 3335 0 0 0 8961 39 0 0 25 0 1 0 548810653 20672512 3185 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5047 3185 231 231 0 4816 0
vsize: 20188
[startup+100.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 3719 0 0 0 9957 43 0 0 25 0 1 0 548810653 20811776 3569 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5081 3569 231 231 0 4850 0
vsize: 20324
[startup+110.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4024 0 0 0 10955 46 0 0 25 0 1 0 548810653 21766144 3681 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5314 3681 231 231 0 5083 0
vsize: 21256
[startup+120.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4052 0 0 0 11953 48 0 0 25 0 1 0 548810653 21766144 3709 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5314 3709 231 231 0 5083 0
vsize: 21256
[startup+130.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4096 0 0 0 12951 50 0 0 25 0 1 0 548810653 21925888 3753 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 3753 231 231 0 5122 0
vsize: 21412
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4111 0 0 0 13950 51 0 0 25 0 1 0 548810653 21925888 3768 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 3768 231 231 0 5122 0
vsize: 21412
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4141 0 0 0 14949 53 0 0 25 0 1 0 548810653 22061056 3798 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5386 3798 231 231 0 5155 0
vsize: 21544
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4159 0 0 0 15948 54 0 0 25 0 1 0 548810653 22061056 3816 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5386 3816 231 231 0 5155 0
vsize: 21544
[startup+170.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4192 0 0 0 16947 55 0 0 25 0 1 0 548810653 22188032 3849 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5417 3849 231 231 0 5186 0
vsize: 21668
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4331 0 0 0 17946 56 0 0 25 0 1 0 548810653 22188032 3988 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5417 3988 231 231 0 5186 0
vsize: 21668
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4506 0 0 0 18946 57 0 0 25 0 1 0 548810653 22319104 4163 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5449 4163 231 231 0 5218 0
vsize: 21796
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4536 0 0 0 19944 58 0 0 25 0 1 0 548810653 22319104 4193 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5449 4193 231 231 0 5218 0
vsize: 21796
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4556 0 0 0 20944 58 0 0 25 0 1 0 548810653 22450176 4213 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4213 231 231 0 5250 0
vsize: 21924
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4578 0 0 0 21943 59 0 0 25 0 1 0 548810653 22450176 4235 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4235 231 231 0 5250 0
vsize: 21924
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4597 0 0 0 22942 60 0 0 25 0 1 0 548810653 22450176 4254 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4254 231 231 0 5250 0
vsize: 21924
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4631 0 0 0 23941 62 0 0 25 0 1 0 548810653 22585344 4288 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4288 231 231 0 5283 0
vsize: 22056
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4674 0 0 0 24941 63 0 0 25 0 1 0 548810653 22736896 4331 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5551 4331 231 231 0 5320 0
vsize: 22204
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4730 0 0 0 25940 64 0 0 25 0 1 0 548810653 22736896 4387 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5551 4387 231 231 0 5320 0
vsize: 22204
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4824 0 0 0 26939 65 0 0 25 0 1 0 548810653 22736896 4481 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5551 4481 231 231 0 5320 0
vsize: 22204
[startup+280.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 4992 0 0 0 27937 67 0 0 25 0 1 0 548810653 22736896 4649 4294967295 134512640 135450300 3221224624 3221223008 134602327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5551 4649 231 231 0 5320 0
vsize: 22204
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5027 0 0 0 28936 68 0 0 25 0 1 0 548810653 22900736 4684 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5591 4684 231 231 0 5360 0
vsize: 22364
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5460 0 0 0 29934 70 0 0 25 0 1 0 548810653 24621056 4732 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6011 4732 231 231 0 5780 0
vsize: 24044
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5484 0 0 0 30934 71 0 0 25 0 1 0 548810653 24621056 4756 4294967295 134512640 135450300 3221224624 3221223456 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6011 4756 231 231 0 5780 0
vsize: 24044
[startup+320.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5513 0 0 0 31933 72 0 0 25 0 1 0 548810653 24621056 4785 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6011 4785 231 231 0 5780 0
vsize: 24044
[startup+330.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5539 0 0 0 32932 73 0 0 25 0 1 0 548810653 24842240 4811 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6065 4811 231 231 0 5834 0
vsize: 24260
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5563 0 0 0 33930 74 0 0 25 0 1 0 548810653 24842240 4835 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6065 4835 231 231 0 5834 0
vsize: 24260
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5610 0 0 0 34929 76 0 0 25 0 1 0 548810653 24997888 4882 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 4882 231 231 0 5872 0
vsize: 24412
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5621 0 0 0 35928 77 0 0 25 0 1 0 548810653 24997888 4893 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 4893 231 231 0 5872 0
vsize: 24412
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5638 0 0 0 36927 78 0 0 25 0 1 0 548810653 24997888 4910 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 4910 231 231 0 5872 0
vsize: 24412
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5652 0 0 0 37926 79 0 0 25 0 1 0 548810653 24997888 4924 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 4924 231 231 0 5872 0
vsize: 24412
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5666 0 0 0 38926 79 0 0 25 0 1 0 548810653 24997888 4938 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 4938 231 231 0 5872 0
vsize: 24412
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5679 0 0 0 39926 80 0 0 25 0 1 0 548810653 24997888 4951 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 4951 231 231 0 5872 0
vsize: 24412
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5705 0 0 0 40925 81 0 0 25 0 1 0 548810653 25235456 4977 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6161 4977 231 231 0 5930 0
vsize: 24644
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5716 0 0 0 41925 81 0 0 25 0 1 0 548810653 25235456 4988 4294967295 134512640 135450300 3221224624 3221223440 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6161 4988 231 231 0 5930 0
vsize: 24644
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5729 0 0 0 42924 82 0 0 25 0 1 0 548810653 25235456 5001 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6161 5001 231 231 0 5930 0
vsize: 24644
[startup+440.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5756 0 0 0 43924 83 0 0 25 0 1 0 548810653 25378816 5028 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6196 5028 231 231 0 5965 0
vsize: 24784
[startup+450.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5784 0 0 0 44923 83 0 0 25 0 1 0 548810653 25378816 5056 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6196 5056 231 231 0 5965 0
vsize: 24784
[startup+460.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5812 0 0 0 45922 85 0 0 25 0 1 0 548810653 25378816 5084 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6196 5084 231 231 0 5965 0
vsize: 24784
[startup+470.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5845 0 0 0 46922 86 0 0 25 0 1 0 548810653 25563136 5117 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6241 5117 231 231 0 6010 0
vsize: 24964
[startup+480.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5861 0 0 0 47921 86 0 0 25 0 1 0 548810653 25563136 5133 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6241 5133 231 231 0 6010 0
vsize: 24964
[startup+490.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5885 0 0 0 48921 87 0 0 25 0 1 0 548810653 25739264 5157 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5157 231 231 0 6053 0
vsize: 25136
[startup+500.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5898 0 0 0 49920 88 0 0 25 0 1 0 548810653 25739264 5170 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5170 231 231 0 6053 0
vsize: 25136
[startup+510.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5910 0 0 0 50920 88 0 0 25 0 1 0 548810653 25739264 5182 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5182 231 231 0 6053 0
vsize: 25136
[startup+520.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5930 0 0 0 51919 89 0 0 25 0 1 0 548810653 25739264 5202 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5202 231 231 0 6053 0
vsize: 25136
[startup+530.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5955 0 0 0 52917 92 0 0 25 0 1 0 548810653 25739264 5227 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5227 231 231 0 6053 0
vsize: 25136
[startup+540.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5966 0 0 0 53916 92 0 0 25 0 1 0 548810653 25739264 5238 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5238 231 231 0 6053 0
vsize: 25136
[startup+550.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 5983 0 0 0 54916 93 0 0 25 0 1 0 548810653 25886720 5255 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6320 5255 231 231 0 6089 0
vsize: 25280
[startup+560.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6007 0 0 0 55915 94 0 0 25 0 1 0 548810653 26021888 5279 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6353 5279 231 231 0 6122 0
vsize: 25412
[startup+570.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27438
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6020 0 0 0 56914 95 0 0 25 0 1 0 548810653 26021888 5292 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6353 5292 231 231 0 6122 0
vsize: 25412
[startup+580.016 s]
Raw data (loadavg): 1.08 1.00 0.92 3/57 27474
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6037 0 0 0 57912 96 0 0 25 0 1 0 548810653 26021888 5309 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6353 5309 231 231 0 6122 0
vsize: 25412
[startup+590.016 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 27491
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6059 0 0 0 58912 96 0 0 25 0 1 0 548810653 26165248 5331 4294967295 134512640 135450300 3221224624 3221223440 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6388 5331 231 231 0 6157 0
vsize: 25552
[startup+600.018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 27491
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6076 0 0 0 59911 98 0 0 25 0 1 0 548810653 26165248 5348 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6388 5348 231 231 0 6157 0
vsize: 25552
[startup+610.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 27491
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6097 0 0 0 60910 99 0 0 25 0 1 0 548810653 26165248 5369 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6388 5369 231 231 0 6157 0
vsize: 25552
[startup+620.018 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 27491
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6121 0 0 0 61909 100 0 0 25 0 1 0 548810653 26316800 5393 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6425 5393 231 231 0 6194 0
vsize: 25700
[startup+630.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 27491
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6163 0 0 0 62908 101 0 0 25 0 1 0 548810653 26316800 5435 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6425 5435 231 231 0 6194 0
vsize: 25700
[startup+640.019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 27491
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6172 0 0 0 63908 101 0 0 25 0 1 0 548810653 26316800 5444 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6425 5444 231 231 0 6194 0
vsize: 25700
[startup+650.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 27491
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6185 0 0 0 64908 102 0 0 25 0 1 0 548810653 26480640 5457 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5457 231 231 0 6234 0
vsize: 25860
[startup+660.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6196 0 0 0 65908 102 0 0 25 0 1 0 548810653 26480640 5468 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5468 231 231 0 6234 0
vsize: 25860
[startup+670.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6207 0 0 0 66908 102 0 0 25 0 1 0 548810653 26480640 5479 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5479 231 231 0 6234 0
vsize: 25860
[startup+680.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6222 0 0 0 67907 103 0 0 25 0 1 0 548810653 26480640 5494 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5494 231 231 0 6234 0
vsize: 25860
[startup+690.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6235 0 0 0 68906 104 0 0 25 0 1 0 548810653 26480640 5507 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5507 231 231 0 6234 0
vsize: 25860
[startup+700.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6245 0 0 0 69906 105 0 0 25 0 1 0 548810653 26480640 5517 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5517 231 231 0 6234 0
vsize: 25860
[startup+710.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6264 0 0 0 70904 107 0 0 25 0 1 0 548810653 26480640 5536 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5536 231 231 0 6234 0
vsize: 25860
[startup+720.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6285 0 0 0 71903 108 0 0 25 0 1 0 548810653 26652672 5557 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6507 5557 231 231 0 6276 0
vsize: 26028
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6300 0 0 0 72903 108 0 0 25 0 1 0 548810653 26652672 5572 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6507 5572 231 231 0 6276 0
vsize: 26028
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6308 0 0 0 73903 109 0 0 25 0 1 0 548810653 26652672 5580 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6507 5580 231 231 0 6276 0
vsize: 26028
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6317 0 0 0 74902 110 0 0 25 0 1 0 548810653 26652672 5589 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6507 5589 231 231 0 6276 0
vsize: 26028
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 6347 0 0 0 75901 111 0 0 25 0 1 0 548810653 26800128 5619 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6543 5619 231 231 0 6312 0
vsize: 26172
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7146 0 0 0 76898 114 0 0 25 0 1 0 548810653 30130176 5649 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5649 231 231 0 7125 0
vsize: 29424
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7155 0 0 0 77897 115 0 0 25 0 1 0 548810653 30130176 5658 4294967295 134512640 135450300 3221224624 3221223280 134532956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5658 231 231 0 7125 0
vsize: 29424
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7171 0 0 0 78897 115 0 0 25 0 1 0 548810653 30130176 5674 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5674 231 231 0 7125 0
vsize: 29424
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7189 0 0 0 79896 116 0 0 25 0 1 0 548810653 30130176 5692 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5692 231 231 0 7125 0
vsize: 29424
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7197 0 0 0 80895 117 0 0 25 0 1 0 548810653 30130176 5700 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5700 231 231 0 7125 0
vsize: 29424
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7207 0 0 0 81895 118 0 0 25 0 1 0 548810653 30130176 5710 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5710 231 231 0 7125 0
vsize: 29424
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7220 0 0 0 82894 119 0 0 25 0 1 0 548810653 30130176 5723 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5723 231 231 0 7125 0
vsize: 29424
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7231 0 0 0 83894 119 0 0 25 0 1 0 548810653 30130176 5734 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 5734 231 231 0 7125 0
vsize: 29424
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7277 0 0 0 84892 121 0 0 25 0 1 0 548810653 30322688 5780 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 5780 231 231 0 7172 0
vsize: 29612
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7284 0 0 0 85891 122 0 0 25 0 1 0 548810653 30322688 5787 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 5787 231 231 0 7172 0
vsize: 29612
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7296 0 0 0 86891 123 0 0 25 0 1 0 548810653 30322688 5799 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 5799 231 231 0 7172 0
vsize: 29612
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7306 0 0 0 87891 123 0 0 25 0 1 0 548810653 30322688 5809 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 5809 231 231 0 7172 0
vsize: 29612
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7317 0 0 0 88890 124 0 0 25 0 1 0 548810653 30322688 5820 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 5820 231 231 0 7172 0
vsize: 29612
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7329 0 0 0 89890 125 0 0 25 0 1 0 548810653 30322688 5832 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 5832 231 231 0 7172 0
vsize: 29612
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27493
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7349 0 0 0 90889 125 0 0 25 0 1 0 548810653 30527488 5852 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5852 231 231 0 7222 0
vsize: 29812
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7357 0 0 0 91888 126 0 0 25 0 1 0 548810653 30527488 5860 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5860 231 231 0 7222 0
vsize: 29812
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7368 0 0 0 92888 127 0 0 25 0 1 0 548810653 30527488 5871 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5871 231 231 0 7222 0
vsize: 29812
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7378 0 0 0 93887 128 0 0 25 0 1 0 548810653 30527488 5881 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5881 231 231 0 7222 0
vsize: 29812
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7392 0 0 0 94886 130 0 0 25 0 1 0 548810653 30527488 5895 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5895 231 231 0 7222 0
vsize: 29812
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7408 0 0 0 95884 131 0 0 25 0 1 0 548810653 30527488 5911 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5911 231 231 0 7222 0
vsize: 29812
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7423 0 0 0 96884 131 0 0 25 0 1 0 548810653 30527488 5926 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5926 231 231 0 7222 0
vsize: 29812
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7440 0 0 0 97883 133 0 0 25 0 1 0 548810653 30527488 5943 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5943 231 231 0 7222 0
vsize: 29812
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7463 0 0 0 98882 134 0 0 25 0 1 0 548810653 30744576 5966 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 5966 231 231 0 7275 0
vsize: 30024
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7471 0 0 0 99881 135 0 0 25 0 1 0 548810653 30744576 5974 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 5974 231 231 0 7275 0
vsize: 30024
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7484 0 0 0 100881 136 0 0 25 0 1 0 548810653 30744576 5987 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 5987 231 231 0 7275 0
vsize: 30024
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7494 0 0 0 101880 136 0 0 25 0 1 0 548810653 30744576 5997 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 5997 231 231 0 7275 0
vsize: 30024
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7501 0 0 0 102880 137 0 0 25 0 1 0 548810653 30744576 6004 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6004 231 231 0 7275 0
vsize: 30024
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7533 0 0 0 103879 138 0 0 25 0 1 0 548810653 30744576 6036 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6036 231 231 0 7275 0
vsize: 30024
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7543 0 0 0 104879 138 0 0 25 0 1 0 548810653 30744576 6046 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6046 231 231 0 7275 0
vsize: 30024
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7585 0 0 0 105878 139 0 0 25 0 1 0 548810653 30744576 6088 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6088 231 231 0 7275 0
vsize: 30024
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7703 0 0 0 106877 140 0 0 25 0 1 0 548810653 30744576 6206 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6206 231 231 0 7275 0
vsize: 30024
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7710 0 0 0 107876 142 0 0 25 0 1 0 548810653 30744576 6213 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6213 231 231 0 7275 0
vsize: 30024
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7719 0 0 0 108876 142 0 0 25 0 1 0 548810653 30744576 6222 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6222 231 231 0 7275 0
vsize: 30024
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7733 0 0 0 109876 143 0 0 25 0 1 0 548810653 31125504 6236 4294967295 134512640 135450300 3221224624 3221223456 134549298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6236 231 231 0 7368 0
vsize: 30396
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7749 0 0 0 110876 143 0 0 25 0 1 0 548810653 31125504 6252 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6252 231 231 0 7368 0
vsize: 30396
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7766 0 0 0 111875 143 0 0 25 0 1 0 548810653 31125504 6269 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6269 231 231 0 7368 0
vsize: 30396
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7778 0 0 0 112875 144 0 0 25 0 1 0 548810653 31125504 6281 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6281 231 231 0 7368 0
vsize: 30396
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7795 0 0 0 113874 145 0 0 25 0 1 0 548810653 31125504 6298 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6298 231 231 0 7368 0
vsize: 30396
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7811 0 0 0 114874 145 0 0 25 0 1 0 548810653 31125504 6314 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6314 231 231 0 7368 0
vsize: 30396
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7817 0 0 0 115874 145 0 0 25 0 1 0 548810653 31125504 6320 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6320 231 231 0 7368 0
vsize: 30396
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7862 0 0 0 116872 147 0 0 25 0 1 0 548810653 31371264 6365 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6365 231 231 0 7428 0
vsize: 30636
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7873 0 0 0 117870 149 0 0 25 0 1 0 548810653 31371264 6376 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6376 231 231 0 7428 0
vsize: 30636
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7879 0 0 0 118870 150 0 0 25 0 1 0 548810653 31371264 6382 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6382 231 231 0 7428 0
vsize: 30636
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 27495
Raw data (stat): 27438 (PBS4) R 27437 18865 18864 0 -1 0 7991 0 0 0 119869 151 0 0 25 0 1 0 548810653 31518720 6494 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7695 6494 231 231 0 7464 0
vsize: 30780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 27495
Raw data (stat): 27438 (PBS4) Z 27437 18865 18864 0 -1 1036 7991 0 0 0 119869 152 0 0 25 0 1 0 548810653 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.05
CPU time (s): 1200.22
CPU user time (s): 1198.69
CPU system time (s): 1.52977
CPU usage (%): 100.015
Max. virtual memory (Kb): 30780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####