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/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM	dcb6d1c3f66e900ae345e6fa455bef2a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	168111
Total number of constraints	487525
Number of constraints which are clauses	468727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	18798
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 7878

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-17 16:52:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2715 boxname=wulflinc27 idbench=302 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  dcb6d1c3f66e900ae345e6fa455bef2a  /oldhome/oroussel/tmp/wulflinc27/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
IDLAUNCH: 2715
/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:        776896 kB
Buffers:         36608 kB
Cached:         182524 kB
SwapCached:       3160 kB
Active:         117040 kB
Inactive:       108092 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776644 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            27000 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:12:20 (client local time) WITH STATUS 0 IN 1200.56 SECONDS
stats: 2715 7 1200.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-ooo.ex.mem.LsqHdStrong.ucl.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.86 0.95 0.90 2/54 10646
Raw data (stat): 10646 (runsolver) R 10645 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512097170 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0002 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 11543 0 0 0 967 32 0 0 25 0 1 0 512097170 44908544 9819 4294967295 134512640 135450300 3221224624 3221157344 134523740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10964 9819 231 231 0 10733 0
vsize: 43856
[startup+20.0064 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 17262 0 0 0 1949 50 0 0 25 0 1 0 512097170 65785856 14001 4294967295 134512640 135450300 3221224624 3221157220 134524043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16061 14001 231 231 0 15830 0
vsize: 64244
[startup+30.0068 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 21126 0 0 0 2938 62 0 0 25 0 1 0 512097170 78049280 17120 4294967295 134512640 135450300 3221224624 3221223468 134538066 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19055 17120 231 231 0 18824 0
vsize: 76220
[startup+40.0066 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 21911 0 0 0 3935 65 0 0 25 0 1 0 512097170 81838080 17897 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19980 17897 231 231 0 19749 0
vsize: 79920
[startup+50.0069 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 22601 0 0 0 4933 66 0 0 25 0 1 0 512097170 85143552 18554 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20787 18554 231 231 0 20556 0
vsize: 83148
[startup+60.0073 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 23271 0 0 0 5931 69 0 0 25 0 1 0 512097170 87887872 19059 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21457 19059 231 231 0 21226 0
vsize: 85828
[startup+70.0073 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 23722 0 0 0 6929 71 0 0 25 0 1 0 512097170 90021888 19444 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21978 19444 231 231 0 21747 0
vsize: 87912
[startup+80.0084 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 24561 0 0 0 7927 73 0 0 25 0 1 0 512097170 92172288 19888 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22503 19888 231 231 0 22272 0
vsize: 90012
[startup+90.0088 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 24882 0 0 0 8926 74 0 0 25 0 1 0 512097170 93364224 20110 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22794 20110 231 231 0 22563 0
vsize: 91176
[startup+100.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 25541 0 0 0 9924 77 0 0 25 0 1 0 512097170 94568448 20341 4294967295 134512640 135450300 3221224624 3221223360 134538803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23088 20341 231 231 0 22857 0
vsize: 92352
[startup+110.01 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 25663 0 0 0 10923 77 0 0 25 0 1 0 512097170 94969856 20430 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23186 20430 231 231 0 22955 0
vsize: 92744
[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 25901 0 0 0 11922 79 0 0 25 0 1 0 512097170 96030720 20602 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23445 20602 231 231 0 23214 0
vsize: 93780
[startup+130.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 26472 0 0 0 12919 82 0 0 25 0 1 0 512097170 96825344 20778 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23639 20778 231 231 0 23408 0
vsize: 94556
[startup+140.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 27119 0 0 0 13917 84 0 0 25 0 1 0 512097170 99213312 21194 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24222 21194 231 231 0 23991 0
vsize: 96888
[startup+150.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 27587 0 0 0 14916 86 0 0 25 0 1 0 512097170 101408768 21563 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24758 21563 231 231 0 24527 0
vsize: 99032
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 28026 0 0 0 15914 88 0 0 25 0 1 0 512097170 101675008 21640 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24823 21640 231 231 0 24592 0
vsize: 99292
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 28224 0 0 0 16912 90 0 0 25 0 1 0 512097170 102617088 21805 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25053 21805 231 231 0 24822 0
vsize: 100212
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 28993 0 0 0 17909 93 0 0 25 0 1 0 512097170 105426944 22343 4294967295 134512640 135450300 3221224624 3221223488 134539194 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25739 22343 231 231 0 25508 0
vsize: 102956
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 29762 0 0 0 18908 94 0 0 25 0 1 0 512097170 108797952 23013 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26562 23013 231 231 0 26331 0
vsize: 106248
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 30625 0 0 0 19906 96 0 0 25 0 1 0 512097170 110866432 23382 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27067 23382 231 231 0 26836 0
vsize: 108268
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 30779 0 0 0 20905 97 0 0 25 0 1 0 512097170 111398912 23470 4294967295 134512640 135450300 3221224624 3221223488 134539286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27197 23470 231 231 0 26966 0
vsize: 108788
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 31099 0 0 0 21904 99 0 0 25 0 1 0 512097170 112599040 23691 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27490 23691 231 231 0 27259 0
vsize: 109960
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 31672 0 0 0 22902 101 0 0 25 0 1 0 512097170 115261440 24165 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28140 24165 231 231 0 27909 0
vsize: 112560
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 32157 0 0 0 23902 101 0 0 25 0 1 0 512097170 117473280 24584 4294967295 134512640 135450300 3221224624 3221223360 134537899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28680 24584 231 231 0 28449 0
vsize: 114720
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 32607 0 0 0 24901 103 0 0 25 0 1 0 512097170 117735424 24639 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28744 24639 231 231 0 28513 0
vsize: 114976
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 32618 0 0 0 25900 103 0 0 25 0 1 0 512097170 117735424 24650 4294967295 134512640 135450300 3221224624 3221223564 134530389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28744 24650 231 231 0 28513 0
vsize: 114976
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 32634 0 0 0 26900 103 0 0 25 0 1 0 512097170 117735424 24666 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28744 24666 231 231 0 28513 0
vsize: 114976
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 33077 0 0 0 27899 105 0 0 25 0 1 0 512097170 118132736 24747 4294967295 134512640 135450300 3221224624 3221223472 134539307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28841 24747 231 231 0 28610 0
vsize: 115364
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 33112 0 0 0 28899 105 0 0 25 0 1 0 512097170 118132736 24782 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28841 24782 231 231 0 28610 0
vsize: 115364
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 33157 0 0 0 29898 106 0 0 25 0 1 0 512097170 118267904 24827 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28874 24827 231 231 0 28643 0
vsize: 115496
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 33585 0 0 0 30897 107 0 0 25 0 1 0 512097170 118530048 24860 4294967295 134512640 135450300 3221224624 3221223360 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28938 24860 231 231 0 28707 0
vsize: 115752
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 33790 0 0 0 31896 108 0 0 25 0 1 0 512097170 119894016 24933 4294967295 134512640 135450300 3221224624 3221223360 134538954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29271 24933 231 231 0 29040 0
vsize: 117084
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 34183 0 0 0 32895 110 0 0 25 0 1 0 512097170 120025088 24964 4294967295 134512640 135450300 3221224624 3221223488 134539260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29303 24964 231 231 0 29072 0
vsize: 117212
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 34485 0 0 0 33893 112 0 0 25 0 1 0 512097170 121081856 25068 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29561 25068 231 231 0 29330 0
vsize: 118244
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 34810 0 0 0 34892 112 0 0 25 0 1 0 512097170 122138624 25262 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29819 25262 231 231 0 29588 0
vsize: 119276
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 34979 0 0 0 35892 113 0 0 25 0 1 0 512097170 122933248 25365 4294967295 134512640 135450300 3221224624 3221223468 134538066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30013 25365 231 231 0 29782 0
vsize: 120052
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 35059 0 0 0 36891 114 0 0 25 0 1 0 512097170 123064320 25412 4294967295 134512640 135450300 3221224624 3221223564 134530389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30045 25412 231 231 0 29814 0
vsize: 120180
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 35406 0 0 0 37890 116 0 0 25 0 1 0 512097170 123064320 25430 4294967295 134512640 135450300 3221224624 3221223360 134538449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30045 25430 231 231 0 29814 0
vsize: 120180
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 35408 0 0 0 38889 117 0 0 25 0 1 0 512097170 123064320 25432 4294967295 134512640 135450300 3221224624 3221223056 134533530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30045 25432 231 231 0 29814 0
vsize: 120180
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 35632 0 0 0 39888 118 0 0 25 0 1 0 512097170 123723776 25557 4294967295 134512640 135450300 3221224624 3221223488 134539116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30206 25557 231 231 0 29975 0
vsize: 120824
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 35689 0 0 0 40887 119 0 0 25 0 1 0 512097170 124055552 25614 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30287 25614 231 231 0 30056 0
vsize: 121148
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36179 0 0 0 41886 120 0 0 25 0 1 0 512097170 124858368 25775 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30483 25775 231 231 0 30252 0
vsize: 121932
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36197 0 0 0 42886 121 0 0 25 0 1 0 512097170 124858368 25793 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30483 25793 231 231 0 30252 0
vsize: 121932
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36258 0 0 0 43885 121 0 0 25 0 1 0 512097170 125124608 25854 4294967295 134512640 135450300 3221224624 3221223548 134539745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30548 25854 231 231 0 30317 0
vsize: 122192
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36356 0 0 0 44884 122 0 0 25 0 1 0 512097170 125530112 25952 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30647 25952 231 231 0 30416 0
vsize: 122588
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10646
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36388 0 0 0 45884 123 0 0 25 0 1 0 512097170 125530112 25984 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30647 25984 231 231 0 30416 0
vsize: 122588
[startup+470.315 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10647
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36405 0 0 0 46914 123 0 0 25 0 1 0 512097170 125530112 26001 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30647 26001 231 231 0 30416 0
vsize: 122588
[startup+480.317 s]
Raw data (loadavg): 1.15 1.00 0.92 4/59 10698
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36426 0 0 0 47914 123 0 0 25 0 1 0 512097170 125530112 26022 4294967295 134512640 135450300 3221224624 3221223440 134547177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30647 26022 231 231 0 30416 0
vsize: 122588
[startup+490.318 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 10699
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36837 0 0 0 48913 124 0 0 25 0 1 0 512097170 125796352 26071 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30712 26071 231 231 0 30481 0
vsize: 122848
[startup+500.317 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 10699
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36854 0 0 0 49913 125 0 0 25 0 1 0 512097170 125796352 26088 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30712 26088 231 231 0 30481 0
vsize: 122848
[startup+510.317 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 10699
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 36878 0 0 0 50912 126 0 0 25 0 1 0 512097170 125796352 26112 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30712 26112 231 231 0 30481 0
vsize: 122848
[startup+520.317 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10699
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 37307 0 0 0 51911 127 0 0 25 0 1 0 512097170 126193664 26179 4294967295 134512640 135450300 3221224624 3221223360 134538806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30809 26179 231 231 0 30578 0
vsize: 123236
[startup+530.317 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10699
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 37519 0 0 0 52910 129 0 0 25 0 1 0 512097170 126857216 26292 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30971 26292 231 231 0 30740 0
vsize: 123884
[startup+540.316 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 10699
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 37867 0 0 0 53908 130 0 0 25 0 1 0 512097170 126857216 26311 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30971 26311 231 231 0 30740 0
vsize: 123884
[startup+550.317 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 37929 0 0 0 54908 131 0 0 25 0 1 0 512097170 126988288 26340 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31003 26340 231 231 0 30772 0
vsize: 124012
[startup+560.317 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 38330 0 0 0 55906 133 0 0 25 0 1 0 512097170 127254528 26379 4294967295 134512640 135450300 3221224624 3221223360 134538438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31068 26379 231 231 0 30837 0
vsize: 124272
[startup+570.317 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 38369 0 0 0 56906 133 0 0 25 0 1 0 512097170 127385600 26385 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 26385 231 231 0 30869 0
vsize: 124400
[startup+580.317 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 38803 0 0 0 57905 134 0 0 25 0 1 0 512097170 128442368 26687 4294967295 134512640 135450300 3221224624 3221223360 134538520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31358 26687 231 231 0 31127 0
vsize: 125432
[startup+590.317 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 39245 0 0 0 58904 135 0 0 25 0 1 0 512097170 128839680 26767 4294967295 134512640 135450300 3221224624 3221223528 134539772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31455 26767 231 231 0 31224 0
vsize: 125820
[startup+600.316 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 39250 0 0 0 59903 136 0 0 25 0 1 0 512097170 128839680 26772 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31455 26772 231 231 0 31224 0
vsize: 125820
[startup+610.316 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 39607 0 0 0 60902 138 0 0 25 0 1 0 512097170 128839680 26800 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31455 26800 231 231 0 31224 0
vsize: 125820
[startup+620.317 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 39895 0 0 0 61901 139 0 0 25 0 1 0 512097170 129896448 26956 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31713 26956 231 231 0 31482 0
vsize: 126852
[startup+630.317 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 39911 0 0 0 62900 140 0 0 25 0 1 0 512097170 129896448 26972 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31713 26972 231 231 0 31482 0
vsize: 126852
[startup+640.317 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 40300 0 0 0 63898 142 0 0 25 0 1 0 512097170 130027520 26999 4294967295 134512640 135450300 3221224624 3221223360 134537824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31745 26999 231 231 0 31514 0
vsize: 126980
[startup+650.316 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 40334 0 0 0 64898 143 0 0 25 0 1 0 512097170 130027520 27033 4294967295 134512640 135450300 3221224624 3221223452 134538630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31745 27033 231 231 0 31514 0
vsize: 126980
[startup+660.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 40353 0 0 0 65897 144 0 0 25 0 1 0 512097170 130027520 27052 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31745 27052 231 231 0 31514 0
vsize: 126980
[startup+670.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 40778 0 0 0 66895 146 0 0 25 0 1 0 512097170 130289664 27082 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31809 27082 231 231 0 31578 0
vsize: 127236
[startup+680.318 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 40842 0 0 0 67895 146 0 0 25 0 1 0 512097170 130555904 27146 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31874 27146 231 231 0 31643 0
vsize: 127496
[startup+690.318 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41182 0 0 0 68893 148 0 0 25 0 1 0 512097170 130555904 27157 4294967295 134512640 135450300 3221224624 3221223020 134533046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31874 27157 231 231 0 31643 0
vsize: 127496
[startup+700.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41192 0 0 0 69893 148 0 0 25 0 1 0 512097170 130555904 27167 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31874 27167 231 231 0 31643 0
vsize: 127496
[startup+710.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41291 0 0 0 70892 149 0 0 25 0 1 0 512097170 130818048 27200 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31938 27200 231 231 0 31707 0
vsize: 127752
[startup+720.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41643 0 0 0 71891 151 0 0 25 0 1 0 512097170 130818048 27223 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31938 27223 231 231 0 31707 0
vsize: 127752
[startup+730.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41671 0 0 0 72890 152 0 0 25 0 1 0 512097170 130818048 27251 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31938 27251 231 231 0 31707 0
vsize: 127752
[startup+740.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41690 0 0 0 73889 153 0 0 25 0 1 0 512097170 130818048 27270 4294967295 134512640 135450300 3221224624 3221223488 134539263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31938 27270 231 231 0 31707 0
vsize: 127752
[startup+750.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41764 0 0 0 74889 153 0 0 25 0 1 0 512097170 130949120 27311 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31970 27311 231 231 0 31739 0
vsize: 127880
[startup+760.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41794 0 0 0 75889 154 0 0 25 0 1 0 512097170 130949120 27341 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31970 27341 231 231 0 31739 0
vsize: 127880
[startup+770.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41805 0 0 0 76888 154 0 0 25 0 1 0 512097170 130949120 27352 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31970 27352 231 231 0 31739 0
vsize: 127880
[startup+780.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 41818 0 0 0 77888 154 0 0 25 0 1 0 512097170 130949120 27365 4294967295 134512640 135450300 3221224624 3221223440 134547140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31970 27365 231 231 0 31739 0
vsize: 127880
[startup+790.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 42255 0 0 0 78887 156 0 0 25 0 1 0 512097170 131211264 27408 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32034 27408 231 231 0 31803 0
vsize: 128136
[startup+800.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 42275 0 0 0 79887 156 0 0 25 0 1 0 512097170 131211264 27428 4294967295 134512640 135450300 3221224624 3221223440 134546489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32034 27428 231 231 0 31803 0
vsize: 128136
[startup+810.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 42288 0 0 0 80886 157 0 0 25 0 1 0 512097170 131211264 27441 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32034 27441 231 231 0 31803 0
vsize: 128136
[startup+820.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 42308 0 0 0 81886 157 0 0 25 0 1 0 512097170 131211264 27461 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32034 27461 231 231 0 31803 0
vsize: 128136
[startup+830.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 42662 0 0 0 82884 159 0 0 25 0 1 0 512097170 131211264 27486 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32034 27486 231 231 0 31803 0
vsize: 128136
[startup+840.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10701
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 42696 0 0 0 83884 160 0 0 25 0 1 0 512097170 131346432 27520 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32067 27520 231 231 0 31836 0
vsize: 128268
[startup+850.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 42712 0 0 0 84883 160 0 0 25 0 1 0 512097170 131346432 27536 4294967295 134512640 135450300 3221224624 3221223232 134537573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32067 27536 231 231 0 31836 0
vsize: 128268
[startup+860.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43058 0 0 0 85882 162 0 0 25 0 1 0 512097170 131346432 27553 4294967295 134512640 135450300 3221224624 3221223360 134538883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32067 27553 231 231 0 31836 0
vsize: 128268
[startup+870.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43096 0 0 0 86882 162 0 0 25 0 1 0 512097170 131346432 27591 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32067 27591 231 231 0 31836 0
vsize: 128268
[startup+880.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43129 0 0 0 87881 163 0 0 25 0 1 0 512097170 131346432 27624 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32067 27624 231 231 0 31836 0
vsize: 128268
[startup+890.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43220 0 0 0 88880 164 0 0 25 0 1 0 512097170 131883008 27715 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32198 27715 231 231 0 31967 0
vsize: 128792
[startup+900.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43557 0 0 0 89879 165 0 0 25 0 1 0 512097170 131883008 27723 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32198 27723 231 231 0 31967 0
vsize: 128792
[startup+910.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43561 0 0 0 90879 166 0 0 25 0 1 0 512097170 131883008 27727 4294967295 134512640 135450300 3221224624 3221223360 134538960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32198 27727 231 231 0 31967 0
vsize: 128792
[startup+920.315 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43944 0 0 0 91878 167 0 0 25 0 1 0 512097170 132149248 27781 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32263 27781 231 231 0 32032 0
vsize: 129052
[startup+930.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 43989 0 0 0 92877 168 0 0 25 0 1 0 512097170 132280320 27793 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32295 27793 231 231 0 32064 0
vsize: 129180
[startup+940.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44075 0 0 0 93876 169 0 0 25 0 1 0 512097170 132677632 27846 4294967295 134512640 135450300 3221224624 3221223564 134530278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32392 27846 231 231 0 32161 0
vsize: 129568
[startup+950.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44081 0 0 0 94876 169 0 0 25 0 1 0 512097170 132677632 27852 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32392 27852 231 231 0 32161 0
vsize: 129568
[startup+960.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44097 0 0 0 95876 170 0 0 25 0 1 0 512097170 132677632 27868 4294967295 134512640 135450300 3221224624 3221223592 134539940 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32392 27868 231 231 0 32161 0
vsize: 129568
[startup+970.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44106 0 0 0 96874 171 0 0 25 0 1 0 512097170 132677632 27877 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32392 27877 231 231 0 32161 0
vsize: 129568
[startup+980.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44130 0 0 0 97874 172 0 0 25 0 1 0 512097170 132677632 27901 4294967295 134512640 135450300 3221224624 3221223028 135070746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32392 27901 231 231 0 32161 0
vsize: 129568
[startup+990.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44182 0 0 0 98872 174 0 0 25 0 1 0 512097170 132943872 27953 4294967295 134512640 135450300 3221224624 3221223360 134537902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32457 27953 231 231 0 32226 0
vsize: 129828
[startup+1000.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44242 0 0 0 99872 174 0 0 25 0 1 0 512097170 133210112 28013 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32522 28013 231 231 0 32291 0
vsize: 130088
[startup+1010.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44259 0 0 0 100871 175 0 0 25 0 1 0 512097170 133210112 28030 4294967295 134512640 135450300 3221224624 3221223552 134539624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32522 28030 231 231 0 32291 0
vsize: 130088
[startup+1020.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44301 0 0 0 101870 176 0 0 25 0 1 0 512097170 133210112 28072 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32522 28072 231 231 0 32291 0
vsize: 130088
[startup+1030.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44316 0 0 0 102870 177 0 0 25 0 1 0 512097170 149987328 28087 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28087 231 231 0 36387 0
vsize: 146472
[startup+1040.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44334 0 0 0 103869 178 0 0 25 0 1 0 512097170 149987328 28105 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28105 231 231 0 36387 0
vsize: 146472
[startup+1050.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44700 0 0 0 104868 179 0 0 25 0 1 0 512097170 149987328 28142 4294967295 134512640 135450300 3221224624 3221223452 134538374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28142 231 231 0 36387 0
vsize: 146472
[startup+1060.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44712 0 0 0 105868 179 0 0 25 0 1 0 512097170 149987328 28154 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28154 231 231 0 36387 0
vsize: 146472
[startup+1070.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44738 0 0 0 106868 179 0 0 25 0 1 0 512097170 149987328 28180 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28180 231 231 0 36387 0
vsize: 146472
[startup+1080.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 44747 0 0 0 107868 180 0 0 25 0 1 0 512097170 149987328 28189 4294967295 134512640 135450300 3221224624 3221223280 134532738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28189 231 231 0 36387 0
vsize: 146472
[startup+1090.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45093 0 0 0 108867 181 0 0 25 0 1 0 512097170 149987328 28206 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28206 231 231 0 36387 0
vsize: 146472
[startup+1100.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45109 0 0 0 109866 181 0 0 25 0 1 0 512097170 149987328 28222 4294967295 134512640 135450300 3221224624 3221223096 134534889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28222 231 231 0 36387 0
vsize: 146472
[startup+1110.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45128 0 0 0 110866 181 0 0 25 0 1 0 512097170 149987328 28241 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28241 231 231 0 36387 0
vsize: 146472
[startup+1120.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45151 0 0 0 111866 182 0 0 25 0 1 0 512097170 149987328 28264 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28264 231 231 0 36387 0
vsize: 146472
[startup+1130.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45178 0 0 0 112866 182 0 0 25 0 1 0 512097170 149987328 28291 4294967295 134512640 135450300 3221224624 3221223344 134533727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28291 231 231 0 36387 0
vsize: 146472
[startup+1140.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45539 0 0 0 113864 184 0 0 25 0 1 0 512097170 149987328 28323 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28323 231 231 0 36387 0
vsize: 146472
[startup+1150.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45555 0 0 0 114864 184 0 0 25 0 1 0 512097170 149987328 28339 4294967295 134512640 135450300 3221224624 3221223056 134533474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36618 28339 231 231 0 36387 0
vsize: 146472
[startup+1160.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45615 0 0 0 115864 185 0 0 25 0 1 0 512097170 150253568 28399 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36683 28399 231 231 0 36452 0
vsize: 146732
[startup+1170.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45951 0 0 0 116863 186 0 0 25 0 1 0 512097170 150253568 28406 4294967295 134512640 135450300 3221224624 3221223360 134538069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36683 28406 231 231 0 36452 0
vsize: 146732
[startup+1180.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45953 0 0 0 117862 187 0 0 25 0 1 0 512097170 150253568 28408 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36683 28408 231 231 0 36452 0
vsize: 146732
[startup+1190.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 45960 0 0 0 118862 188 0 0 25 0 1 0 512097170 150253568 28415 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36683 28415 231 231 0 36452 0
vsize: 146732
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10703
Raw data (stat): 10646 (PBS4) R 10645 18865 18864 0 -1 0 46296 0 0 0 119861 189 0 0 25 0 1 0 512097170 150253568 28422 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36683 28422 231 231 0 36452 0
vsize: 146732
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 10703
Raw data (stat): 10646 (PBS4) Z 10645 18865 18864 0 -1 1036 46296 0 0 0 119861 194 0 0 25 0 1 0 512097170 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.37
CPU time (s): 1200.56
CPU user time (s): 1198.61
CPU system time (s): 1.9447
CPU usage (%): 100.015
Max. virtual memory (Kb): 146732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####