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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
MD5SUM	151e246868267296e134c3c76a3cb289
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	285
Optimality of the best value was proved	NO
Number of terms in the objective function	664
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	664
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	664
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02484
Number of variables	664
Total number of constraints	3035
Number of constraints which are clauses	3035
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	32
Trace number 7744

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-17 16:02:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1392 boxname=wulflinc2 idbench=155 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  151e246868267296e134c3c76a3cb289  /oldhome/oroussel/tmp/wulflinc2/normalized-ii32d1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-ii32d1.opb
IDLAUNCH: 1392
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        851732 kB
Buffers:         36740 kB
Cached:         124348 kB
SwapCached:          4 kB
Active:          66108 kB
Inactive:        97880 kB
HighTotal:      131008 kB
HighFree:         2800 kB
LowTotal:       903652 kB
LowFree:        848932 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13324 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:22:58 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 1392 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-ii32d1.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.96 1.00 0.72 2/54 12384
Raw data (stat): 12384 (runsolver) R 12383 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453584068 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.99991 s]
Raw data (loadavg): 0.96 1.00 0.72 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 963 0 0 0 995 4 0 0 25 0 1 0 453584068 6209536 959 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1516 959 231 231 0 1285 0
vsize: 6064
[startup+19.9992 s]
Raw data (loadavg): 0.97 1.00 0.72 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 1895 0 0 0 1994 5 0 0 25 0 1 0 453584068 10735616 1842 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2621 1842 231 231 0 2390 0
vsize: 10484
[startup+30 s]
Raw data (loadavg): 0.97 1.00 0.72 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 2593 0 0 0 2991 8 0 0 25 0 1 0 453584068 19259392 2540 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4702 2540 231 231 0 4471 0
vsize: 18808
[startup+40 s]
Raw data (loadavg): 0.98 1.00 0.73 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 3309 0 0 0 3989 10 0 0 25 0 1 0 453584068 19394560 3256 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4735 3256 231 231 0 4504 0
vsize: 18940
[startup+50.0003 s]
Raw data (loadavg): 0.98 1.00 0.73 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 4054 0 0 0 4987 13 0 0 25 0 1 0 453584068 19529728 4001 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4768 4001 231 231 0 4537 0
vsize: 19072
[startup+60 s]
Raw data (loadavg): 0.98 1.00 0.73 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 4735 0 0 0 5984 16 0 0 25 0 1 0 453584068 36442112 4682 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8897 4682 231 231 0 8666 0
vsize: 35588
[startup+70 s]
Raw data (loadavg): 0.98 1.00 0.73 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 5227 0 0 0 6983 17 0 0 25 0 1 0 453584068 36847616 5174 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 5174 231 231 0 8765 0
vsize: 35984
[startup+80.0004 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 5949 0 0 0 7980 20 0 0 25 0 1 0 453584068 37523456 5799 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9161 5799 231 231 0 8930 0
vsize: 36644
[startup+90.0001 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6063 0 0 0 8979 22 0 0 25 0 1 0 453584068 37650432 5913 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9192 5913 231 231 0 8961 0
vsize: 36768
[startup+100 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6074 0 0 0 9979 22 0 0 25 0 1 0 453584068 37650432 5924 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9192 5924 231 231 0 8961 0
vsize: 36768
[startup+110 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6093 0 0 0 10979 22 0 0 25 0 1 0 453584068 37650432 5943 4294967295 134512640 135450300 3221224640 3221223456 134537294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9192 5943 231 231 0 8961 0
vsize: 36768
[startup+120 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6113 0 0 0 11978 23 0 0 25 0 1 0 453584068 37781504 5963 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9224 5963 231 231 0 8993 0
vsize: 36896
[startup+130 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6129 0 0 0 12978 23 0 0 25 0 1 0 453584068 37781504 5979 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9224 5979 231 231 0 8993 0
vsize: 36896
[startup+140 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6158 0 0 0 13977 24 0 0 25 0 1 0 453584068 37916672 6008 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9257 6008 231 231 0 9026 0
vsize: 37028
[startup+150 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6199 0 0 0 14977 24 0 0 25 0 1 0 453584068 38060032 6049 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 6049 231 231 0 9061 0
vsize: 37168
[startup+160 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6211 0 0 0 15977 25 0 0 25 0 1 0 453584068 38060032 6061 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 6061 231 231 0 9061 0
vsize: 37168
[startup+170 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6223 0 0 0 16977 25 0 0 25 0 1 0 453584068 38060032 6073 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 6073 231 231 0 9061 0
vsize: 37168
[startup+179.999 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6239 0 0 0 17976 26 0 0 25 0 1 0 453584068 38060032 6089 4294967295 134512640 135450300 3221224640 3221223456 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 6089 231 231 0 9061 0
vsize: 37168
[startup+189.999 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6290 0 0 0 18976 26 0 0 25 0 1 0 453584068 38342656 6140 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9361 6140 231 231 0 9130 0
vsize: 37444
[startup+200 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6297 0 0 0 19976 27 0 0 25 0 1 0 453584068 38342656 6147 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9361 6147 231 231 0 9130 0
vsize: 37444
[startup+209.999 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 12384
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6307 0 0 0 20975 27 0 0 25 0 1 0 453584068 38342656 6157 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9361 6157 231 231 0 9130 0
vsize: 37444
[startup+219.999 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6524 0 0 0 21975 28 0 0 25 0 1 0 453584068 39129088 6181 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9553 6181 231 231 0 9322 0
vsize: 38212
[startup+230 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6533 0 0 0 22975 28 0 0 25 0 1 0 453584068 39129088 6190 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9553 6190 231 231 0 9322 0
vsize: 38212
[startup+240 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6537 0 0 0 23975 28 0 0 25 0 1 0 453584068 39129088 6194 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9553 6194 231 231 0 9322 0
vsize: 38212
[startup+250.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6543 0 0 0 24975 28 0 0 25 0 1 0 453584068 39297024 6200 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9594 6200 231 231 0 9363 0
vsize: 38376
[startup+260 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6572 0 0 0 25975 28 0 0 25 0 1 0 453584068 39297024 6229 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9594 6229 231 231 0 9363 0
vsize: 38376
[startup+270 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6581 0 0 0 26974 29 0 0 25 0 1 0 453584068 39297024 6238 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9594 6238 231 231 0 9363 0
vsize: 38376
[startup+280 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6616 0 0 0 27974 29 0 0 25 0 1 0 453584068 39436288 6273 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9628 6273 231 231 0 9397 0
vsize: 38512
[startup+290 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6628 0 0 0 28974 30 0 0 25 0 1 0 453584068 39436288 6285 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9628 6285 231 231 0 9397 0
vsize: 38512
[startup+300 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6633 0 0 0 29974 30 0 0 25 0 1 0 453584068 39436288 6290 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9628 6290 231 231 0 9397 0
vsize: 38512
[startup+310 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6643 0 0 0 30974 30 0 0 25 0 1 0 453584068 39436288 6300 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9628 6300 231 231 0 9397 0
vsize: 38512
[startup+319.999 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6657 0 0 0 31974 30 0 0 25 0 1 0 453584068 39571456 6314 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9661 6314 231 231 0 9430 0
vsize: 38644
[startup+330 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6664 0 0 0 32974 31 0 0 25 0 1 0 453584068 39571456 6321 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9661 6321 231 231 0 9430 0
vsize: 38644
[startup+340 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6672 0 0 0 33974 31 0 0 25 0 1 0 453584068 39571456 6329 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9661 6329 231 231 0 9430 0
vsize: 38644
[startup+350 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6674 0 0 0 34974 31 0 0 25 0 1 0 453584068 39571456 6331 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9661 6331 231 231 0 9430 0
vsize: 38644
[startup+360 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6685 0 0 0 35973 32 0 0 25 0 1 0 453584068 39571456 6342 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9661 6342 231 231 0 9430 0
vsize: 38644
[startup+370 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6692 0 0 0 36973 32 0 0 25 0 1 0 453584068 39706624 6349 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9694 6349 231 231 0 9463 0
vsize: 38776
[startup+380.001 s]
Raw data (loadavg): 1.07 1.02 0.80 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6726 0 0 0 37973 32 0 0 25 0 1 0 453584068 39706624 6383 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9694 6383 231 231 0 9463 0
vsize: 38776
[startup+390.001 s]
Raw data (loadavg): 1.06 1.02 0.80 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6731 0 0 0 38973 33 0 0 25 0 1 0 453584068 39706624 6388 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9694 6388 231 231 0 9463 0
vsize: 38776
[startup+400.001 s]
Raw data (loadavg): 1.05 1.01 0.80 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6738 0 0 0 39973 33 0 0 25 0 1 0 453584068 39706624 6395 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9694 6395 231 231 0 9463 0
vsize: 38776
[startup+410 s]
Raw data (loadavg): 1.04 1.01 0.81 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6748 0 0 0 40973 33 0 0 25 0 1 0 453584068 39706624 6405 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9694 6405 231 231 0 9463 0
vsize: 38776
[startup+420 s]
Raw data (loadavg): 1.04 1.01 0.81 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6756 0 0 0 41973 34 0 0 25 0 1 0 453584068 39837696 6413 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9726 6413 231 231 0 9495 0
vsize: 38904
[startup+430.001 s]
Raw data (loadavg): 1.03 1.01 0.81 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6769 0 0 0 42972 34 0 0 25 0 1 0 453584068 39837696 6426 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9726 6426 231 231 0 9495 0
vsize: 38904
[startup+440.001 s]
Raw data (loadavg): 1.03 1.01 0.81 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6798 0 0 0 43972 35 0 0 25 0 1 0 453584068 39837696 6455 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9726 6455 231 231 0 9495 0
vsize: 38904
[startup+450.001 s]
Raw data (loadavg): 1.02 1.01 0.81 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6837 0 0 0 44972 35 0 0 25 0 1 0 453584068 40026112 6494 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9772 6494 231 231 0 9541 0
vsize: 39088
[startup+460.001 s]
Raw data (loadavg): 1.02 1.01 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6845 0 0 0 45972 35 0 0 25 0 1 0 453584068 40026112 6502 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9772 6502 231 231 0 9541 0
vsize: 39088
[startup+470 s]
Raw data (loadavg): 1.01 1.01 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6859 0 0 0 46971 36 0 0 25 0 1 0 453584068 40185856 6516 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6516 231 231 0 9580 0
vsize: 39244
[startup+480 s]
Raw data (loadavg): 1.01 1.01 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6865 0 0 0 47971 36 0 0 25 0 1 0 453584068 40185856 6522 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6522 231 231 0 9580 0
vsize: 39244
[startup+490 s]
Raw data (loadavg): 1.01 1.01 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 6877 0 0 0 48971 36 0 0 25 0 1 0 453584068 40185856 6534 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6534 231 231 0 9580 0
vsize: 39244
[startup+500.001 s]
Raw data (loadavg): 1.01 1.00 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 7191 0 0 0 49970 37 0 0 25 0 1 0 453584068 40185856 6848 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6848 231 231 0 9580 0
vsize: 39244
[startup+510 s]
Raw data (loadavg): 1.01 1.00 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 7727 0 0 0 50969 39 0 0 25 0 1 0 453584068 40185856 7384 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 7384 231 231 0 9580 0
vsize: 39244
[startup+520.001 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8107 0 0 0 51968 40 0 0 25 0 1 0 453584068 40185856 7764 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 7764 231 231 0 9580 0
vsize: 39244
[startup+530.002 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8116 0 0 0 52969 40 0 0 25 0 1 0 453584068 40321024 7773 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 7773 231 231 0 9613 0
vsize: 39376
[startup+540.001 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8124 0 0 0 53969 40 0 0 25 0 1 0 453584068 40321024 7781 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 7781 231 231 0 9613 0
vsize: 39376
[startup+550.001 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8127 0 0 0 54968 40 0 0 25 0 1 0 453584068 40321024 7784 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 7784 231 231 0 9613 0
vsize: 39376
[startup+560.001 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8132 0 0 0 55968 41 0 0 25 0 1 0 453584068 40321024 7789 4294967295 134512640 135450300 3221224640 3221223024 134602108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 7789 231 231 0 9613 0
vsize: 39376
[startup+570 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8135 0 0 0 56968 41 0 0 25 0 1 0 453584068 40321024 7792 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 7792 231 231 0 9613 0
vsize: 39376
[startup+580 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8140 0 0 0 57968 41 0 0 25 0 1 0 453584068 40321024 7797 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9844 7797 231 231 0 9613 0
vsize: 39376
[startup+590 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8148 0 0 0 58968 41 0 0 25 0 1 0 453584068 40321024 7805 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 7805 231 231 0 9613 0
vsize: 39376
[startup+600 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8155 0 0 0 59968 41 0 0 25 0 1 0 453584068 40321024 7812 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9844 7812 231 231 0 9613 0
vsize: 39376
[startup+610 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8192 0 0 0 60968 41 0 0 25 0 1 0 453584068 40472576 7849 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 7849 231 231 0 9650 0
vsize: 39524
[startup+620 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8196 0 0 0 61968 41 0 0 25 0 1 0 453584068 40472576 7853 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 7853 231 231 0 9650 0
vsize: 39524
[startup+630.001 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8199 0 0 0 62968 42 0 0 25 0 1 0 453584068 40472576 7856 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 7856 231 231 0 9650 0
vsize: 39524
[startup+640.001 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8205 0 0 0 63968 42 0 0 25 0 1 0 453584068 40472576 7862 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 7862 231 231 0 9650 0
vsize: 39524
[startup+650.001 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8208 0 0 0 64968 42 0 0 25 0 1 0 453584068 40472576 7865 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 7865 231 231 0 9650 0
vsize: 39524
[startup+660.001 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8213 0 0 0 65968 42 0 0 25 0 1 0 453584068 40472576 7870 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 7870 231 231 0 9650 0
vsize: 39524
[startup+670.001 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8224 0 0 0 66968 43 0 0 25 0 1 0 453584068 40607744 7881 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 7881 231 231 0 9683 0
vsize: 39656
[startup+680.001 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8226 0 0 0 67968 43 0 0 25 0 1 0 453584068 40607744 7883 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 7883 231 231 0 9683 0
vsize: 39656
[startup+690.001 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8228 0 0 0 68968 43 0 0 25 0 1 0 453584068 40607744 7885 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 7885 231 231 0 9683 0
vsize: 39656
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8618 0 0 0 69968 44 0 0 25 0 1 0 453584068 42180608 7890 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10298 7890 231 231 0 10067 0
vsize: 41192
[startup+710.01 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8619 0 0 0 70968 44 0 0 25 0 1 0 453584068 42180608 7891 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10298 7891 231 231 0 10067 0
vsize: 41192
[startup+720.01 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8632 0 0 0 71968 44 0 0 25 0 1 0 453584068 42180608 7904 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10298 7904 231 231 0 10067 0
vsize: 41192
[startup+730.01 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8638 0 0 0 72968 44 0 0 25 0 1 0 453584068 42180608 7910 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10298 7910 231 231 0 10067 0
vsize: 41192
[startup+740.01 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8682 0 0 0 73967 45 0 0 25 0 1 0 453584068 42340352 7954 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7954 231 231 0 10106 0
vsize: 41348
[startup+750.011 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8684 0 0 0 74967 45 0 0 25 0 1 0 453584068 42340352 7956 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7956 231 231 0 10106 0
vsize: 41348
[startup+760.011 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8690 0 0 0 75967 45 0 0 25 0 1 0 453584068 42340352 7962 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7962 231 231 0 10106 0
vsize: 41348
[startup+770.01 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8707 0 0 0 76967 45 0 0 25 0 1 0 453584068 42340352 7979 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7979 231 231 0 10106 0
vsize: 41348
[startup+780.01 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8710 0 0 0 77967 45 0 0 25 0 1 0 453584068 42340352 7982 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7982 231 231 0 10106 0
vsize: 41348
[startup+790.01 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8713 0 0 0 78967 45 0 0 25 0 1 0 453584068 42340352 7985 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7985 231 231 0 10106 0
vsize: 41348
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8719 0 0 0 79967 46 0 0 25 0 1 0 453584068 42340352 7991 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7991 231 231 0 10106 0
vsize: 41348
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8725 0 0 0 80967 46 0 0 25 0 1 0 453584068 42340352 7997 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7997 231 231 0 10106 0
vsize: 41348
[startup+820.011 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8732 0 0 0 81967 46 0 0 25 0 1 0 453584068 42475520 8004 4294967295 134512640 135450300 3221224640 3221223456 134547581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8004 231 231 0 10139 0
vsize: 41480
[startup+830.011 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8755 0 0 0 82967 46 0 0 25 0 1 0 453584068 42475520 8027 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8027 231 231 0 10139 0
vsize: 41480
[startup+840.011 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8756 0 0 0 83967 46 0 0 25 0 1 0 453584068 42475520 8028 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8028 231 231 0 10139 0
vsize: 41480
[startup+850.012 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8764 0 0 0 84967 47 0 0 25 0 1 0 453584068 42475520 8036 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8036 231 231 0 10139 0
vsize: 41480
[startup+860.012 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8768 0 0 0 85967 47 0 0 25 0 1 0 453584068 42475520 8040 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8040 231 231 0 10139 0
vsize: 41480
[startup+870.011 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8773 0 0 0 86967 47 0 0 25 0 1 0 453584068 42475520 8045 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8045 231 231 0 10139 0
vsize: 41480
[startup+880.011 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8783 0 0 0 87967 47 0 0 25 0 1 0 453584068 42475520 8055 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8055 231 231 0 10139 0
vsize: 41480
[startup+890.011 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8784 0 0 0 88967 47 0 0 25 0 1 0 453584068 42475520 8056 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8056 231 231 0 10139 0
vsize: 41480
[startup+900.01 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8785 0 0 0 89967 47 0 0 25 0 1 0 453584068 42475520 8057 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8057 231 231 0 10139 0
vsize: 41480
[startup+910.01 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8786 0 0 0 90967 47 0 0 25 0 1 0 453584068 42475520 8058 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10370 8058 231 231 0 10139 0
vsize: 41480
[startup+920.01 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8809 0 0 0 91967 47 0 0 25 0 1 0 453584068 42610688 8081 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10403 8081 231 231 0 10172 0
vsize: 41612
[startup+930.01 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8815 0 0 0 92967 48 0 0 25 0 1 0 453584068 42610688 8087 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10403 8087 231 231 0 10172 0
vsize: 41612
[startup+940.01 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8816 0 0 0 93968 48 0 0 25 0 1 0 453584068 42610688 8088 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10403 8088 231 231 0 10172 0
vsize: 41612
[startup+950.011 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8816 0 0 0 94968 48 0 0 25 0 1 0 453584068 42610688 8088 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10403 8088 231 231 0 10172 0
vsize: 41612
[startup+960.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8836 0 0 0 95968 48 0 0 25 0 1 0 453584068 42749952 8108 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10437 8108 231 231 0 10206 0
vsize: 41748
[startup+970.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8844 0 0 0 96967 48 0 0 25 0 1 0 453584068 42749952 8116 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10437 8116 231 231 0 10206 0
vsize: 41748
[startup+980.011 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8866 0 0 0 97967 49 0 0 25 0 1 0 453584068 42893312 8138 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10472 8138 231 231 0 10241 0
vsize: 41888
[startup+990.011 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8867 0 0 0 98967 49 0 0 25 0 1 0 453584068 42893312 8139 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10472 8139 231 231 0 10241 0
vsize: 41888
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8880 0 0 0 99968 49 0 0 25 0 1 0 453584068 42893312 8152 4294967295 134512640 135450300 3221224640 3221223360 134535867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10472 8152 231 231 0 10241 0
vsize: 41888
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8890 0 0 0 100967 49 0 0 25 0 1 0 453584068 42893312 8162 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10472 8162 231 231 0 10241 0
vsize: 41888
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8915 0 0 0 101967 49 0 0 25 0 1 0 453584068 43106304 8187 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8187 231 231 0 10293 0
vsize: 42096
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8917 0 0 0 102967 49 0 0 25 0 1 0 453584068 43106304 8189 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8189 231 231 0 10293 0
vsize: 42096
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8924 0 0 0 103967 50 0 0 25 0 1 0 453584068 43106304 8196 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8196 231 231 0 10293 0
vsize: 42096
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8927 0 0 0 104967 50 0 0 25 0 1 0 453584068 43106304 8199 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8199 231 231 0 10293 0
vsize: 42096
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8929 0 0 0 105967 50 0 0 25 0 1 0 453584068 43106304 8201 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8201 231 231 0 10293 0
vsize: 42096
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8932 0 0 0 106967 50 0 0 25 0 1 0 453584068 43106304 8204 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8204 231 231 0 10293 0
vsize: 42096
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8935 0 0 0 107967 51 0 0 25 0 1 0 453584068 43106304 8207 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8207 231 231 0 10293 0
vsize: 42096
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8939 0 0 0 108967 51 0 0 25 0 1 0 453584068 43106304 8211 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8211 231 231 0 10293 0
vsize: 42096
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8941 0 0 0 109968 51 0 0 25 0 1 0 453584068 43106304 8213 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8213 231 231 0 10293 0
vsize: 42096
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8947 0 0 0 110968 51 0 0 25 0 1 0 453584068 43106304 8219 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8219 231 231 0 10293 0
vsize: 42096
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8958 0 0 0 111968 51 0 0 25 0 1 0 453584068 43106304 8230 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 8230 231 231 0 10293 0
vsize: 42096
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8988 0 0 0 112968 51 0 0 25 0 1 0 453584068 43294720 8260 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10570 8260 231 231 0 10339 0
vsize: 42280
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8993 0 0 0 113968 51 0 0 25 0 1 0 453584068 43294720 8265 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10570 8265 231 231 0 10339 0
vsize: 42280
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 8998 0 0 0 114968 51 0 0 25 0 1 0 453584068 43294720 8270 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10570 8270 231 231 0 10339 0
vsize: 42280
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 9002 0 0 0 115966 52 0 0 25 0 1 0 453584068 43294720 8274 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10570 8274 231 231 0 10339 0
vsize: 42280
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 9009 0 0 0 116966 52 0 0 25 0 1 0 453584068 43294720 8281 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10570 8281 231 231 0 10339 0
vsize: 42280
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 9025 0 0 0 117965 53 0 0 25 0 1 0 453584068 43294720 8297 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10570 8297 231 231 0 10339 0
vsize: 42280
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 9067 0 0 0 118965 53 0 0 25 0 1 0 453584068 43479040 8339 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10615 8339 231 231 0 10384 0
vsize: 42460
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 12386
Raw data (stat): 12384 (PBS4) R 12383 20937 20936 0 -1 0 9073 0 0 0 119965 53 0 0 25 0 1 0 453584068 43479040 8345 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10615 8345 231 231 0 10384 0
vsize: 42460
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.89 1/54 12386
Raw data (stat): 12384 (PBS4) Z 12383 20937 20936 0 -1 1036 9073 0 0 0 119965 55 0 0 25 0 1 0 453584068 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.03
CPU time (s): 1200.21
CPU user time (s): 1199.66
CPU system time (s): 0.551916
CPU usage (%): 100.015
Max. virtual memory (Kb): 42460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####