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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUM	b85a90571dde4fe12541342d5605d680
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	1150
Total number of constraints	80258
Number of constraints which are clauses	80258
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 7908

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-17 17:08:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3030 boxname=wulflinc22 idbench=337 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b85a90571dde4fe12541342d5605d680  /oldhome/oroussel/tmp/wulflinc22/normalized-frb50-23-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-frb50-23-4.opb
IDLAUNCH: 3030
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        807112 kB
Buffers:         34128 kB
Cached:         149608 kB
SwapCached:          0 kB
Active:          72572 kB
Inactive:       114024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        806860 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            35360 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:28:07 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 3030 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-frb50-23-4.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.93 0.98 0.93 2/54 18083
Raw data (stat): 18083 (runsolver) R 18082 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512192719 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 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 4000 0 0 0 988 10 0 0 25 0 1 0 512192719 22654976 3267 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5531 3267 231 231 0 5300 0
vsize: 22124
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 5452 0 0 0 1984 14 0 0 25 0 1 0 512192719 22654976 4719 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5531 4719 231 231 0 5300 0
vsize: 22124
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 6624 0 0 0 2981 17 0 0 25 0 1 0 512192719 39567360 5891 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9660 5891 231 231 0 9429 0
vsize: 38640
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 8563 0 0 0 3976 23 0 0 25 0 1 0 512192719 39714816 7830 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9696 7830 231 231 0 9465 0
vsize: 38784
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 10017 0 0 0 4972 26 0 0 25 0 1 0 512192719 73269248 9284 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17888 9284 231 231 0 17657 0
vsize: 71552
[startup+60.001 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 11153 0 0 0 5969 30 0 0 25 0 1 0 512192719 73416704 10420 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17924 10420 231 231 0 17693 0
vsize: 71696
[startup+70.002 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 12355 0 0 0 6966 33 0 0 25 0 1 0 512192719 73564160 11622 4294967295 134512640 135450300 3221224640 3221223376 134538441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 11622 231 231 0 17729 0
vsize: 71840
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 14274 0 0 0 7961 38 0 0 25 0 1 0 512192719 73564160 13541 4294967295 134512640 135450300 3221224640 3221223472 134549453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 13541 231 231 0 17729 0
vsize: 71840
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 15619 0 0 0 8958 42 0 0 25 0 1 0 512192719 73564160 14886 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 14886 231 231 0 17729 0
vsize: 71840
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 16724 0 0 0 9956 43 0 0 25 0 1 0 512192719 73564160 15991 4294967295 134512640 135450300 3221224640 3221223024 134602233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 15991 231 231 0 17729 0
vsize: 71840
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 17956 0 0 0 10953 47 0 0 25 0 1 0 512192719 73728000 17223 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18000 17223 231 231 0 17769 0
vsize: 72000
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 19885 0 0 0 11948 52 0 0 25 0 1 0 512192719 142028800 19152 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34675 19153 231 231 0 34444 0
vsize: 138700
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 21533 0 0 0 12944 56 0 0 25 0 1 0 512192719 142446592 20800 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34777 20800 231 231 0 34546 0
vsize: 139108
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 22980 0 0 0 13942 59 0 0 25 0 1 0 512192719 142761984 22247 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34854 22247 231 231 0 34623 0
vsize: 139416
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 24541 0 0 0 14938 62 0 0 25 0 1 0 512192719 143060992 23808 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34927 23808 231 231 0 34696 0
vsize: 139708
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 24623 0 0 0 15938 62 0 0 25 0 1 0 512192719 143339520 23890 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34995 23890 231 231 0 34764 0
vsize: 139980
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 24685 0 0 0 16938 63 0 0 25 0 1 0 512192719 143630336 23952 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35066 23952 231 231 0 34835 0
vsize: 140264
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 24734 0 0 0 17938 64 0 0 25 0 1 0 512192719 143929344 24001 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35139 24001 231 231 0 34908 0
vsize: 140556
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 25709 0 0 0 18936 66 0 0 25 0 1 0 512192719 144064512 24976 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35172 24978 231 231 0 34941 0
vsize: 140688
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 26479 0 0 0 19934 68 0 0 25 0 1 0 512192719 144334848 25746 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35238 25746 231 231 0 35007 0
vsize: 140952
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 26496 0 0 0 20934 68 0 0 25 0 1 0 512192719 144334848 25763 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35238 25763 231 231 0 35007 0
vsize: 140952
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 26534 0 0 0 21934 68 0 0 25 0 1 0 512192719 144482304 25801 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35274 25801 231 231 0 35043 0
vsize: 141096
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 26585 0 0 0 22934 69 0 0 25 0 1 0 512192719 144756736 25852 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35341 25852 231 231 0 35110 0
vsize: 141364
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 27059 0 0 0 23932 70 0 0 25 0 1 0 512192719 145051648 26326 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35413 26326 231 231 0 35182 0
vsize: 141652
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 28309 0 0 0 24930 73 0 0 25 0 1 0 512192719 145199104 27576 4294967295 134512640 135450300 3221224640 3221223104 134532738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35449 27576 231 231 0 35218 0
vsize: 141796
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 29438 0 0 0 25927 75 0 0 25 0 1 0 512192719 145199104 28705 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35449 28705 231 231 0 35218 0
vsize: 141796
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 29482 0 0 0 26928 75 0 0 25 0 1 0 512192719 145334272 28749 4294967295 134512640 135450300 3221224640 3221223168 134543673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35482 28749 231 231 0 35251 0
vsize: 141928
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 29663 0 0 0 27927 76 0 0 25 0 1 0 512192719 146194432 28930 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35692 28930 231 231 0 35461 0
vsize: 142768
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 29740 0 0 0 28926 77 0 0 25 0 1 0 512192719 146657280 29007 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35805 29007 231 231 0 35574 0
vsize: 143220
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 29844 0 0 0 29926 77 0 0 25 0 1 0 512192719 147075072 29111 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35907 29111 231 231 0 35676 0
vsize: 143628
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 30130 0 0 0 30926 78 0 0 25 0 1 0 512192719 147361792 29397 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35977 29397 231 231 0 35746 0
vsize: 143908
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 31181 0 0 0 31923 80 0 0 25 0 1 0 512192719 147660800 30448 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 30448 231 231 0 35819 0
vsize: 144200
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 32337 0 0 0 32920 84 0 0 25 0 1 0 512192719 147660800 31604 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 31604 231 231 0 35819 0
vsize: 144200
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 33290 0 0 0 33918 86 0 0 25 0 1 0 512192719 147660800 32557 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 32557 231 231 0 35819 0
vsize: 144200
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 34539 0 0 0 34915 90 0 0 25 0 1 0 512192719 147931136 33806 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36116 33806 231 231 0 35885 0
vsize: 144464
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35669 0 0 0 35911 93 0 0 25 0 1 0 512192719 147931136 34936 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36116 34936 231 231 0 35885 0
vsize: 144464
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35690 0 0 0 36911 94 0 0 25 0 1 0 512192719 147931136 34957 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36116 34957 231 231 0 35885 0
vsize: 144464
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35719 0 0 0 37911 94 0 0 25 0 1 0 512192719 148070400 34986 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36150 34986 231 231 0 35919 0
vsize: 144600
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35754 0 0 0 38911 94 0 0 25 0 1 0 512192719 148209664 35021 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36184 35021 231 231 0 35953 0
vsize: 144736
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35758 0 0 0 39911 94 0 0 25 0 1 0 512192719 148209664 35025 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36184 35025 231 231 0 35953 0
vsize: 144736
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35800 0 0 0 40911 94 0 0 25 0 1 0 512192719 148357120 35067 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36220 35067 231 231 0 35989 0
vsize: 144880
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35836 0 0 0 41911 95 0 0 25 0 1 0 512192719 148492288 35103 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36253 35103 231 231 0 36022 0
vsize: 145012
[startup+430.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35873 0 0 0 42911 95 0 0 25 0 1 0 512192719 148627456 35140 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36286 35140 231 231 0 36055 0
vsize: 145144
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35877 0 0 0 43911 95 0 0 25 0 1 0 512192719 148627456 35144 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36286 35144 231 231 0 36055 0
vsize: 145144
[startup+450.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35903 0 0 0 44910 96 0 0 25 0 1 0 512192719 148762624 35170 4294967295 134512640 135450300 3221224640 3221223104 134532747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36319 35170 231 231 0 36088 0
vsize: 145276
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35940 0 0 0 45910 96 0 0 25 0 1 0 512192719 148897792 35207 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36352 35207 231 231 0 36121 0
vsize: 145408
[startup+470.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35994 0 0 0 46910 96 0 0 25 0 1 0 512192719 149172224 35261 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36419 35261 231 231 0 36188 0
vsize: 145676
[startup+480.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 35998 0 0 0 47910 97 0 0 25 0 1 0 512192719 149172224 35265 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36419 35265 231 231 0 36188 0
vsize: 145676
[startup+490.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36102 0 0 0 48910 97 0 0 25 0 1 0 512192719 149614592 35369 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36527 35369 231 231 0 36296 0
vsize: 146108
[startup+500.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36144 0 0 0 49910 97 0 0 25 0 1 0 512192719 149778432 35411 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36567 35411 231 231 0 36336 0
vsize: 146268
[startup+510.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36177 0 0 0 50909 98 0 0 25 0 1 0 512192719 150056960 35444 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36635 35444 231 231 0 36404 0
vsize: 146540
[startup+520.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36195 0 0 0 51909 98 0 0 25 0 1 0 512192719 150056960 35462 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36635 35462 231 231 0 36404 0
vsize: 146540
[startup+530.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36267 0 0 0 52909 98 0 0 25 0 1 0 512192719 150339584 35534 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36704 35534 231 231 0 36473 0
vsize: 146816
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36301 0 0 0 53909 98 0 0 25 0 1 0 512192719 150487040 35568 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36740 35568 231 231 0 36509 0
vsize: 146960
[startup+550.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36321 0 0 0 54909 98 0 0 25 0 1 0 512192719 150487040 35588 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36740 35588 231 231 0 36509 0
vsize: 146960
[startup+560.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36326 0 0 0 55909 99 0 0 25 0 1 0 512192719 150614016 35593 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36771 35593 231 231 0 36540 0
vsize: 147084
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36385 0 0 0 56909 99 0 0 25 0 1 0 512192719 150761472 35652 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36807 35652 231 231 0 36576 0
vsize: 147228
[startup+580.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36427 0 0 0 57909 99 0 0 25 0 1 0 512192719 150900736 35694 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36841 35694 231 231 0 36610 0
vsize: 147364
[startup+590.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36430 0 0 0 58909 99 0 0 25 0 1 0 512192719 150900736 35697 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36841 35697 231 231 0 36610 0
vsize: 147364
[startup+600.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36460 0 0 0 59909 100 0 0 25 0 1 0 512192719 151064576 35727 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36881 35727 231 231 0 36650 0
vsize: 147524
[startup+610.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36496 0 0 0 60909 100 0 0 25 0 1 0 512192719 151220224 35763 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36919 35763 231 231 0 36688 0
vsize: 147676
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36499 0 0 0 61909 100 0 0 25 0 1 0 512192719 151220224 35766 4294967295 134512640 135450300 3221224640 3221223472 134549481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36919 35766 231 231 0 36688 0
vsize: 147676
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36528 0 0 0 62909 100 0 0 25 0 1 0 512192719 151384064 35795 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36959 35795 231 231 0 36728 0
vsize: 147836
[startup+640.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36588 0 0 0 63909 101 0 0 25 0 1 0 512192719 151732224 35855 4294967295 134512640 135450300 3221224640 3221223024 134602077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37044 35855 231 231 0 36813 0
vsize: 148176
[startup+650.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36614 0 0 0 64908 101 0 0 25 0 1 0 512192719 151896064 35881 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37084 35881 231 231 0 36853 0
vsize: 148336
[startup+660.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36648 0 0 0 65908 102 0 0 25 0 1 0 512192719 152059904 35915 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37124 35915 231 231 0 36893 0
vsize: 148496
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36652 0 0 0 66908 102 0 0 25 0 1 0 512192719 152059904 35919 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37124 35919 231 231 0 36893 0
vsize: 148496
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36665 0 0 0 67908 102 0 0 25 0 1 0 512192719 152059904 35932 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37124 35932 231 231 0 36893 0
vsize: 148496
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36746 0 0 0 68908 103 0 0 25 0 1 0 512192719 152506368 36013 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37233 36013 231 231 0 37002 0
vsize: 148932
[startup+700.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36749 0 0 0 69908 103 0 0 25 0 1 0 512192719 152506368 36016 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37233 36016 231 231 0 37002 0
vsize: 148932
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36806 0 0 0 70908 103 0 0 25 0 1 0 512192719 152801280 36073 4294967295 134512640 135450300 3221224640 3221223116 134572355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37305 36073 231 231 0 37074 0
vsize: 149220
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36834 0 0 0 71908 103 0 0 25 0 1 0 512192719 152973312 36101 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37347 36101 231 231 0 37116 0
vsize: 149388
[startup+730.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36875 0 0 0 72907 104 0 0 25 0 1 0 512192719 153128960 36142 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37385 36142 231 231 0 37154 0
vsize: 149540
[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36878 0 0 0 73907 104 0 0 25 0 1 0 512192719 153128960 36145 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37385 36145 231 231 0 37154 0
vsize: 149540
[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36916 0 0 0 74907 105 0 0 25 0 1 0 512192719 153128960 36183 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37385 36183 231 231 0 37154 0
vsize: 149540
[startup+760.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36937 0 0 0 75907 105 0 0 25 0 1 0 512192719 153260032 36204 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36204 231 231 0 37186 0
vsize: 149668
[startup+770.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36941 0 0 0 76907 105 0 0 25 0 1 0 512192719 153387008 36208 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37448 36208 231 231 0 37217 0
vsize: 149792
[startup+780.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36959 0 0 0 77907 105 0 0 25 0 1 0 512192719 153387008 36226 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37448 36226 231 231 0 37217 0
vsize: 149792
[startup+790.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 36987 0 0 0 78906 106 0 0 25 0 1 0 512192719 153534464 36254 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37484 36254 231 231 0 37253 0
vsize: 149936
[startup+800.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37018 0 0 0 79906 106 0 0 25 0 1 0 512192719 153534464 36285 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37484 36285 231 231 0 37253 0
vsize: 149936
[startup+810.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37057 0 0 0 80906 106 0 0 25 0 1 0 512192719 153837568 36324 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37558 36324 231 231 0 37327 0
vsize: 150232
[startup+820.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37089 0 0 0 81906 107 0 0 25 0 1 0 512192719 153837568 36356 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37558 36356 231 231 0 37327 0
vsize: 150232
[startup+830.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37092 0 0 0 82906 107 0 0 25 0 1 0 512192719 153837568 36359 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37558 36359 231 231 0 37327 0
vsize: 150232
[startup+840.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37108 0 0 0 83907 107 0 0 25 0 1 0 512192719 153985024 36375 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37594 36375 231 231 0 37363 0
vsize: 150376
[startup+850.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37122 0 0 0 84907 107 0 0 25 0 1 0 512192719 153985024 36389 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37594 36389 231 231 0 37363 0
vsize: 150376
[startup+860.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37149 0 0 0 85907 107 0 0 25 0 1 0 512192719 154152960 36416 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37635 36416 231 231 0 37404 0
vsize: 150540
[startup+870.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37159 0 0 0 86907 107 0 0 25 0 1 0 512192719 154152960 36426 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37635 36426 231 231 0 37404 0
vsize: 150540
[startup+880.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37197 0 0 0 87906 108 0 0 25 0 1 0 512192719 154300416 36464 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37671 36464 231 231 0 37440 0
vsize: 150684
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37208 0 0 0 88906 108 0 0 25 0 1 0 512192719 154300416 36475 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37671 36475 231 231 0 37440 0
vsize: 150684
[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37240 0 0 0 89906 108 0 0 25 0 1 0 512192719 154464256 36507 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37711 36507 231 231 0 37480 0
vsize: 150844
[startup+910.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 37243 0 0 0 90906 109 0 0 25 0 1 0 512192719 154464256 36510 4294967295 134512640 135450300 3221224640 3221223456 134536841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37711 36510 231 231 0 37480 0
vsize: 150844
[startup+920.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38044 0 0 0 91904 111 0 0 25 0 1 0 512192719 157773824 36542 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38519 36542 231 231 0 38288 0
vsize: 154076
[startup+930.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38060 0 0 0 92904 111 0 0 25 0 1 0 512192719 157773824 36558 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38519 36558 231 231 0 38288 0
vsize: 154076
[startup+940.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38100 0 0 0 93904 111 0 0 25 0 1 0 512192719 157921280 36598 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38555 36598 231 231 0 38324 0
vsize: 154220
[startup+950.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38111 0 0 0 94904 111 0 0 25 0 1 0 512192719 157921280 36609 4294967295 134512640 135450300 3221224640 3221223360 134535929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38555 36609 231 231 0 38324 0
vsize: 154220
[startup+960.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38122 0 0 0 95904 112 0 0 25 0 1 0 512192719 157921280 36620 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38555 36620 231 231 0 38324 0
vsize: 154220
[startup+970.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38150 0 0 0 96904 112 0 0 25 0 1 0 512192719 158060544 36648 4294967295 134512640 135450300 3221224640 3221223168 134544690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38589 36648 231 231 0 38358 0
vsize: 154356
[startup+980.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38170 0 0 0 97904 112 0 0 25 0 1 0 512192719 158208000 36668 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38625 36668 231 231 0 38394 0
vsize: 154500
[startup+990.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38172 0 0 0 98904 112 0 0 25 0 1 0 512192719 158208000 36670 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38625 36670 231 231 0 38394 0
vsize: 154500
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38192 0 0 0 99904 112 0 0 25 0 1 0 512192719 158351360 36690 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38660 36690 231 231 0 38429 0
vsize: 154640
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38219 0 0 0 100904 112 0 0 25 0 1 0 512192719 158351360 36717 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38660 36717 231 231 0 38429 0
vsize: 154640
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38240 0 0 0 101904 113 0 0 25 0 1 0 512192719 158515200 36738 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38700 36738 231 231 0 38469 0
vsize: 154800
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38244 0 0 0 102904 113 0 0 25 0 1 0 512192719 158515200 36742 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38700 36742 231 231 0 38469 0
vsize: 154800
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38261 0 0 0 103904 113 0 0 25 0 1 0 512192719 158662656 36759 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38736 36759 231 231 0 38505 0
vsize: 154944
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38264 0 0 0 104904 114 0 0 25 0 1 0 512192719 158662656 36762 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38736 36762 231 231 0 38505 0
vsize: 154944
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38312 0 0 0 105904 114 0 0 25 0 1 0 512192719 158810112 36810 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38772 36810 231 231 0 38541 0
vsize: 155088
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38338 0 0 0 106903 115 0 0 25 0 1 0 512192719 158810112 36836 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38772 36836 231 231 0 38541 0
vsize: 155088
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38350 0 0 0 107903 115 0 0 25 0 1 0 512192719 158810112 36848 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38772 36848 231 231 0 38541 0
vsize: 155088
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38385 0 0 0 108903 115 0 0 25 0 1 0 512192719 158941184 36883 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38804 36883 231 231 0 38573 0
vsize: 155216
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38388 0 0 0 109903 115 0 0 25 0 1 0 512192719 158941184 36886 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38804 36886 231 231 0 38573 0
vsize: 155216
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38421 0 0 0 110903 116 0 0 25 0 1 0 512192719 159162368 36919 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38858 36919 231 231 0 38627 0
vsize: 155432
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38446 0 0 0 111903 116 0 0 25 0 1 0 512192719 159326208 36944 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38898 36944 231 231 0 38667 0
vsize: 155592
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38449 0 0 0 112903 116 0 0 25 0 1 0 512192719 159326208 36947 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38898 36947 231 231 0 38667 0
vsize: 155592
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38466 0 0 0 113903 116 0 0 25 0 1 0 512192719 159326208 36964 4294967295 134512640 135450300 3221224640 3221223360 134535944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38898 36964 231 231 0 38667 0
vsize: 155592
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38484 0 0 0 114903 116 0 0 25 0 1 0 512192719 159326208 36982 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38898 36982 231 231 0 38667 0
vsize: 155592
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38500 0 0 0 115903 116 0 0 25 0 1 0 512192719 159473664 36998 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38934 36998 231 231 0 38703 0
vsize: 155736
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38503 0 0 0 116903 117 0 0 25 0 1 0 512192719 159473664 37001 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38934 37001 231 231 0 38703 0
vsize: 155736
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38522 0 0 0 117903 117 0 0 25 0 1 0 512192719 159608832 37020 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38967 37020 231 231 0 38736 0
vsize: 155868
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38545 0 0 0 118903 117 0 0 25 0 1 0 512192719 159608832 37043 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38967 37043 231 231 0 38736 0
vsize: 155868
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18083
Raw data (stat): 18083 (PBS4) R 18082 26298 26297 0 -1 0 38562 0 0 0 119903 117 0 0 25 0 1 0 512192719 159756288 37060 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39003 37060 231 231 0 38772 0
vsize: 156012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 18083
Raw data (stat): 18083 (PBS4) Z 18082 26298 26297 0 -1 1036 38562 0 0 0 119903 124 0 0 25 0 1 0 512192719 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.09
CPU time (s): 1200.28
CPU user time (s): 1199.03
CPU system time (s): 1.24781
CPU usage (%): 100.016
Max. virtual memory (Kb): 156012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####