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/miplib2003/normalized-mps-v2-13-7-pk1.opb
MD5SUM	9c5126d785c8d5465220e290c5fc25a6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
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.04
Number of variables	675
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 18517

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-21 15:20:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17894 boxname=wulflinc1 idbench=1377 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  9c5126d785c8d5465220e290c5fc25a6  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 17894
/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:        747224 kB
Buffers:          5680 kB
Cached:         256664 kB
SwapCached:          0 kB
Active:          52764 kB
Inactive:       212728 kB
HighTotal:      131008 kB
HighFree:        20916 kB
LowTotal:       903652 kB
LowFree:        726308 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7220 kB
Slab:            16184 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 15:40:16 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 17894 7 1200.22 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-13-7-pk1.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.92 2/56 28880
Raw data (stat): 28880 (runsolver) R 28879 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 431035531 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.87 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 1087 0 0 0 987 12 0 0 25 0 1 0 431035531 6201344 1083 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1514 1083 231 231 0 1283 0
vsize: 6056
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 1741 0 0 0 1983 15 0 0 25 0 1 0 431035531 10866688 1688 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2653 1688 231 231 0 2422 0
vsize: 10612
[startup+30.0005 s]
Raw data (loadavg): 0.91 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 1850 0 0 0 2982 17 0 0 25 0 1 0 431035531 11001856 1797 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1797 231 231 0 2455 0
vsize: 10744
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 2189 0 0 0 3982 18 0 0 25 0 1 0 431035531 11137024 2136 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2719 2136 231 231 0 2488 0
vsize: 10876
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 2442 0 0 0 4981 19 0 0 25 0 1 0 431035531 11677696 2292 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2851 2292 231 231 0 2620 0
vsize: 11404
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 2705 0 0 0 5980 20 0 0 25 0 1 0 431035531 11816960 2555 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2885 2555 231 231 0 2654 0
vsize: 11540
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 2938 0 0 0 6978 22 0 0 25 0 1 0 431035531 20205568 2788 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4933 2788 231 231 0 4702 0
vsize: 19732
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 3167 0 0 0 7977 23 0 0 25 0 1 0 431035531 20348928 3017 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4968 3017 231 231 0 4737 0
vsize: 19872
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 3277 0 0 0 8976 24 0 0 25 0 1 0 431035531 20348928 3127 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4968 3127 231 231 0 4737 0
vsize: 19872
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 3525 0 0 0 9975 26 0 0 25 0 1 0 431035531 20496384 3375 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 3375 231 231 0 4773 0
vsize: 20016
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 3547 0 0 0 10974 27 0 0 25 0 1 0 431035531 20496384 3397 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 3397 231 231 0 4773 0
vsize: 20016
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 3703 0 0 0 11973 28 0 0 25 0 1 0 431035531 20652032 3553 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5042 3553 231 231 0 4811 0
vsize: 20168
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 3923 0 0 0 12972 29 0 0 25 0 1 0 431035531 20652032 3773 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5042 3773 231 231 0 4811 0
vsize: 20168
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 4130 0 0 0 13971 30 0 0 25 0 1 0 431035531 20799488 3980 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 3980 231 231 0 4847 0
vsize: 20312
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 4249 0 0 0 14970 31 0 0 25 0 1 0 431035531 20799488 4099 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4099 231 231 0 4847 0
vsize: 20312
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 4711 0 0 0 15969 33 0 0 25 0 1 0 431035531 21741568 4368 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5308 4368 231 231 0 5077 0
vsize: 21232
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 4925 0 0 0 16967 34 0 0 25 0 1 0 431035531 21889024 4582 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5344 4582 231 231 0 5113 0
vsize: 21376
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 5064 0 0 0 17966 35 0 0 25 0 1 0 431035531 22036480 4721 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5380 4721 231 231 0 5149 0
vsize: 21520
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 5308 0 0 0 18966 36 0 0 25 0 1 0 431035531 22200320 4965 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4965 231 231 0 5189 0
vsize: 21680
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 5506 0 0 0 19965 37 0 0 25 0 1 0 431035531 38977536 5163 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9516 5163 231 231 0 9285 0
vsize: 38064
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 5569 0 0 0 20964 38 0 0 25 0 1 0 431035531 39141376 5226 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9556 5226 231 231 0 9325 0
vsize: 38224
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 5768 0 0 0 21963 39 0 0 25 0 1 0 431035531 39141376 5425 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9556 5425 231 231 0 9325 0
vsize: 38224
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 5914 0 0 0 22963 40 0 0 25 0 1 0 431035531 39141376 5571 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9556 5571 231 231 0 9325 0
vsize: 38224
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6071 0 0 0 23962 41 0 0 25 0 1 0 431035531 39301120 5728 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9595 5728 231 231 0 9364 0
vsize: 38380
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6086 0 0 0 24961 41 0 0 25 0 1 0 431035531 39301120 5743 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9595 5743 231 231 0 9364 0
vsize: 38380
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6169 0 0 0 25961 42 0 0 25 0 1 0 431035531 39301120 5826 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9595 5826 231 231 0 9364 0
vsize: 38380
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6378 0 0 0 26959 44 0 0 25 0 1 0 431035531 39460864 6035 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9634 6035 231 231 0 9403 0
vsize: 38536
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28880
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6434 0 0 0 27959 44 0 0 25 0 1 0 431035531 39596032 6091 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9667 6091 231 231 0 9436 0
vsize: 38668
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6455 0 0 0 28959 44 0 0 25 0 1 0 431035531 39596032 6112 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9667 6112 231 231 0 9436 0
vsize: 38668
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6479 0 0 0 29959 45 0 0 25 0 1 0 431035531 39731200 6136 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9700 6136 231 231 0 9469 0
vsize: 38800
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6495 0 0 0 30958 45 0 0 25 0 1 0 431035531 39731200 6152 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9700 6152 231 231 0 9469 0
vsize: 38800
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6513 0 0 0 31958 46 0 0 25 0 1 0 431035531 39895040 6170 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9740 6170 231 231 0 9509 0
vsize: 38960
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6522 0 0 0 32957 47 0 0 25 0 1 0 431035531 39895040 6179 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9740 6179 231 231 0 9509 0
vsize: 38960
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6527 0 0 0 33957 47 0 0 25 0 1 0 431035531 39895040 6184 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9740 6184 231 231 0 9509 0
vsize: 38960
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6660 0 0 0 34956 48 0 0 25 0 1 0 431035531 39895040 6317 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9740 6317 231 231 0 9509 0
vsize: 38960
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6731 0 0 0 35956 49 0 0 25 0 1 0 431035531 40058880 6388 4294967295 134512640 135450300 3221224640 3221223248 134537568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9780 6388 231 231 0 9549 0
vsize: 39120
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6833 0 0 0 36955 49 0 0 25 0 1 0 431035531 40058880 6490 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9780 6490 231 231 0 9549 0
vsize: 39120
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 6977 0 0 0 37955 50 0 0 25 0 1 0 431035531 40194048 6634 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 6634 231 231 0 9582 0
vsize: 39252
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7150 0 0 0 38954 51 0 0 25 0 1 0 431035531 40194048 6807 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 6807 231 231 0 9582 0
vsize: 39252
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7228 0 0 0 39954 51 0 0 25 0 1 0 431035531 40194048 6885 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 6885 231 231 0 9582 0
vsize: 39252
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7232 0 0 0 40953 52 0 0 25 0 1 0 431035531 40194048 6889 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 6889 231 231 0 9582 0
vsize: 39252
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7238 0 0 0 41953 52 0 0 25 0 1 0 431035531 40194048 6895 4294967295 134512640 135450300 3221224640 3221223360 134535881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 6895 231 231 0 9582 0
vsize: 39252
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7259 0 0 0 42953 52 0 0 25 0 1 0 431035531 40194048 6916 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 6916 231 231 0 9582 0
vsize: 39252
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7371 0 0 0 43953 53 0 0 25 0 1 0 431035531 40357888 7028 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9853 7028 231 231 0 9622 0
vsize: 39412
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7453 0 0 0 44953 53 0 0 25 0 1 0 431035531 40357888 7110 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9853 7110 231 231 0 9622 0
vsize: 39412
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7566 0 0 0 45952 54 0 0 25 0 1 0 431035531 40357888 7223 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9853 7223 231 231 0 9622 0
vsize: 39412
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7708 0 0 0 46952 55 0 0 25 0 1 0 431035531 40357888 7365 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9853 7365 231 231 0 9622 0
vsize: 39412
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7828 0 0 0 47951 55 0 0 25 0 1 0 431035531 40357888 7485 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9853 7485 231 231 0 9622 0
vsize: 39412
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 7935 0 0 0 48951 56 0 0 25 0 1 0 431035531 40534016 7592 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9896 7592 231 231 0 9665 0
vsize: 39584
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 8028 0 0 0 49951 56 0 0 25 0 1 0 431035531 40534016 7685 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9896 7685 231 231 0 9665 0
vsize: 39584
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 8155 0 0 0 50950 57 0 0 25 0 1 0 431035531 40534016 7812 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9896 7812 231 231 0 9665 0
vsize: 39584
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 8278 0 0 0 51949 58 0 0 25 0 1 0 431035531 40534016 7935 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9896 7935 231 231 0 9665 0
vsize: 39584
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 8775 0 0 0 52948 59 0 0 25 0 1 0 431035531 42106880 8047 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10280 8047 231 231 0 10049 0
vsize: 41120
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 8877 0 0 0 53947 60 0 0 25 0 1 0 431035531 42106880 8149 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10280 8149 231 231 0 10049 0
vsize: 41120
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9004 0 0 0 54947 60 0 0 25 0 1 0 431035531 42270720 8276 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8276 231 231 0 10089 0
vsize: 41280
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9118 0 0 0 55946 61 0 0 25 0 1 0 431035531 42270720 8390 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8390 231 231 0 10089 0
vsize: 41280
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9227 0 0 0 56946 62 0 0 25 0 1 0 431035531 42270720 8499 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8499 231 231 0 10089 0
vsize: 41280
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28882
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9330 0 0 0 57945 62 0 0 25 0 1 0 431035531 42270720 8602 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8602 231 231 0 10089 0
vsize: 41280
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9429 0 0 0 58945 63 0 0 25 0 1 0 431035531 42270720 8701 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8701 231 231 0 10089 0
vsize: 41280
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9437 0 0 0 59945 63 0 0 25 0 1 0 431035531 42270720 8709 4294967295 134512640 135450300 3221224640 3221223456 134547972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8709 231 231 0 10089 0
vsize: 41280
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9442 0 0 0 60945 63 0 0 25 0 1 0 431035531 42270720 8714 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8714 231 231 0 10089 0
vsize: 41280
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9446 0 0 0 61944 64 0 0 25 0 1 0 431035531 42270720 8718 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8718 231 231 0 10089 0
vsize: 41280
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9453 0 0 0 62944 64 0 0 25 0 1 0 431035531 42270720 8725 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8725 231 231 0 10089 0
vsize: 41280
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9461 0 0 0 63944 64 0 0 25 0 1 0 431035531 42270720 8733 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 8733 231 231 0 10089 0
vsize: 41280
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9472 0 0 0 64944 65 0 0 25 0 1 0 431035531 42430464 8744 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10359 8744 231 231 0 10128 0
vsize: 41436
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9476 0 0 0 65943 65 0 0 25 0 1 0 431035531 42430464 8748 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10359 8748 231 231 0 10128 0
vsize: 41436
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9484 0 0 0 66943 66 0 0 25 0 1 0 431035531 42430464 8756 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10359 8756 231 231 0 10128 0
vsize: 41436
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9514 0 0 0 67943 66 0 0 25 0 1 0 431035531 42430464 8786 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10359 8786 231 231 0 10128 0
vsize: 41436
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9606 0 0 0 68942 67 0 0 25 0 1 0 431035531 42430464 8878 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10359 8878 231 231 0 10128 0
vsize: 41436
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9683 0 0 0 69941 68 0 0 25 0 1 0 431035531 42430464 8955 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10359 8955 231 231 0 10128 0
vsize: 41436
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9757 0 0 0 70941 68 0 0 25 0 1 0 431035531 42430464 9029 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9029 231 231 0 10128 0
vsize: 41436
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9833 0 0 0 71941 69 0 0 25 0 1 0 431035531 42430464 9105 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9105 231 231 0 10128 0
vsize: 41436
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 9914 0 0 0 72940 69 0 0 25 0 1 0 431035531 42430464 9186 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9186 231 231 0 10128 0
vsize: 41436
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10021 0 0 0 73940 70 0 0 25 0 1 0 431035531 42430464 9293 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9293 231 231 0 10128 0
vsize: 41436
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10115 0 0 0 74940 71 0 0 25 0 1 0 431035531 42430464 9387 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9387 231 231 0 10128 0
vsize: 41436
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10188 0 0 0 75939 71 0 0 25 0 1 0 431035531 42430464 9460 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9460 231 231 0 10128 0
vsize: 41436
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10268 0 0 0 76939 72 0 0 25 0 1 0 431035531 42430464 9540 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9540 231 231 0 10128 0
vsize: 41436
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10308 0 0 0 77939 72 0 0 25 0 1 0 431035531 42614784 9580 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9580 231 231 0 10173 0
vsize: 41616
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10332 0 0 0 78938 72 0 0 25 0 1 0 431035531 42614784 9604 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9604 231 231 0 10173 0
vsize: 41616
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10446 0 0 0 79938 73 0 0 25 0 1 0 431035531 42614784 9718 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9718 231 231 0 10173 0
vsize: 41616
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10553 0 0 0 80938 73 0 0 25 0 1 0 431035531 42614784 9825 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9825 231 231 0 10173 0
vsize: 41616
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10653 0 0 0 81938 74 0 0 25 0 1 0 431035531 76169216 9925 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18596 9925 231 231 0 18365 0
vsize: 74384
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10752 0 0 0 82937 74 0 0 25 0 1 0 431035531 76169216 10024 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18596 10024 231 231 0 18365 0
vsize: 74384
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10819 0 0 0 83937 74 0 0 25 0 1 0 431035531 76365824 10091 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18644 10091 231 231 0 18413 0
vsize: 74576
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10826 0 0 0 84937 75 0 0 25 0 1 0 431035531 76365824 10098 4294967295 134512640 135450300 3221224640 3221223420 134535630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18644 10098 231 231 0 18413 0
vsize: 74576
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10830 0 0 0 85937 75 0 0 25 0 1 0 431035531 76365824 10102 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18644 10102 231 231 0 18413 0
vsize: 74576
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10855 0 0 0 86937 76 0 0 25 0 1 0 431035531 76365824 10127 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18644 10127 231 231 0 18413 0
vsize: 74576
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28884
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 10950 0 0 0 87937 76 0 0 25 0 1 0 431035531 76365824 10222 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18644 10222 231 231 0 18413 0
vsize: 74576
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11062 0 0 0 88937 76 0 0 25 0 1 0 431035531 76562432 10334 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18692 10334 231 231 0 18461 0
vsize: 74768
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11173 0 0 0 89937 77 0 0 25 0 1 0 431035531 76562432 10445 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18692 10445 231 231 0 18461 0
vsize: 74768
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11232 0 0 0 90937 77 0 0 25 0 1 0 431035531 76759040 10504 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18740 10504 231 231 0 18509 0
vsize: 74960
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11328 0 0 0 91936 77 0 0 25 0 1 0 431035531 76759040 10600 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18740 10600 231 231 0 18509 0
vsize: 74960
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11440 0 0 0 92936 78 0 0 25 0 1 0 431035531 76947456 10712 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18786 10712 231 231 0 18555 0
vsize: 75144
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11553 0 0 0 93936 78 0 0 25 0 1 0 431035531 76947456 10825 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18786 10825 231 231 0 18555 0
vsize: 75144
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11691 0 0 0 94935 79 0 0 25 0 1 0 431035531 77144064 10963 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 10963 231 231 0 18603 0
vsize: 75336
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11751 0 0 0 95935 79 0 0 25 0 1 0 431035531 77144064 11023 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 11023 231 231 0 18603 0
vsize: 75336
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11805 0 0 0 96935 80 0 0 25 0 1 0 431035531 77340672 11077 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18882 11077 231 231 0 18651 0
vsize: 75528
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11807 0 0 0 97935 80 0 0 25 0 1 0 431035531 77340672 11079 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18882 11079 231 231 0 18651 0
vsize: 75528
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11841 0 0 0 98935 80 0 0 25 0 1 0 431035531 77537280 11113 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18930 11113 231 231 0 18699 0
vsize: 75720
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11848 0 0 0 99935 80 0 0 25 0 1 0 431035531 77537280 11120 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18930 11120 231 231 0 18699 0
vsize: 75720
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11885 0 0 0 100935 81 0 0 25 0 1 0 431035531 77733888 11157 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18978 11157 231 231 0 18747 0
vsize: 75912
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11890 0 0 0 101934 81 0 0 25 0 1 0 431035531 77733888 11162 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18978 11162 231 231 0 18747 0
vsize: 75912
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11915 0 0 0 102934 81 0 0 25 0 1 0 431035531 77733888 11187 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18978 11187 231 231 0 18747 0
vsize: 75912
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11937 0 0 0 103934 81 0 0 25 0 1 0 431035531 77934592 11209 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19027 11209 231 231 0 18796 0
vsize: 76108
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11940 0 0 0 104934 81 0 0 25 0 1 0 431035531 77934592 11212 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19027 11212 231 231 0 18796 0
vsize: 76108
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11946 0 0 0 105934 82 0 0 25 0 1 0 431035531 77934592 11218 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19027 11218 231 231 0 18796 0
vsize: 76108
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11969 0 0 0 106934 82 0 0 25 0 1 0 431035531 78077952 11241 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11241 231 231 0 18831 0
vsize: 76248
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11972 0 0 0 107934 82 0 0 25 0 1 0 431035531 78077952 11244 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11244 231 231 0 18831 0
vsize: 76248
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11975 0 0 0 108935 82 0 0 25 0 1 0 431035531 78077952 11247 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11247 231 231 0 18831 0
vsize: 76248
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 11979 0 0 0 109935 82 0 0 25 0 1 0 431035531 78077952 11251 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11251 231 231 0 18831 0
vsize: 76248
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12001 0 0 0 110935 82 0 0 25 0 1 0 431035531 78077952 11273 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11273 231 231 0 18831 0
vsize: 76248
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12003 0 0 0 111935 82 0 0 25 0 1 0 431035531 78077952 11275 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11275 231 231 0 18831 0
vsize: 76248
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12007 0 0 0 112935 82 0 0 25 0 1 0 431035531 78077952 11279 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11279 231 231 0 18831 0
vsize: 76248
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12012 0 0 0 113935 83 0 0 25 0 1 0 431035531 78077952 11284 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11284 231 231 0 18831 0
vsize: 76248
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12015 0 0 0 114935 83 0 0 25 0 1 0 431035531 78077952 11287 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19062 11287 231 231 0 18831 0
vsize: 76248
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12028 0 0 0 115935 83 0 0 25 0 1 0 431035531 78221312 11300 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19097 11300 231 231 0 18866 0
vsize: 76388
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12033 0 0 0 116935 83 0 0 25 0 1 0 431035531 78221312 11305 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19097 11305 231 231 0 18866 0
vsize: 76388
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28886
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12059 0 0 0 117935 84 0 0 25 0 1 0 431035531 78372864 11331 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19134 11331 231 231 0 18903 0
vsize: 76536
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28888
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12075 0 0 0 118935 84 0 0 25 0 1 0 431035531 78372864 11347 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19134 11347 231 231 0 18903 0
vsize: 76536
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 28888
Raw data (stat): 28880 (PBS4) R 28879 12452 12451 0 -1 0 12078 0 0 0 119935 84 0 0 25 0 1 0 431035531 78372864 11350 4294967295 134512640 135450300 3221224640 3221223360 134535867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19134 11350 231 231 0 18903 0
vsize: 76536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.92 1/56 28888
Raw data (stat): 28880 (PBS4) Z 28879 12452 12451 0 -1 1036 12078 0 0 0 119935 86 0 0 25 0 1 0 431035531 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.22
CPU user time (s): 1199.35
CPU system time (s): 0.866868
CPU usage (%): 100.014
Max. virtual memory (Kb): 76536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####