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-5.opb
MD5SUM	54f6acf3ab92bda8abb11350f74de20e
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.08
Number of variables	1150
Total number of constraints	80035
Number of constraints which are clauses	80035
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 7909

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-17 17:11:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3039 boxname=wulflinc4 idbench=338 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  54f6acf3ab92bda8abb11350f74de20e  /oldhome/oroussel/tmp/wulflinc4/normalized-frb50-23-5.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-frb50-23-5.opb
IDLAUNCH: 3039
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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:        848240 kB
Buffers:         37752 kB
Cached:         126876 kB
SwapCached:          0 kB
Active:          76700 kB
Inactive:        90836 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        847904 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13300 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:31:31 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 3039 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-frb50-23-5.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.92 2/54 2301
Raw data (stat): 2301 (runsolver) R 2300 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453989365 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.0009 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 4105 0 0 0 987 11 0 0 25 0 1 0 453989365 22642688 3371 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 3371 231 231 0 5297 0
vsize: 22112
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 6185 0 0 0 1983 15 0 0 25 0 1 0 453989365 39555072 5451 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 5451 231 231 0 9426 0
vsize: 38628
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 7767 0 0 0 2981 18 0 0 25 0 1 0 453989365 39555072 7033 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7033 231 231 0 9426 0
vsize: 38628
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 9028 0 0 0 3977 21 0 0 25 0 1 0 453989365 39702528 8294 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9693 8294 231 231 0 9462 0
vsize: 38772
[startup+50.0016 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 10242 0 0 0 4975 23 0 0 25 0 1 0 453989365 73256960 9508 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17885 9508 231 231 0 17654 0
vsize: 71540
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 11529 0 0 0 5972 26 0 0 25 0 1 0 453989365 73551872 10795 4294967295 134512640 135450300 3221224640 3221223132 134602643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17957 10795 231 231 0 17726 0
vsize: 71828
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 13091 0 0 0 6970 29 0 0 25 0 1 0 453989365 73699328 12357 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17993 12357 231 231 0 17762 0
vsize: 71972
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 14422 0 0 0 7967 31 0 0 25 0 1 0 453989365 73863168 13688 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18033 13688 231 231 0 17802 0
vsize: 72132
[startup+90.0035 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 15503 0 0 0 8964 35 0 0 25 0 1 0 453989365 73863168 14769 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18033 14769 231 231 0 17802 0
vsize: 72132
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 16553 0 0 0 9960 39 0 0 25 0 1 0 453989365 73998336 15819 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18066 15819 231 231 0 17835 0
vsize: 72264
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 17557 0 0 0 10957 42 0 0 25 0 1 0 453989365 73998336 16823 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18066 16823 231 231 0 17835 0
vsize: 72264
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 18754 0 0 0 11954 45 0 0 25 0 1 0 453989365 141856768 18020 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34633 18020 231 231 0 34402 0
vsize: 138532
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 20035 0 0 0 12951 49 0 0 25 0 1 0 453989365 142458880 19301 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34780 19301 231 231 0 34549 0
vsize: 139120
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 21546 0 0 0 13947 52 0 0 25 0 1 0 453989365 142884864 20812 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34884 20812 231 231 0 34653 0
vsize: 139536
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 23173 0 0 0 14943 56 0 0 25 0 1 0 453989365 143028224 22439 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34919 22439 231 231 0 34688 0
vsize: 139676
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 24620 0 0 0 15940 60 0 0 25 0 1 0 453989365 143298560 23886 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34985 23886 231 231 0 34754 0
vsize: 139940
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26024 0 0 0 16937 63 0 0 25 0 1 0 453989365 143298560 25290 4294967295 134512640 135450300 3221224640 3221223552 134597064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34985 25290 231 231 0 34754 0
vsize: 139940
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26167 0 0 0 17935 64 0 0 25 0 1 0 453989365 143872000 25433 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35125 25433 231 231 0 34894 0
vsize: 140500
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26211 0 0 0 18935 65 0 0 25 0 1 0 453989365 144146432 25477 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35192 25477 231 231 0 34961 0
vsize: 140768
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26256 0 0 0 19935 65 0 0 25 0 1 0 453989365 144285696 25522 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35226 25522 231 231 0 34995 0
vsize: 140904
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26299 0 0 0 20934 66 0 0 25 0 1 0 453989365 144429056 25565 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35261 25565 231 231 0 35030 0
vsize: 141044
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26654 0 0 0 21933 67 0 0 25 0 1 0 453989365 144556032 25920 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35292 25920 231 231 0 35061 0
vsize: 141168
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26704 0 0 0 22933 67 0 0 25 0 1 0 453989365 144691200 25970 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35325 25970 231 231 0 35094 0
vsize: 141300
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26741 0 0 0 23933 67 0 0 25 0 1 0 453989365 144826368 26007 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35358 26007 231 231 0 35127 0
vsize: 141432
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 26892 0 0 0 24932 68 0 0 25 0 1 0 453989365 145588224 26158 4294967295 134512640 135450300 3221224640 3221223168 134544109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35544 26158 231 231 0 35313 0
vsize: 142176
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 27094 0 0 0 25931 69 0 0 25 0 1 0 453989365 145874944 26360 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35614 26360 231 231 0 35383 0
vsize: 142456
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 28380 0 0 0 26929 72 0 0 25 0 1 0 453989365 146173952 27646 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35687 27646 231 231 0 35456 0
vsize: 142748
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 29715 0 0 0 27925 75 0 0 25 0 1 0 453989365 146173952 28981 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35687 28981 231 231 0 35456 0
vsize: 142748
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 29759 0 0 0 28925 75 0 0 25 0 1 0 453989365 146329600 29025 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35725 29025 231 231 0 35494 0
vsize: 142900
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 29811 0 0 0 29924 76 0 0 25 0 1 0 453989365 146604032 29077 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35792 29077 231 231 0 35561 0
vsize: 143168
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 29873 0 0 0 30924 77 0 0 25 0 1 0 453989365 146911232 29139 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35867 29139 231 231 0 35636 0
vsize: 143468
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 29885 0 0 0 31923 77 0 0 25 0 1 0 453989365 146911232 29151 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35867 29151 231 231 0 35636 0
vsize: 143468
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 29926 0 0 0 32923 78 0 0 25 0 1 0 453989365 147054592 29192 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35902 29192 231 231 0 35671 0
vsize: 143608
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 30718 0 0 0 33921 79 0 0 25 0 1 0 453989365 147337216 29984 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35971 29984 231 231 0 35740 0
vsize: 143884
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 31094 0 0 0 34920 80 0 0 25 0 1 0 453989365 147337216 30360 4294967295 134512640 135450300 3221224640 3221223168 134544966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35971 30360 231 231 0 35740 0
vsize: 143884
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 31117 0 0 0 35920 81 0 0 25 0 1 0 453989365 147476480 30383 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36005 30383 231 231 0 35774 0
vsize: 144020
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 31127 0 0 0 36920 81 0 0 25 0 1 0 453989365 147476480 30393 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36005 30393 231 231 0 35774 0
vsize: 144020
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 31182 0 0 0 37919 82 0 0 25 0 1 0 453989365 147771392 30448 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36077 30448 231 231 0 35846 0
vsize: 144308
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 31210 0 0 0 38919 82 0 0 25 0 1 0 453989365 147918848 30476 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36113 30476 231 231 0 35882 0
vsize: 144452
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 31243 0 0 0 39919 82 0 0 25 0 1 0 453989365 148082688 30509 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36153 30509 231 231 0 35922 0
vsize: 144612
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 32076 0 0 0 40917 85 0 0 25 0 1 0 453989365 148082688 31342 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36153 31342 231 231 0 35922 0
vsize: 144612
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 32118 0 0 0 41917 85 0 0 25 0 1 0 453989365 148082688 31384 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36153 31384 231 231 0 35922 0
vsize: 144612
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 32137 0 0 0 42917 85 0 0 25 0 1 0 453989365 148246528 31403 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36193 31403 231 231 0 35962 0
vsize: 144772
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 32144 0 0 0 43917 86 0 0 25 0 1 0 453989365 148246528 31410 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36193 31410 231 231 0 35962 0
vsize: 144772
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 32167 0 0 0 44917 86 0 0 25 0 1 0 453989365 148381696 31433 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36226 31433 231 231 0 35995 0
vsize: 144904
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 32302 0 0 0 45917 86 0 0 25 0 1 0 453989365 148873216 31568 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36346 31568 231 231 0 36115 0
vsize: 145384
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 32380 0 0 0 46916 86 0 0 25 0 1 0 453989365 149200896 31646 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36426 31646 231 231 0 36195 0
vsize: 145704
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33012 0 0 0 47915 88 0 0 25 0 1 0 453989365 149200896 32278 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36426 32278 231 231 0 36195 0
vsize: 145704
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33065 0 0 0 48914 89 0 0 25 0 1 0 453989365 149512192 32331 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36502 32331 231 231 0 36271 0
vsize: 146008
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33120 0 0 0 49914 89 0 0 25 0 1 0 453989365 149651456 32386 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36536 32386 231 231 0 36305 0
vsize: 146144
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33127 0 0 0 50914 89 0 0 25 0 1 0 453989365 149651456 32393 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36536 32393 231 231 0 36305 0
vsize: 146144
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33192 0 0 0 51915 89 0 0 25 0 1 0 453989365 149979136 32458 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36616 32458 231 231 0 36385 0
vsize: 146464
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33215 0 0 0 52915 89 0 0 25 0 1 0 453989365 150126592 32481 4294967295 134512640 135450300 3221224640 3221223168 134543751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36652 32481 231 231 0 36421 0
vsize: 146608
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33254 0 0 0 53915 89 0 0 25 0 1 0 453989365 150126592 32520 4294967295 134512640 135450300 3221224640 3221223024 134602486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36652 32520 231 231 0 36421 0
vsize: 146608
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33723 0 0 0 54914 91 0 0 25 0 1 0 453989365 150290432 32989 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36692 32989 231 231 0 36461 0
vsize: 146768
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33726 0 0 0 55913 91 0 0 25 0 1 0 453989365 150290432 32992 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36692 32992 231 231 0 36461 0
vsize: 146768
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33762 0 0 0 56913 92 0 0 25 0 1 0 453989365 150433792 33028 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36727 33028 231 231 0 36496 0
vsize: 146908
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33786 0 0 0 57913 92 0 0 25 0 1 0 453989365 150609920 33052 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36770 33052 231 231 0 36539 0
vsize: 147080
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33800 0 0 0 58913 92 0 0 25 0 1 0 453989365 150609920 33066 4294967295 134512640 135450300 3221224640 3221223024 134602283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36770 33066 231 231 0 36539 0
vsize: 147080
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33803 0 0 0 59913 92 0 0 25 0 1 0 453989365 150609920 33069 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36770 33069 231 231 0 36539 0
vsize: 147080
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 33838 0 0 0 60913 92 0 0 25 0 1 0 453989365 150773760 33104 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36810 33104 231 231 0 36579 0
vsize: 147240
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34194 0 0 0 61912 93 0 0 25 0 1 0 453989365 150913024 33460 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36844 33460 231 231 0 36613 0
vsize: 147376
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34227 0 0 0 62912 94 0 0 25 0 1 0 453989365 151052288 33493 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36878 33493 231 231 0 36647 0
vsize: 147512
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34231 0 0 0 63912 94 0 0 25 0 1 0 453989365 151052288 33497 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36878 33497 231 231 0 36647 0
vsize: 147512
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34359 0 0 0 64912 94 0 0 25 0 1 0 453989365 151650304 33625 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37024 33625 231 231 0 36793 0
vsize: 148096
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34388 0 0 0 65912 94 0 0 25 0 1 0 453989365 151801856 33654 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37061 33654 231 231 0 36830 0
vsize: 148244
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34427 0 0 0 66912 94 0 0 25 0 1 0 453989365 151801856 33693 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37061 33693 231 231 0 36830 0
vsize: 148244
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34674 0 0 0 67911 95 0 0 25 0 1 0 453989365 151941120 33940 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37095 33940 231 231 0 36864 0
vsize: 148380
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34716 0 0 0 68912 95 0 0 25 0 1 0 453989365 152096768 33982 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37133 33982 231 231 0 36902 0
vsize: 148532
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34724 0 0 0 69912 95 0 0 25 0 1 0 453989365 152096768 33990 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37133 33990 231 231 0 36902 0
vsize: 148532
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34793 0 0 0 70912 96 0 0 25 0 1 0 453989365 152416256 34059 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37211 34059 231 231 0 36980 0
vsize: 148844
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34797 0 0 0 71911 96 0 0 25 0 1 0 453989365 152416256 34063 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37211 34063 231 231 0 36980 0
vsize: 148844
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34839 0 0 0 72911 96 0 0 25 0 1 0 453989365 152563712 34105 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37247 34105 231 231 0 37016 0
vsize: 148988
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 34869 0 0 0 73911 97 0 0 25 0 1 0 453989365 152563712 34135 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37247 34135 231 231 0 37016 0
vsize: 148988
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35040 0 0 0 74911 97 0 0 25 0 1 0 453989365 152563712 34306 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37247 34306 231 231 0 37016 0
vsize: 148988
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35057 0 0 0 75911 97 0 0 25 0 1 0 453989365 152723456 34323 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37286 34323 231 231 0 37055 0
vsize: 149144
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35078 0 0 0 76911 97 0 0 25 0 1 0 453989365 152723456 34344 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37286 34344 231 231 0 37055 0
vsize: 149144
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35088 0 0 0 77911 98 0 0 25 0 1 0 453989365 152723456 34354 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37286 34354 231 231 0 37055 0
vsize: 149144
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35107 0 0 0 78911 98 0 0 25 0 1 0 453989365 152723456 34373 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37286 34373 231 231 0 37055 0
vsize: 149144
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35111 0 0 0 79911 98 0 0 25 0 1 0 453989365 152723456 34377 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37286 34377 231 231 0 37055 0
vsize: 149144
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35120 0 0 0 80911 98 0 0 25 0 1 0 453989365 152907776 34386 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37331 34386 231 231 0 37100 0
vsize: 149324
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35257 0 0 0 81911 98 0 0 25 0 1 0 453989365 152907776 34523 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37331 34523 231 231 0 37100 0
vsize: 149324
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35261 0 0 0 82911 98 0 0 25 0 1 0 453989365 152907776 34527 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37331 34527 231 231 0 37100 0
vsize: 149324
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35289 0 0 0 83911 98 0 0 25 0 1 0 453989365 152907776 34555 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37331 34555 231 231 0 37100 0
vsize: 149324
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35342 0 0 0 84911 99 0 0 25 0 1 0 453989365 153206784 34608 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37404 34608 231 231 0 37173 0
vsize: 149616
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35423 0 0 0 85910 99 0 0 25 0 1 0 453989365 153681920 34689 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37520 34689 231 231 0 37289 0
vsize: 150080
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35451 0 0 0 86911 99 0 0 25 0 1 0 453989365 153681920 34717 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37520 34717 231 231 0 37289 0
vsize: 150080
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35464 0 0 0 87911 100 0 0 25 0 1 0 453989365 153681920 34730 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37520 34730 231 231 0 37289 0
vsize: 150080
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35573 0 0 0 88910 100 0 0 25 0 1 0 453989365 153681920 34839 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37520 34839 231 231 0 37289 0
vsize: 150080
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35576 0 0 0 89910 100 0 0 25 0 1 0 453989365 153681920 34842 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37520 34842 231 231 0 37289 0
vsize: 150080
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35602 0 0 0 90910 100 0 0 25 0 1 0 453989365 153964544 34868 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37589 34868 231 231 0 37358 0
vsize: 150356
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35628 0 0 0 91910 101 0 0 25 0 1 0 453989365 153964544 34894 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37589 34894 231 231 0 37358 0
vsize: 150356
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 35657 0 0 0 92910 101 0 0 25 0 1 0 453989365 154103808 34923 4294967295 134512640 135450300 3221224640 3221223024 134602300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37623 34923 231 231 0 37392 0
vsize: 150492
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36429 0 0 0 93909 103 0 0 25 0 1 0 453989365 157249536 34926 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38391 34926 231 231 0 38160 0
vsize: 153564
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36457 0 0 0 94909 103 0 0 25 0 1 0 453989365 157249536 34954 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38391 34954 231 231 0 38160 0
vsize: 153564
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36588 0 0 0 95909 103 0 0 25 0 1 0 453989365 157528064 35085 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38459 35085 231 231 0 38228 0
vsize: 153836
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36592 0 0 0 96909 103 0 0 25 0 1 0 453989365 157528064 35089 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38459 35089 231 231 0 38228 0
vsize: 153836
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36619 0 0 0 97909 104 0 0 25 0 1 0 453989365 157671424 35116 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38494 35116 231 231 0 38263 0
vsize: 153976
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36638 0 0 0 98909 104 0 0 25 0 1 0 453989365 157671424 35135 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38494 35135 231 231 0 38263 0
vsize: 153976
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36645 0 0 0 99909 104 0 0 25 0 1 0 453989365 157671424 35142 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38494 35142 231 231 0 38263 0
vsize: 153976
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36650 0 0 0 100909 104 0 0 25 0 1 0 453989365 157671424 35147 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38494 35147 231 231 0 38263 0
vsize: 153976
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36660 0 0 0 101909 104 0 0 25 0 1 0 453989365 157671424 35157 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38494 35157 231 231 0 38263 0
vsize: 153976
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36701 0 0 0 102909 104 0 0 25 0 1 0 453989365 157835264 35198 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38534 35198 231 231 0 38303 0
vsize: 154136
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36724 0 0 0 103909 104 0 0 25 0 1 0 453989365 157835264 35221 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38534 35221 231 231 0 38303 0
vsize: 154136
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36727 0 0 0 104909 105 0 0 25 0 1 0 453989365 157835264 35224 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38534 35224 231 231 0 38303 0
vsize: 154136
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36734 0 0 0 105909 105 0 0 25 0 1 0 453989365 157835264 35231 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38534 35231 231 231 0 38303 0
vsize: 154136
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36742 0 0 0 106908 105 0 0 25 0 1 0 453989365 157835264 35239 4294967295 134512640 135450300 3221224640 3221223024 134579243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38534 35239 231 231 0 38303 0
vsize: 154136
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36781 0 0 0 107909 106 0 0 25 0 1 0 453989365 157990912 35278 4294967295 134512640 135450300 3221224640 3221223120 134580011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38572 35278 231 231 0 38341 0
vsize: 154288
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36807 0 0 0 108909 106 0 0 25 0 1 0 453989365 157990912 35304 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38572 35304 231 231 0 38341 0
vsize: 154288
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36835 0 0 0 109909 106 0 0 25 0 1 0 453989365 158306304 35332 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38649 35332 231 231 0 38418 0
vsize: 154596
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36848 0 0 0 110909 106 0 0 25 0 1 0 453989365 158306304 35345 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38649 35345 231 231 0 38418 0
vsize: 154596
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36851 0 0 0 111909 106 0 0 25 0 1 0 453989365 158306304 35348 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38649 35348 231 231 0 38418 0
vsize: 154596
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36861 0 0 0 112909 106 0 0 25 0 1 0 453989365 158306304 35358 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38649 35358 231 231 0 38418 0
vsize: 154596
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36884 0 0 0 113909 106 0 0 25 0 1 0 453989365 158306304 35381 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38649 35381 231 231 0 38418 0
vsize: 154596
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36903 0 0 0 114909 107 0 0 25 0 1 0 453989365 158453760 35400 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38685 35400 231 231 0 38454 0
vsize: 154740
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36933 0 0 0 115909 107 0 0 25 0 1 0 453989365 158453760 35430 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38685 35430 231 231 0 38454 0
vsize: 154740
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36948 0 0 0 116909 107 0 0 25 0 1 0 453989365 158453760 35445 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38685 35445 231 231 0 38454 0
vsize: 154740
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36964 0 0 0 117909 107 0 0 25 0 1 0 453989365 158584832 35461 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38717 35461 231 231 0 38486 0
vsize: 154868
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36970 0 0 0 118909 107 0 0 25 0 1 0 453989365 158584832 35467 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38717 35467 231 231 0 38486 0
vsize: 154868
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2301
Raw data (stat): 2301 (PBS4) R 2300 5897 5896 0 -1 0 36984 0 0 0 119909 108 0 0 25 0 1 0 453989365 158584832 35481 4294967295 134512640 135450300 3221224640 3221223024 134579830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38717 35481 231 231 0 38486 0
vsize: 154868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 2301
Raw data (stat): 2301 (PBS4) Z 2300 5897 5896 0 -1 1036 36984 0 0 0 119909 114 0 0 25 0 1 0 453989365 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.1
CPU time (s): 1200.24
CPU user time (s): 1199.09
CPU system time (s): 1.14782
CPU usage (%): 100.012
Max. virtual memory (Kb): 154868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####