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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/een/normalized-p0548.opb
MD5SUM422c0da7d5380a26c4dac413428db5c9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14670
Optimality of the best value was proved NO
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1230.14
Number of variables527
Total number of constraints156
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint134

Trace number 7970

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        837364 kB
Buffers:         37416 kB
Cached:         122040 kB
SwapCached:          4 kB
Active:          72684 kB
Inactive:        90512 kB
HighTotal:      131008 kB
HighFree:         4452 kB
LowTotal:       903652 kB
LowFree:        832912 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            28492 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 18:00:48 (client local time) WITH STATUS 0 IN 1200.94 SECONDS
stats: 5232 7 1200.94 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc28/normalized-p0548.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.91 0.95 0.90 2/54 7405
Raw data (stat): 7405 (runsolver) R 7404 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512395101 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.99997 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 1144 0 0 0 983 15 0 0 25 0 1 0 512395101 6172672 1140 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1507 1140 231 231 0 1276 0
vsize: 6028
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 1582 0 0 0 1980 19 0 0 25 0 1 0 512395101 10833920 1529 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2645 1529 231 231 0 2414 0
vsize: 10580
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 1818 0 0 0 2978 21 0 0 25 0 1 0 512395101 11104256 1765 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1765 231 231 0 2480 0
vsize: 10844
[startup+39.9999 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 2265 0 0 0 3976 23 0 0 25 0 1 0 512395101 11497472 2115 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 2115 231 231 0 2576 0
vsize: 11228
[startup+49.9996 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 2402 0 0 0 4975 24 0 0 25 0 1 0 512395101 11771904 2252 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2874 2252 231 231 0 2643 0
vsize: 11496
[startup+59.9996 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 2546 0 0 0 5973 26 0 0 25 0 1 0 512395101 11902976 2396 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2906 2396 231 231 0 2675 0
vsize: 11624
[startup+69.999 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 2826 0 0 0 6972 27 0 0 25 0 1 0 512395101 12034048 2676 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 2676 231 231 0 2707 0
vsize: 11752
[startup+79.9996 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 2912 0 0 0 7970 29 0 0 25 0 1 0 512395101 12169216 2762 4294967295 134512640 135450300 3221224640 3221223376 134538219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2971 2762 231 231 0 2740 0
vsize: 11884
[startup+89.9996 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 3223 0 0 0 8969 31 0 0 25 0 1 0 512395101 20701184 3073 4294967295 134512640 135450300 3221224640 3221223248 134537645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5054 3073 231 231 0 4823 0
vsize: 20216
[startup+99.9989 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 3598 0 0 0 9967 33 0 0 25 0 1 0 512395101 20844544 3448 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 3448 231 231 0 4858 0
vsize: 20356
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4110 0 0 0 10964 36 0 0 25 0 1 0 512395101 21630976 3767 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5281 3767 231 231 0 5050 0
vsize: 21124
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4449 0 0 0 11963 38 0 0 25 0 1 0 512395101 21774336 4106 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5316 4106 231 231 0 5085 0
vsize: 21264
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4659 0 0 0 12960 41 0 0 25 0 1 0 512395101 21909504 4316 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4316 231 231 0 5118 0
vsize: 21396
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4676 0 0 0 13959 41 0 0 25 0 1 0 512395101 21909504 4333 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4333 231 231 0 5118 0
vsize: 21396
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4701 0 0 0 14959 42 0 0 25 0 1 0 512395101 21909504 4358 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4358 231 231 0 5118 0
vsize: 21396
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4732 0 0 0 15957 44 0 0 25 0 1 0 512395101 22052864 4389 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5384 4389 231 231 0 5153 0
vsize: 21536
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4762 0 0 0 16956 45 0 0 25 0 1 0 512395101 22228992 4419 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5427 4419 231 231 0 5196 0
vsize: 21708
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4791 0 0 0 17955 47 0 0 25 0 1 0 512395101 22228992 4448 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5427 4448 231 231 0 5196 0
vsize: 21708
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4818 0 0 0 18954 48 0 0 25 0 1 0 512395101 22228992 4475 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5427 4475 231 231 0 5196 0
vsize: 21708
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4844 0 0 0 19953 49 0 0 25 0 1 0 512395101 22364160 4501 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5460 4501 231 231 0 5229 0
vsize: 21840
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4871 0 0 0 20951 51 0 0 25 0 1 0 512395101 22507520 4528 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5495 4528 231 231 0 5264 0
vsize: 21980
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4883 0 0 0 21950 52 0 0 25 0 1 0 512395101 22507520 4540 4294967295 134512640 135450300 3221224640 3221223540 134539773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5495 4540 231 231 0 5264 0
vsize: 21980
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4913 0 0 0 22950 53 0 0 25 0 1 0 512395101 22507520 4570 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5495 4570 231 231 0 5264 0
vsize: 21980
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4940 0 0 0 23949 54 0 0 25 0 1 0 512395101 22654976 4597 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5531 4597 231 231 0 5300 0
vsize: 22124
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 4958 0 0 0 24948 55 0 0 25 0 1 0 512395101 22654976 4615 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5531 4615 231 231 0 5300 0
vsize: 22124
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5011 0 0 0 25947 56 0 0 25 0 1 0 512395101 22945792 4668 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5602 4668 231 231 0 5371 0
vsize: 22408
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5028 0 0 0 26946 57 0 0 25 0 1 0 512395101 22945792 4685 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5602 4685 231 231 0 5371 0
vsize: 22408
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5043 0 0 0 27945 58 0 0 25 0 1 0 512395101 22945792 4700 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5602 4700 231 231 0 5371 0
vsize: 22408
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5060 0 0 0 28944 59 0 0 25 0 1 0 512395101 22945792 4717 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5602 4717 231 231 0 5371 0
vsize: 22408
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5470 0 0 0 29943 60 0 0 25 0 1 0 512395101 24657920 4742 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 4742 231 231 0 5789 0
vsize: 24080
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5495 0 0 0 30943 61 0 0 25 0 1 0 512395101 24657920 4767 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 4767 231 231 0 5789 0
vsize: 24080
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5519 0 0 0 31942 62 0 0 25 0 1 0 512395101 24805376 4791 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4791 231 231 0 5825 0
vsize: 24224
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5537 0 0 0 32941 63 0 0 25 0 1 0 512395101 24805376 4809 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4809 231 231 0 5825 0
vsize: 24224
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5550 0 0 0 33941 64 0 0 25 0 1 0 512395101 24805376 4822 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4822 231 231 0 5825 0
vsize: 24224
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5564 0 0 0 34940 64 0 0 25 0 1 0 512395101 24805376 4836 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4836 231 231 0 5825 0
vsize: 24224
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5585 0 0 0 35939 66 0 0 25 0 1 0 512395101 24944640 4857 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6090 4857 231 231 0 5859 0
vsize: 24360
[startup+369.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5629 0 0 0 36937 68 0 0 25 0 1 0 512395101 24944640 4901 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6090 4901 231 231 0 5859 0
vsize: 24360
[startup+379.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5657 0 0 0 37935 70 0 0 25 0 1 0 512395101 25088000 4929 4294967295 134512640 135450300 3221224640 3221223296 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6125 4929 231 231 0 5894 0
vsize: 24500
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5674 0 0 0 38933 72 0 0 25 0 1 0 512395101 25088000 4946 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6125 4946 231 231 0 5894 0
vsize: 24500
[startup+399.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5700 0 0 0 39932 74 0 0 25 0 1 0 512395101 25223168 4972 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6158 4972 231 231 0 5927 0
vsize: 24632
[startup+409.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5723 0 0 0 40931 74 0 0 25 0 1 0 512395101 25362432 4995 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 4995 231 231 0 5961 0
vsize: 24768
[startup+419.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5735 0 0 0 41930 76 0 0 25 0 1 0 512395101 25362432 5007 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5007 231 231 0 5961 0
vsize: 24768
[startup+429.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5763 0 0 0 42929 77 0 0 25 0 1 0 512395101 25362432 5035 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5035 231 231 0 5961 0
vsize: 24768
[startup+439.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5773 0 0 0 43928 78 0 0 25 0 1 0 512395101 25362432 5045 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5045 231 231 0 5961 0
vsize: 24768
[startup+449.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5784 0 0 0 44928 79 0 0 25 0 1 0 512395101 25362432 5056 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5056 231 231 0 5961 0
vsize: 24768
[startup+459.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5796 0 0 0 45927 79 0 0 25 0 1 0 512395101 25362432 5068 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5068 231 231 0 5961 0
vsize: 24768
[startup+469.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5810 0 0 0 46926 80 0 0 25 0 1 0 512395101 25362432 5082 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5082 231 231 0 5961 0
vsize: 24768
[startup+479.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5831 0 0 0 47926 81 0 0 25 0 1 0 512395101 25509888 5103 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6228 5103 231 231 0 5997 0
vsize: 24912
[startup+489.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5849 0 0 0 48924 83 0 0 25 0 1 0 512395101 25509888 5121 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6228 5121 231 231 0 5997 0
vsize: 24912
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5860 0 0 0 49924 83 0 0 25 0 1 0 512395101 25509888 5132 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6228 5132 231 231 0 5997 0
vsize: 24912
[startup+509.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5892 0 0 0 50924 84 0 0 25 0 1 0 512395101 25665536 5164 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6266 5164 231 231 0 6035 0
vsize: 25064
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5914 0 0 0 51923 85 0 0 25 0 1 0 512395101 25665536 5186 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6266 5186 231 231 0 6035 0
vsize: 25064
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5936 0 0 0 52923 85 0 0 25 0 1 0 512395101 25665536 5208 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6266 5208 231 231 0 6035 0
vsize: 25064
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5949 0 0 0 53922 86 0 0 25 0 1 0 512395101 25665536 5221 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6266 5221 231 231 0 6035 0
vsize: 25064
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 5972 0 0 0 54922 86 0 0 25 0 1 0 512395101 25874432 5244 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 5244 231 231 0 6086 0
vsize: 25268
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6045 0 0 0 55921 87 0 0 25 0 1 0 512395101 25874432 5317 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 5317 231 231 0 6086 0
vsize: 25268
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6075 0 0 0 56920 88 0 0 25 0 1 0 512395101 25874432 5347 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 5347 231 231 0 6086 0
vsize: 25268
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6091 0 0 0 57920 88 0 0 25 0 1 0 512395101 25874432 5363 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 5363 231 231 0 6086 0
vsize: 25268
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6104 0 0 0 58919 90 0 0 25 0 1 0 512395101 26013696 5376 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6351 5376 231 231 0 6120 0
vsize: 25404
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6126 0 0 0 59917 92 0 0 25 0 1 0 512395101 26169344 5398 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6389 5398 231 231 0 6158 0
vsize: 25556
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6169 0 0 0 60916 93 0 0 25 0 1 0 512395101 26316800 5441 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5441 231 231 0 6194 0
vsize: 25700
[startup+619.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6188 0 0 0 61915 94 0 0 25 0 1 0 512395101 26316800 5460 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5460 231 231 0 6194 0
vsize: 25700
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6291 0 0 0 62914 95 0 0 25 0 1 0 512395101 26316800 5563 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5563 231 231 0 6194 0
vsize: 25700
[startup+639.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6330 0 0 0 63914 96 0 0 25 0 1 0 512395101 26316800 5602 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5602 231 231 0 6194 0
vsize: 25700
[startup+649.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6342 0 0 0 64914 96 0 0 25 0 1 0 512395101 26316800 5614 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5614 231 231 0 6194 0
vsize: 25700
[startup+660 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6360 0 0 0 65913 98 0 0 25 0 1 0 512395101 26472448 5632 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6463 5632 231 231 0 6232 0
vsize: 25852
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6370 0 0 0 66912 99 0 0 25 0 1 0 512395101 26472448 5642 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6463 5642 231 231 0 6232 0
vsize: 25852
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6386 0 0 0 67911 100 0 0 25 0 1 0 512395101 26472448 5658 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6463 5658 231 231 0 6232 0
vsize: 25852
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6407 0 0 0 68910 100 0 0 25 0 1 0 512395101 26472448 5679 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6463 5679 231 231 0 6232 0
vsize: 25852
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6451 0 0 0 69910 101 0 0 25 0 1 0 512395101 26640384 5723 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6504 5723 231 231 0 6273 0
vsize: 26016
[startup+709.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6467 0 0 0 70909 102 0 0 25 0 1 0 512395101 26640384 5739 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6504 5739 231 231 0 6273 0
vsize: 26016
[startup+719.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6479 0 0 0 71908 103 0 0 25 0 1 0 512395101 26640384 5751 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6504 5751 231 231 0 6273 0
vsize: 26016
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6494 0 0 0 72908 104 0 0 25 0 1 0 512395101 26640384 5766 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6504 5766 231 231 0 6273 0
vsize: 26016
[startup+739.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6501 0 0 0 73907 104 0 0 25 0 1 0 512395101 26640384 5773 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6504 5773 231 231 0 6273 0
vsize: 26016
[startup+749.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6515 0 0 0 74907 105 0 0 25 0 1 0 512395101 26816512 5787 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6547 5787 231 231 0 6316 0
vsize: 26188
[startup+759.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 6533 0 0 0 75906 106 0 0 25 0 1 0 512395101 26816512 5805 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6547 5805 231 231 0 6316 0
vsize: 26188
[startup+769.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7309 0 0 0 76904 108 0 0 25 0 1 0 512395101 29962240 5812 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 5812 231 231 0 7084 0
vsize: 29260
[startup+779.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7321 0 0 0 77904 109 0 0 25 0 1 0 512395101 29962240 5824 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 5824 231 231 0 7084 0
vsize: 29260
[startup+789.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7338 0 0 0 78904 109 0 0 25 0 1 0 512395101 29962240 5841 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 5841 231 231 0 7084 0
vsize: 29260
[startup+799.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7361 0 0 0 79902 111 0 0 25 0 1 0 512395101 29962240 5864 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 5864 231 231 0 7084 0
vsize: 29260
[startup+809.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7374 0 0 0 80902 111 0 0 25 0 1 0 512395101 30150656 5877 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5877 231 231 0 7130 0
vsize: 29444
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7381 0 0 0 81901 111 0 0 25 0 1 0 512395101 30150656 5884 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5884 231 231 0 7130 0
vsize: 29444
[startup+829.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7394 0 0 0 82901 112 0 0 25 0 1 0 512395101 30150656 5897 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5897 231 231 0 7130 0
vsize: 29444
[startup+839.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7401 0 0 0 83901 112 0 0 25 0 1 0 512395101 30150656 5904 4294967295 134512640 135450300 3221224640 3221223472 134549481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5904 231 231 0 7130 0
vsize: 29444
[startup+849.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7413 0 0 0 84901 113 0 0 25 0 1 0 512395101 30150656 5916 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5916 231 231 0 7130 0
vsize: 29444
[startup+860 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7421 0 0 0 85901 113 0 0 25 0 1 0 512395101 30150656 5924 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5924 231 231 0 7130 0
vsize: 29444
[startup+870 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7441 0 0 0 86900 114 0 0 25 0 1 0 512395101 30150656 5944 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5944 231 231 0 7130 0
vsize: 29444
[startup+880.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7454 0 0 0 87900 114 0 0 25 0 1 0 512395101 30150656 5957 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5957 231 231 0 7130 0
vsize: 29444
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7468 0 0 0 88900 115 0 0 25 0 1 0 512395101 30150656 5971 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 5971 231 231 0 7130 0
vsize: 29444
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7498 0 0 0 89898 117 0 0 25 0 1 0 512395101 30490624 6001 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6001 231 231 0 7213 0
vsize: 29776
[startup+910.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7511 0 0 0 90897 118 0 0 25 0 1 0 512395101 30490624 6014 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6014 231 231 0 7213 0
vsize: 29776
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7529 0 0 0 91895 120 0 0 25 0 1 0 512395101 30490624 6032 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6032 231 231 0 7213 0
vsize: 29776
[startup+930.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7540 0 0 0 92894 121 0 0 25 0 1 0 512395101 30490624 6043 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6043 231 231 0 7213 0
vsize: 29776
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7556 0 0 0 93892 123 0 0 25 0 1 0 512395101 30490624 6059 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6059 231 231 0 7213 0
vsize: 29776
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7571 0 0 0 94892 124 0 0 25 0 1 0 512395101 30490624 6074 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6074 231 231 0 7213 0
vsize: 29776
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7614 0 0 0 95892 124 0 0 25 0 1 0 512395101 30703616 6117 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6117 231 231 0 7265 0
vsize: 29984
[startup+970.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7622 0 0 0 96891 125 0 0 25 0 1 0 512395101 30703616 6125 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6125 231 231 0 7265 0
vsize: 29984
[startup+980.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7630 0 0 0 97891 126 0 0 25 0 1 0 512395101 30703616 6133 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6133 231 231 0 7265 0
vsize: 29984
[startup+990.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7637 0 0 0 98890 126 0 0 25 0 1 0 512395101 30703616 6140 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6140 231 231 0 7265 0
vsize: 29984
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7643 0 0 0 99891 126 0 0 25 0 1 0 512395101 30703616 6146 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6146 231 231 0 7265 0
vsize: 29984
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7657 0 0 0 100891 126 0 0 25 0 1 0 512395101 30703616 6160 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6160 231 231 0 7265 0
vsize: 29984
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7668 0 0 0 101890 127 0 0 25 0 1 0 512395101 30703616 6171 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6171 231 231 0 7265 0
vsize: 29984
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7699 0 0 0 102889 128 0 0 25 0 1 0 512395101 30928896 6202 4294967295 134512640 135450300 3221224640 3221223472 134549267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6202 231 231 0 7320 0
vsize: 30204
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7706 0 0 0 103889 128 0 0 25 0 1 0 512395101 30928896 6209 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6209 231 231 0 7320 0
vsize: 30204
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7723 0 0 0 104888 129 0 0 25 0 1 0 512395101 30928896 6226 4294967295 134512640 135450300 3221224640 3221223376 134537967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6226 231 231 0 7320 0
vsize: 30204
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7735 0 0 0 105888 130 0 0 25 0 1 0 512395101 30928896 6238 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6238 231 231 0 7320 0
vsize: 30204
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7749 0 0 0 106887 130 0 0 25 0 1 0 512395101 30928896 6252 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6252 231 231 0 7320 0
vsize: 30204
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7778 0 0 0 107886 132 0 0 25 0 1 0 512395101 30928896 6281 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6281 231 231 0 7320 0
vsize: 30204
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7794 0 0 0 108886 133 0 0 25 0 1 0 512395101 31068160 6297 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7585 6297 231 231 0 7354 0
vsize: 30340
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7816 0 0 0 109884 134 0 0 25 0 1 0 512395101 31068160 6319 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7585 6319 231 231 0 7354 0
vsize: 30340
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7825 0 0 0 110883 135 0 0 25 0 1 0 512395101 31068160 6328 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7585 6328 231 231 0 7354 0
vsize: 30340
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7837 0 0 0 111883 136 0 0 25 0 1 0 512395101 31305728 6340 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6340 231 231 0 7412 0
vsize: 30572
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7848 0 0 0 112882 137 0 0 25 0 1 0 512395101 31305728 6351 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6351 231 231 0 7412 0
vsize: 30572
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7857 0 0 0 113881 138 0 0 25 0 1 0 512395101 31305728 6360 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6360 231 231 0 7412 0
vsize: 30572
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7867 0 0 0 114879 140 0 0 25 0 1 0 512395101 31305728 6370 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6370 231 231 0 7412 0
vsize: 30572
[startup+1160.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7405
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7886 0 0 0 115904 141 0 0 25 0 1 0 512395101 31305728 6389 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6389 231 231 0 7412 0
vsize: 30572
[startup+1170.52 s]
Raw data (loadavg): 1.15 1.00 0.92 3/57 7446
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7903 0 0 0 116930 141 0 0 25 0 1 0 512395101 31305728 6406 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6406 231 231 0 7412 0
vsize: 30572
[startup+1180.52 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 7458
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7909 0 0 0 117930 142 0 0 25 0 1 0 512395101 31305728 6412 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6412 231 231 0 7412 0
vsize: 30572
[startup+1190.72 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 7458
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7919 0 0 0 118949 142 0 0 25 0 1 0 512395101 31305728 6422 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6422 231 231 0 7412 0
vsize: 30572
[startup+1200.72 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 7458
Raw data (stat): 7405 (PBS4) R 7404 10614 10613 0 -1 0 7928 0 0 0 119948 144 0 0 25 0 1 0 512395101 31305728 6431 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6431 231 231 0 7412 0
vsize: 30572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.73 s]
Raw data (loadavg): 1.14 1.02 0.93 1/54 7458
Raw data (stat): 7405 (PBS4) Z 7404 10614 10613 0 -1 1036 7928 0 0 0 119948 145 0 0 25 0 1 0 512395101 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.73
CPU time (s): 1200.94
CPU user time (s): 1199.49
CPU system time (s): 1.45478
CPU usage (%): 100.017
Max. virtual memory (Kb): 30572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####