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/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM	f6c01aa815aa7b4a79652c8bfa8bef11
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.14
Number of variables	1534
Total number of constraints	127011
Number of constraints which are clauses	127011
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 7943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-17 17:21:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3165 boxname=wulflinc13 idbench=352 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f6c01aa815aa7b4a79652c8bfa8bef11  /oldhome/oroussel/tmp/wulflinc13/normalized-frb59-26-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-frb59-26-4.opb
IDLAUNCH: 3165
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        852592 kB
Buffers:         36624 kB
Cached:         123600 kB
SwapCached:        392 kB
Active:          68528 kB
Inactive:        94968 kB
HighTotal:      131008 kB
HighFree:         3500 kB
LowTotal:       903652 kB
LowFree:        849092 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            13020 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:41:38 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 3165 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc13/normalized-frb59-26-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.92 0.97 0.91 2/54 24052
Raw data (stat): 24052 (runsolver) R 24051 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454058103 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99993 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 4413 0 0 0 987 11 0 0 25 0 1 0 454058103 23273472 3679 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5682 3679 231 231 0 5451 0
vsize: 22728
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 6329 0 0 0 1983 15 0 0 25 0 1 0 454058103 40185856 5595 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 5595 231 231 0 9580 0
vsize: 39244
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 8170 0 0 0 2979 19 0 0 25 0 1 0 454058103 40185856 7436 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 7436 231 231 0 9580 0
vsize: 39244
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 10111 0 0 0 3975 24 0 0 25 0 1 0 454058103 40321024 9377 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 9377 231 231 0 9613 0
vsize: 39376
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 11843 0 0 0 4971 28 0 0 25 0 1 0 454058103 74022912 11109 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 11109 231 231 0 17841 0
vsize: 72288
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 13451 0 0 0 5968 31 0 0 25 0 1 0 454058103 74022912 12717 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 12717 231 231 0 17841 0
vsize: 72288
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 15052 0 0 0 6965 34 0 0 25 0 1 0 454058103 74022912 14318 4294967295 134512640 135450300 3221224640 3221223168 134544966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 14318 231 231 0 17841 0
vsize: 72288
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 17429 0 0 0 7960 39 0 0 25 0 1 0 454058103 77168640 15926 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18840 15926 231 231 0 18609 0
vsize: 75360
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 19008 0 0 0 8957 43 0 0 25 0 1 0 454058103 77168640 17505 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18840 17505 231 231 0 18609 0
vsize: 75360
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 20472 0 0 0 9953 46 0 0 25 0 1 0 454058103 144412672 18969 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35257 18969 231 231 0 35026 0
vsize: 141028
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 22132 0 0 0 10951 50 0 0 25 0 1 0 454058103 144412672 20629 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35257 20629 231 231 0 35026 0
vsize: 141028
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 23618 0 0 0 11947 54 0 0 25 0 1 0 454058103 144412672 22115 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35257 22115 231 231 0 35026 0
vsize: 141028
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 24944 0 0 0 12944 57 0 0 25 0 1 0 454058103 144576512 23441 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35297 23441 231 231 0 35066 0
vsize: 141188
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 26719 0 0 0 13939 63 0 0 25 0 1 0 454058103 144855040 25216 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35365 25216 231 231 0 35134 0
vsize: 141460
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 26945 0 0 0 14938 63 0 0 25 0 1 0 454058103 145592320 25442 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35545 25442 231 231 0 35314 0
vsize: 142180
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 27947 0 0 0 15935 66 0 0 25 0 1 0 454058103 145883136 26444 4294967295 134512640 135450300 3221224640 3221223376 134538607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35616 26444 231 231 0 35385 0
vsize: 142464
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 29671 0 0 0 16930 72 0 0 25 0 1 0 454058103 145883136 28168 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35616 28168 231 231 0 35385 0
vsize: 142464
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 31153 0 0 0 17927 75 0 0 25 0 1 0 454058103 146776064 29650 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35834 29650 231 231 0 35603 0
vsize: 143336
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 32474 0 0 0 18924 78 0 0 25 0 1 0 454058103 147234816 30971 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35946 30971 231 231 0 35715 0
vsize: 143784
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 34028 0 0 0 19920 83 0 0 25 0 1 0 454058103 147234816 32525 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35946 32525 231 231 0 35715 0
vsize: 143784
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 34066 0 0 0 20920 83 0 0 25 0 1 0 454058103 147505152 32563 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36012 32563 231 231 0 35781 0
vsize: 144048
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 34124 0 0 0 21920 83 0 0 25 0 1 0 454058103 147779584 32621 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36079 32621 231 231 0 35848 0
vsize: 144316
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 34140 0 0 0 22919 83 0 0 25 0 1 0 454058103 147779584 32637 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36079 32637 231 231 0 35848 0
vsize: 144316
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 34197 0 0 0 23919 84 0 0 25 0 1 0 454058103 148078592 32694 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36152 32694 231 231 0 35921 0
vsize: 144608
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 34361 0 0 0 24919 84 0 0 25 0 1 0 454058103 148213760 32858 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36185 32858 231 231 0 35954 0
vsize: 144740
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 36059 0 0 0 25914 89 0 0 25 0 1 0 454058103 148213760 34556 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36185 34556 231 231 0 35954 0
vsize: 144740
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 37177 0 0 0 26911 92 0 0 25 0 1 0 454058103 282849280 35674 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69055 35674 231 231 0 68824 0
vsize: 276220
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38430 0 0 0 27909 94 0 0 25 0 1 0 454058103 282849280 36927 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69055 36927 231 231 0 68824 0
vsize: 276220
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38587 0 0 0 28909 95 0 0 25 0 1 0 454058103 283701248 37084 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69263 37084 231 231 0 69032 0
vsize: 277052
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38668 0 0 0 29909 95 0 0 25 0 1 0 454058103 283979776 37165 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69331 37165 231 231 0 69100 0
vsize: 277324
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38672 0 0 0 30909 95 0 0 25 0 1 0 454058103 283979776 37169 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69331 37169 231 231 0 69100 0
vsize: 277324
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38737 0 0 0 31909 95 0 0 25 0 1 0 454058103 284258304 37234 4294967295 134512640 135450300 3221224640 3221223116 134572335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69399 37234 231 231 0 69168 0
vsize: 277596
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38805 0 0 0 32909 96 0 0 25 0 1 0 454058103 284549120 37302 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69470 37302 231 231 0 69239 0
vsize: 277880
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38834 0 0 0 33909 96 0 0 25 0 1 0 454058103 284692480 37331 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69505 37331 231 231 0 69274 0
vsize: 278020
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38908 0 0 0 34909 96 0 0 25 0 1 0 454058103 285138944 37405 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69614 37405 231 231 0 69383 0
vsize: 278456
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38963 0 0 0 35909 96 0 0 25 0 1 0 454058103 285282304 37460 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69649 37460 231 231 0 69418 0
vsize: 278596
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 38967 0 0 0 36908 97 0 0 25 0 1 0 454058103 285282304 37464 4294967295 134512640 135450300 3221224640 3221223116 134571602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69649 37464 231 231 0 69418 0
vsize: 278596
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 39024 0 0 0 37908 98 0 0 25 0 1 0 454058103 285585408 37521 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69723 37521 231 231 0 69492 0
vsize: 278892
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 39034 0 0 0 38908 98 0 0 25 0 1 0 454058103 285585408 37531 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69723 37531 231 231 0 69492 0
vsize: 278892
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 39878 0 0 0 39906 100 0 0 25 0 1 0 454058103 285892608 38375 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69798 38375 231 231 0 69567 0
vsize: 279192
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 40911 0 0 0 40904 102 0 0 25 0 1 0 454058103 286310400 39408 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69900 39408 231 231 0 69669 0
vsize: 279600
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42127 0 0 0 41902 104 0 0 25 0 1 0 454058103 286310400 40624 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69900 40624 231 231 0 69669 0
vsize: 279600
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42173 0 0 0 42902 105 0 0 25 0 1 0 454058103 286457856 40670 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69936 40670 231 231 0 69705 0
vsize: 279744
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42176 0 0 0 43902 105 0 0 25 0 1 0 454058103 286457856 40673 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69936 40673 231 231 0 69705 0
vsize: 279744
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42404 0 0 0 44901 105 0 0 25 0 1 0 454058103 287485952 40901 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70187 40901 231 231 0 69956 0
vsize: 280748
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42485 0 0 0 45901 106 0 0 25 0 1 0 454058103 287911936 40982 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70291 40982 231 231 0 70060 0
vsize: 281164
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42509 0 0 0 46901 106 0 0 25 0 1 0 454058103 287911936 41006 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70291 41006 231 231 0 70060 0
vsize: 281164
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42535 0 0 0 47901 106 0 0 25 0 1 0 454058103 288075776 41032 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70331 41032 231 231 0 70100 0
vsize: 281324
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42538 0 0 0 48901 106 0 0 25 0 1 0 454058103 288075776 41035 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70331 41035 231 231 0 70100 0
vsize: 281324
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42582 0 0 0 49902 106 0 0 25 0 1 0 454058103 288235520 41079 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70370 41079 231 231 0 70139 0
vsize: 281480
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42584 0 0 0 50902 106 0 0 25 0 1 0 454058103 288235520 41081 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70370 41081 231 231 0 70139 0
vsize: 281480
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42625 0 0 0 51902 106 0 0 25 0 1 0 454058103 288374784 41122 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70404 41122 231 231 0 70173 0
vsize: 281616
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42630 0 0 0 52902 106 0 0 25 0 1 0 454058103 288374784 41127 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70404 41127 231 231 0 70173 0
vsize: 281616
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42694 0 0 0 53901 107 0 0 25 0 1 0 454058103 288792576 41191 4294967295 134512640 135450300 3221224640 3221223120 134580016 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 41191 231 231 0 70275 0
vsize: 282024
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42723 0 0 0 54902 107 0 0 25 0 1 0 454058103 288792576 41220 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 41220 231 231 0 70275 0
vsize: 282024
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 42729 0 0 0 55902 107 0 0 25 0 1 0 454058103 288792576 41226 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 41226 231 231 0 70275 0
vsize: 282024
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 43754 0 0 0 56899 110 0 0 25 0 1 0 454058103 289062912 42251 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70572 42251 231 231 0 70341 0
vsize: 282288
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44577 0 0 0 57898 111 0 0 25 0 1 0 454058103 289062912 43074 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70572 43074 231 231 0 70341 0
vsize: 282288
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44607 0 0 0 58898 111 0 0 25 0 1 0 454058103 289226752 43104 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70612 43104 231 231 0 70381 0
vsize: 282448
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44634 0 0 0 59898 111 0 0 25 0 1 0 454058103 289226752 43131 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70612 43131 231 231 0 70381 0
vsize: 282448
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44638 0 0 0 60898 112 0 0 25 0 1 0 454058103 289226752 43135 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70612 43135 231 231 0 70381 0
vsize: 282448
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44704 0 0 0 61898 112 0 0 25 0 1 0 454058103 289509376 43201 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70681 43201 231 231 0 70450 0
vsize: 282724
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44725 0 0 0 62898 112 0 0 25 0 1 0 454058103 289656832 43222 4294967295 134512640 135450300 3221224640 3221223472 134549531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70717 43222 231 231 0 70486 0
vsize: 282868
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44735 0 0 0 63898 112 0 0 25 0 1 0 454058103 289656832 43232 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70717 43232 231 231 0 70486 0
vsize: 282868
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44777 0 0 0 64898 112 0 0 25 0 1 0 454058103 289968128 43274 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70793 43274 231 231 0 70562 0
vsize: 283172
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 44779 0 0 0 65898 112 0 0 25 0 1 0 454058103 289968128 43276 4294967295 134512640 135450300 3221224640 3221223456 134537242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70793 43276 231 231 0 70562 0
vsize: 283172
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45116 0 0 0 66898 113 0 0 25 0 1 0 454058103 290103296 43613 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70826 43613 231 231 0 70595 0
vsize: 283304
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45506 0 0 0 67897 114 0 0 25 0 1 0 454058103 290385920 44003 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70895 44003 231 231 0 70664 0
vsize: 283580
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45510 0 0 0 68897 114 0 0 25 0 1 0 454058103 290385920 44007 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70895 44007 231 231 0 70664 0
vsize: 283580
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45529 0 0 0 69897 114 0 0 25 0 1 0 454058103 290385920 44026 4294967295 134512640 135450300 3221224640 3221223168 134543673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70895 44026 231 231 0 70664 0
vsize: 283580
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45552 0 0 0 70897 114 0 0 25 0 1 0 454058103 290508800 44049 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70925 44049 231 231 0 70694 0
vsize: 283700
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45558 0 0 0 71897 115 0 0 25 0 1 0 454058103 290508800 44055 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70925 44055 231 231 0 70694 0
vsize: 283700
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45598 0 0 0 72897 115 0 0 25 0 1 0 454058103 290664448 44095 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70963 44095 231 231 0 70732 0
vsize: 283852
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45601 0 0 0 73896 115 0 0 25 0 1 0 454058103 290664448 44098 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70963 44098 231 231 0 70732 0
vsize: 283852
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 45647 0 0 0 74897 116 0 0 25 0 1 0 454058103 290971648 44144 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71038 44144 231 231 0 70807 0
vsize: 284152
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46111 0 0 0 75895 117 0 0 25 0 1 0 454058103 290971648 44608 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71038 44608 231 231 0 70807 0
vsize: 284152
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46170 0 0 0 76896 117 0 0 25 0 1 0 454058103 291266560 44667 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71110 44667 231 231 0 70879 0
vsize: 284440
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46185 0 0 0 77895 117 0 0 25 0 1 0 454058103 291266560 44682 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71110 44682 231 231 0 70879 0
vsize: 284440
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46221 0 0 0 78895 117 0 0 25 0 1 0 454058103 291581952 44718 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71187 44718 231 231 0 70956 0
vsize: 284748
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46228 0 0 0 79895 118 0 0 25 0 1 0 454058103 291581952 44725 4294967295 134512640 135450300 3221224640 3221223456 134537251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71187 44725 231 231 0 70956 0
vsize: 284748
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46276 0 0 0 80895 118 0 0 25 0 1 0 454058103 291745792 44773 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71227 44773 231 231 0 70996 0
vsize: 284908
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46298 0 0 0 81895 118 0 0 25 0 1 0 454058103 291909632 44795 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71267 44795 231 231 0 71036 0
vsize: 285068
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46301 0 0 0 82895 118 0 0 25 0 1 0 454058103 291909632 44798 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71267 44798 231 231 0 71036 0
vsize: 285068
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46336 0 0 0 83895 119 0 0 25 0 1 0 454058103 292057088 44833 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71303 44833 231 231 0 71072 0
vsize: 285212
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46682 0 0 0 84894 120 0 0 25 0 1 0 454058103 292057088 45179 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71303 45179 231 231 0 71072 0
vsize: 285212
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46718 0 0 0 85894 120 0 0 25 0 1 0 454058103 292196352 45215 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71337 45215 231 231 0 71106 0
vsize: 285348
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46721 0 0 0 86894 120 0 0 25 0 1 0 454058103 292196352 45218 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71337 45218 231 231 0 71106 0
vsize: 285348
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46744 0 0 0 87894 120 0 0 25 0 1 0 454058103 292343808 45241 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 45241 231 231 0 71142 0
vsize: 285492
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46764 0 0 0 88894 120 0 0 25 0 1 0 454058103 292499456 45261 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71411 45261 231 231 0 71180 0
vsize: 285644
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46767 0 0 0 89894 121 0 0 25 0 1 0 454058103 292499456 45264 4294967295 134512640 135450300 3221224640 3221223248 134537771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71411 45264 231 231 0 71180 0
vsize: 285644
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46783 0 0 0 90894 121 0 0 25 0 1 0 454058103 292499456 45280 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71411 45280 231 231 0 71180 0
vsize: 285644
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46786 0 0 0 91894 121 0 0 25 0 1 0 454058103 292499456 45283 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71411 45283 231 231 0 71180 0
vsize: 285644
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 46917 0 0 0 92894 122 0 0 25 0 1 0 454058103 293093376 45414 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71556 45414 231 231 0 71325 0
vsize: 286224
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47180 0 0 0 93893 122 0 0 25 0 1 0 454058103 293257216 45677 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71596 45677 231 231 0 71365 0
vsize: 286384
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47184 0 0 0 94893 122 0 0 25 0 1 0 454058103 293257216 45681 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71596 45681 231 231 0 71365 0
vsize: 286384
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47211 0 0 0 95894 122 0 0 25 0 1 0 454058103 293449728 45708 4294967295 134512640 135450300 3221224640 3221223140 134579988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71643 45708 231 231 0 71412 0
vsize: 286572
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47214 0 0 0 96894 122 0 0 25 0 1 0 454058103 293449728 45711 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71643 45711 231 231 0 71412 0
vsize: 286572
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47229 0 0 0 97894 123 0 0 25 0 1 0 454058103 293449728 45726 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71643 45726 231 231 0 71412 0
vsize: 286572
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47231 0 0 0 98894 123 0 0 25 0 1 0 454058103 293449728 45728 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71643 45728 231 231 0 71412 0
vsize: 286572
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47265 0 0 0 99894 123 0 0 25 0 1 0 454058103 293597184 45762 4294967295 134512640 135450300 3221224640 3221223136 134571589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71679 45762 231 231 0 71448 0
vsize: 286716
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47291 0 0 0 100893 123 0 0 25 0 1 0 454058103 293597184 45788 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71679 45788 231 231 0 71448 0
vsize: 286716
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47309 0 0 0 101893 124 0 0 25 0 1 0 454058103 293744640 45806 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71715 45806 231 231 0 71484 0
vsize: 286860
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47468 0 0 0 102893 124 0 0 25 0 1 0 454058103 293744640 45965 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71715 45965 231 231 0 71484 0
vsize: 286860
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47499 0 0 0 103893 124 0 0 25 0 1 0 454058103 293879808 45996 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71748 45996 231 231 0 71517 0
vsize: 286992
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47526 0 0 0 104893 124 0 0 25 0 1 0 454058103 294027264 46023 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71784 46023 231 231 0 71553 0
vsize: 287136
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47535 0 0 0 105894 124 0 0 25 0 1 0 454058103 294027264 46032 4294967295 134512640 135450300 3221224640 3221223104 134532964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71784 46032 231 231 0 71553 0
vsize: 287136
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47600 0 0 0 106894 124 0 0 25 0 1 0 454058103 294322176 46097 4294967295 134512640 135450300 3221224640 3221223360 134535944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71856 46097 231 231 0 71625 0
vsize: 287424
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47602 0 0 0 107894 124 0 0 25 0 1 0 454058103 294322176 46099 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71856 46099 231 231 0 71625 0
vsize: 287424
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47624 0 0 0 108894 124 0 0 25 0 1 0 454058103 294322176 46121 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71856 46121 231 231 0 71625 0
vsize: 287424
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47637 0 0 0 109894 124 0 0 25 0 1 0 454058103 294486016 46134 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71896 46134 231 231 0 71665 0
vsize: 287584
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47640 0 0 0 110894 124 0 0 25 0 1 0 454058103 294486016 46137 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71896 46137 231 231 0 71665 0
vsize: 287584
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47793 0 0 0 111894 125 0 0 25 0 1 0 454058103 294625280 46290 4294967295 134512640 135450300 3221224640 3221223248 134537651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71930 46290 231 231 0 71699 0
vsize: 287720
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47806 0 0 0 112893 125 0 0 25 0 1 0 454058103 294625280 46303 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71930 46303 231 231 0 71699 0
vsize: 287720
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47835 0 0 0 113893 125 0 0 25 0 1 0 454058103 294772736 46332 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71966 46332 231 231 0 71735 0
vsize: 287864
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47843 0 0 0 114893 126 0 0 25 0 1 0 454058103 294772736 46340 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71966 46340 231 231 0 71735 0
vsize: 287864
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47891 0 0 0 115893 126 0 0 25 0 1 0 454058103 295084032 46388 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72042 46388 231 231 0 71811 0
vsize: 288168
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47929 0 0 0 116893 126 0 0 25 0 1 0 454058103 295231488 46426 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72078 46426 231 231 0 71847 0
vsize: 288312
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47944 0 0 0 117893 126 0 0 25 0 1 0 454058103 295424000 46441 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72125 46441 231 231 0 71894 0
vsize: 288500
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47947 0 0 0 118893 127 0 0 25 0 1 0 454058103 295424000 46444 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72125 46444 231 231 0 71894 0
vsize: 288500
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24052
Raw data (stat): 24052 (PBS4) R 24051 30701 30700 0 -1 0 47968 0 0 0 119893 127 0 0 25 0 1 0 454058103 295424000 46465 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72125 46465 231 231 0 71894 0
vsize: 288500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24052
Raw data (stat): 24052 (PBS4) Z 24051 30701 30700 0 -1 1036 47968 0 0 0 119893 136 0 0 25 0 1 0 454058103 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.09
CPU time (s): 1200.3
CPU user time (s): 1198.94
CPU system time (s): 1.36179
CPU usage (%): 100.017
Max. virtual memory (Kb): 288500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####