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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb
MD5SUM	f2badf1ad4c3213045697b74fa812a03
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
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	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07284
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 18555

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 15:33:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17881 boxname=wulflinc17 idbench=1376 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 17881
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        639516 kB
Buffers:          4260 kB
Cached:         365084 kB
SwapCached:        440 kB
Active:          68276 kB
Inactive:       303856 kB
HighTotal:      131008 kB
HighFree:         1232 kB
LowTotal:       903652 kB
LowFree:        638284 kB
SwapTotal:     2097892 kB
SwapFree:      2097208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            17472 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 15:53:38 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 17881 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-p2756.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.96 0.94 2/55 515
Raw data (stat): 515 (runsolver) R 514 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546200280 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+10.0005 s]
Raw data (loadavg): 0.87 0.96 0.94 2/55 515
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 585 0 0 0 990 8 0 0 25 0 1 0 546200280 3350528 581 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 818 581 231 231 0 587 0
vsize: 3272
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.96 0.94 2/55 515
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 739 0 0 0 1989 10 0 0 25 0 1 0 546200280 4534272 735 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1107 735 231 231 0 876 0
vsize: 4428
[startup+30.001 s]
Raw data (loadavg): 0.91 0.96 0.94 2/55 515
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 952 0 0 0 2987 12 0 0 25 0 1 0 546200280 4804608 948 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1173 948 231 231 0 942 0
vsize: 4692
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.96 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1059 0 0 0 3986 13 0 0 25 0 1 0 546200280 6901760 1055 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1685 1055 231 231 0 1454 0
vsize: 6740
[startup+49.9999 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1077 0 0 0 4986 14 0 0 25 0 1 0 546200280 6901760 1073 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1685 1073 231 231 0 1454 0
vsize: 6740
[startup+59.9998 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1091 0 0 0 5986 14 0 0 25 0 1 0 546200280 7036928 1087 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1087 231 231 0 1487 0
vsize: 6872
[startup+69.9991 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1110 0 0 0 6985 14 0 0 25 0 1 0 546200280 7036928 1106 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1106 231 231 0 1487 0
vsize: 6872
[startup+80.0057 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1120 0 0 0 7986 14 0 0 25 0 1 0 546200280 7036928 1116 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1116 231 231 0 1487 0
vsize: 6872
[startup+90.0053 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1133 0 0 0 8986 14 0 0 25 0 1 0 546200280 7036928 1129 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1129 231 231 0 1487 0
vsize: 6872
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1145 0 0 0 9986 14 0 0 25 0 1 0 546200280 7036928 1141 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1141 231 231 0 1487 0
vsize: 6872
[startup+110.015 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1160 0 0 0 10987 15 0 0 25 0 1 0 546200280 7036928 1156 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1156 231 231 0 1487 0
vsize: 6872
[startup+120.014 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1171 0 0 0 11987 15 0 0 25 0 1 0 546200280 7036928 1167 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1167 231 231 0 1487 0
vsize: 6872
[startup+130.014 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1181 0 0 0 12987 15 0 0 25 0 1 0 546200280 7036928 1177 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1718 1177 231 231 0 1487 0
vsize: 6872
[startup+140.013 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1193 0 0 0 13987 15 0 0 25 0 1 0 546200280 7172096 1189 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1751 1189 231 231 0 1520 0
vsize: 7004
[startup+150.013 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1206 0 0 0 14987 15 0 0 25 0 1 0 546200280 7172096 1202 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1751 1202 231 231 0 1520 0
vsize: 7004
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1216 0 0 0 15987 15 0 0 25 0 1 0 546200280 7172096 1212 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1751 1212 231 231 0 1520 0
vsize: 7004
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1259 0 0 0 16987 16 0 0 25 0 1 0 546200280 7372800 1255 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1255 231 231 0 1569 0
vsize: 7200
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1268 0 0 0 17987 16 0 0 25 0 1 0 546200280 7372800 1264 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1264 231 231 0 1569 0
vsize: 7200
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1276 0 0 0 18987 16 0 0 25 0 1 0 546200280 7372800 1272 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1272 231 231 0 1569 0
vsize: 7200
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1285 0 0 0 19987 16 0 0 25 0 1 0 546200280 7372800 1281 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1281 231 231 0 1569 0
vsize: 7200
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1293 0 0 0 20987 16 0 0 25 0 1 0 546200280 7372800 1289 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1289 231 231 0 1569 0
vsize: 7200
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1300 0 0 0 21987 16 0 0 25 0 1 0 546200280 7372800 1296 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1296 231 231 0 1569 0
vsize: 7200
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1306 0 0 0 22988 16 0 0 25 0 1 0 546200280 7372800 1302 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1302 231 231 0 1569 0
vsize: 7200
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1317 0 0 0 23988 16 0 0 25 0 1 0 546200280 7372800 1313 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1313 231 231 0 1569 0
vsize: 7200
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1334 0 0 0 24987 17 0 0 25 0 1 0 546200280 7372800 1330 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1330 231 231 0 1569 0
vsize: 7200
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1345 0 0 0 25987 17 0 0 25 0 1 0 546200280 7372800 1341 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1341 231 231 0 1569 0
vsize: 7200
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1355 0 0 0 26987 17 0 0 25 0 1 0 546200280 7372800 1351 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1351 231 231 0 1569 0
vsize: 7200
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1366 0 0 0 27988 17 0 0 25 0 1 0 546200280 7372800 1362 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1362 231 231 0 1569 0
vsize: 7200
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1377 0 0 0 28988 17 0 0 25 0 1 0 546200280 7372800 1373 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1373 231 231 0 1569 0
vsize: 7200
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1387 0 0 0 29988 17 0 0 25 0 1 0 546200280 7372800 1383 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1383 231 231 0 1569 0
vsize: 7200
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1393 0 0 0 30988 17 0 0 25 0 1 0 546200280 7372800 1389 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1389 231 231 0 1569 0
vsize: 7200
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1401 0 0 0 31988 17 0 0 25 0 1 0 546200280 7372800 1397 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1397 231 231 0 1569 0
vsize: 7200
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 517
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1411 0 0 0 32988 17 0 0 25 0 1 0 546200280 7372800 1407 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1407 231 231 0 1569 0
vsize: 7200
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1420 0 0 0 33988 17 0 0 25 0 1 0 546200280 7372800 1416 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1416 231 231 0 1569 0
vsize: 7200
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1429 0 0 0 34988 18 0 0 25 0 1 0 546200280 7372800 1425 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1425 231 231 0 1569 0
vsize: 7200
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1437 0 0 0 35988 18 0 0 25 0 1 0 546200280 7372800 1433 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1433 231 231 0 1569 0
vsize: 7200
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1445 0 0 0 36988 18 0 0 25 0 1 0 546200280 7372800 1441 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1441 231 231 0 1569 0
vsize: 7200
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1449 0 0 0 37988 18 0 0 25 0 1 0 546200280 7372800 1445 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1445 231 231 0 1569 0
vsize: 7200
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1454 0 0 0 38988 18 0 0 25 0 1 0 546200280 7372800 1450 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1450 231 231 0 1569 0
vsize: 7200
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1465 0 0 0 39988 18 0 0 25 0 1 0 546200280 7372800 1461 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1461 231 231 0 1569 0
vsize: 7200
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1479 0 0 0 40988 19 0 0 25 0 1 0 546200280 7372800 1475 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1475 231 231 0 1569 0
vsize: 7200
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1489 0 0 0 41988 19 0 0 25 0 1 0 546200280 7372800 1485 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1485 231 231 0 1569 0
vsize: 7200
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1507 0 0 0 42988 19 0 0 25 0 1 0 546200280 7372800 1503 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1503 231 231 0 1569 0
vsize: 7200
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1526 0 0 0 43988 19 0 0 25 0 1 0 546200280 7372800 1522 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1522 231 231 0 1569 0
vsize: 7200
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1538 0 0 0 44988 19 0 0 25 0 1 0 546200280 7372800 1534 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1534 231 231 0 1569 0
vsize: 7200
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1548 0 0 0 45988 20 0 0 25 0 1 0 546200280 7372800 1544 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1544 231 231 0 1569 0
vsize: 7200
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1560 0 0 0 46988 20 0 0 25 0 1 0 546200280 7372800 1556 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1556 231 231 0 1569 0
vsize: 7200
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1566 0 0 0 47988 20 0 0 25 0 1 0 546200280 7372800 1562 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1562 231 231 0 1569 0
vsize: 7200
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1574 0 0 0 48988 20 0 0 25 0 1 0 546200280 7372800 1570 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1570 231 231 0 1569 0
vsize: 7200
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1585 0 0 0 49988 21 0 0 25 0 1 0 546200280 7372800 1581 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1581 231 231 0 1569 0
vsize: 7200
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1589 0 0 0 50988 21 0 0 25 0 1 0 546200280 7372800 1585 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1585 231 231 0 1569 0
vsize: 7200
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1601 0 0 0 51987 21 0 0 25 0 1 0 546200280 7372800 1597 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1597 231 231 0 1569 0
vsize: 7200
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1605 0 0 0 52988 21 0 0 25 0 1 0 546200280 7372800 1601 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1601 231 231 0 1569 0
vsize: 7200
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1613 0 0 0 53987 21 0 0 25 0 1 0 546200280 7372800 1609 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1609 231 231 0 1569 0
vsize: 7200
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1618 0 0 0 54987 22 0 0 25 0 1 0 546200280 7372800 1614 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1614 231 231 0 1569 0
vsize: 7200
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1627 0 0 0 55988 22 0 0 25 0 1 0 546200280 7372800 1623 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1623 231 231 0 1569 0
vsize: 7200
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1636 0 0 0 56988 22 0 0 25 0 1 0 546200280 7372800 1632 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1632 231 231 0 1569 0
vsize: 7200
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1642 0 0 0 57988 22 0 0 25 0 1 0 546200280 7372800 1638 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1638 231 231 0 1569 0
vsize: 7200
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1648 0 0 0 58988 22 0 0 25 0 1 0 546200280 7512064 1644 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1644 231 231 0 1603 0
vsize: 7336
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1655 0 0 0 59988 22 0 0 25 0 1 0 546200280 7512064 1651 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1651 231 231 0 1603 0
vsize: 7336
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1663 0 0 0 60988 22 0 0 25 0 1 0 546200280 11706368 1659 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1659 231 231 0 2627 0
vsize: 11432
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1671 0 0 0 61988 22 0 0 25 0 1 0 546200280 11706368 1667 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1667 231 231 0 2627 0
vsize: 11432
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 519
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1681 0 0 0 62988 22 0 0 25 0 1 0 546200280 11706368 1677 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1677 231 231 0 2627 0
vsize: 11432
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1689 0 0 0 63988 22 0 0 25 0 1 0 546200280 11706368 1685 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1685 231 231 0 2627 0
vsize: 11432
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1696 0 0 0 64988 22 0 0 25 0 1 0 546200280 11706368 1692 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1692 231 231 0 2627 0
vsize: 11432
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1700 0 0 0 65988 22 0 0 25 0 1 0 546200280 11706368 1696 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1696 231 231 0 2627 0
vsize: 11432
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1707 0 0 0 66989 23 0 0 25 0 1 0 546200280 11706368 1703 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1703 231 231 0 2627 0
vsize: 11432
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1713 0 0 0 67989 23 0 0 25 0 1 0 546200280 11706368 1709 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1709 231 231 0 2627 0
vsize: 11432
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1720 0 0 0 68989 23 0 0 25 0 1 0 546200280 11706368 1716 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1716 231 231 0 2627 0
vsize: 11432
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1726 0 0 0 69989 23 0 0 25 0 1 0 546200280 11706368 1722 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1722 231 231 0 2627 0
vsize: 11432
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1730 0 0 0 70989 23 0 0 25 0 1 0 546200280 11706368 1726 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1726 231 231 0 2627 0
vsize: 11432
[startup+719.999 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1736 0 0 0 71989 23 0 0 25 0 1 0 546200280 11706368 1732 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1732 231 231 0 2627 0
vsize: 11432
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1747 0 0 0 72989 23 0 0 25 0 1 0 546200280 11706368 1743 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1743 231 231 0 2627 0
vsize: 11432
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1750 0 0 0 73988 24 0 0 25 0 1 0 546200280 11706368 1746 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1746 231 231 0 2627 0
vsize: 11432
[startup+749.999 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1761 0 0 0 74989 24 0 0 25 0 1 0 546200280 11706368 1757 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1757 231 231 0 2627 0
vsize: 11432
[startup+759.999 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1767 0 0 0 75989 24 0 0 25 0 1 0 546200280 11706368 1763 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1763 231 231 0 2627 0
vsize: 11432
[startup+769.998 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1781 0 0 0 76989 24 0 0 25 0 1 0 546200280 11706368 1777 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1777 231 231 0 2627 0
vsize: 11432
[startup+779.998 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1790 0 0 0 77989 24 0 0 25 0 1 0 546200280 11706368 1786 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1786 231 231 0 2627 0
vsize: 11432
[startup+789.998 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1802 0 0 0 78989 24 0 0 25 0 1 0 546200280 11706368 1798 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1798 231 231 0 2627 0
vsize: 11432
[startup+799.997 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1808 0 0 0 79989 24 0 0 25 0 1 0 546200280 11706368 1804 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1804 231 231 0 2627 0
vsize: 11432
[startup+809.997 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1816 0 0 0 80989 24 0 0 25 0 1 0 546200280 11706368 1812 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1812 231 231 0 2627 0
vsize: 11432
[startup+819.996 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1823 0 0 0 81989 24 0 0 25 0 1 0 546200280 11706368 1819 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1819 231 231 0 2627 0
vsize: 11432
[startup+829.996 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1831 0 0 0 82989 25 0 0 25 0 1 0 546200280 11706368 1827 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1827 231 231 0 2627 0
vsize: 11432
[startup+839.996 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1837 0 0 0 83989 25 0 0 25 0 1 0 546200280 11706368 1833 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1833 231 231 0 2627 0
vsize: 11432
[startup+849.995 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1842 0 0 0 84989 25 0 0 25 0 1 0 546200280 11706368 1838 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1838 231 231 0 2627 0
vsize: 11432
[startup+859.995 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1856 0 0 0 85989 25 0 0 25 0 1 0 546200280 11706368 1852 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1852 231 231 0 2627 0
vsize: 11432
[startup+869.994 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1865 0 0 0 86989 25 0 0 25 0 1 0 546200280 11706368 1861 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1861 231 231 0 2627 0
vsize: 11432
[startup+879.994 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1877 0 0 0 87989 25 0 0 25 0 1 0 546200280 11706368 1873 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1873 231 231 0 2627 0
vsize: 11432
[startup+889.994 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1890 0 0 0 88989 26 0 0 25 0 1 0 546200280 11706368 1886 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1886 231 231 0 2627 0
vsize: 11432
[startup+899.993 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1901 0 0 0 89989 26 0 0 25 0 1 0 546200280 11706368 1897 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1897 231 231 0 2627 0
vsize: 11432
[startup+909.993 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1935 0 0 0 90984 31 0 0 25 0 1 0 546200280 11841536 1931 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1931 231 231 0 2660 0
vsize: 11564
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1935 0 0 0 91985 31 0 0 25 0 1 0 546200280 11841536 1931 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1931 231 231 0 2660 0
vsize: 11564
[startup+930.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 521
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1936 0 0 0 92985 31 0 0 25 0 1 0 546200280 11841536 1932 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1932 231 231 0 2660 0
vsize: 11564
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1941 0 0 0 93985 31 0 0 25 0 1 0 546200280 11841536 1937 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1937 231 231 0 2660 0
vsize: 11564
[startup+950.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1942 0 0 0 94985 31 0 0 25 0 1 0 546200280 11841536 1938 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1938 231 231 0 2660 0
vsize: 11564
[startup+960.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1942 0 0 0 95986 31 0 0 25 0 1 0 546200280 11841536 1938 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1938 231 231 0 2660 0
vsize: 11564
[startup+970 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1945 0 0 0 96986 31 0 0 25 0 1 0 546200280 11841536 1941 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1941 231 231 0 2660 0
vsize: 11564
[startup+980 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1945 0 0 0 97986 31 0 0 25 0 1 0 546200280 11841536 1941 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1941 231 231 0 2660 0
vsize: 11564
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1948 0 0 0 98986 31 0 0 25 0 1 0 546200280 11841536 1944 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1944 231 231 0 2660 0
vsize: 11564
[startup+999.999 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 1956 0 0 0 99985 32 0 0 25 0 1 0 546200280 11841536 1952 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1952 231 231 0 2660 0
vsize: 11564
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2152 0 0 0 100985 33 0 0 25 0 1 0 546200280 11976704 2148 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2148 231 231 0 2693 0
vsize: 11696
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2402 0 0 0 101985 34 0 0 25 0 1 0 546200280 12173312 2349 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2349 231 231 0 2741 0
vsize: 11888
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2525 0 0 0 102975 44 0 0 25 0 1 0 546200280 12173312 2472 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2472 231 231 0 2741 0
vsize: 11888
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2544 0 0 0 103975 44 0 0 25 0 1 0 546200280 12308480 2491 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2491 231 231 0 2774 0
vsize: 12020
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2559 0 0 0 104975 44 0 0 25 0 1 0 546200280 12308480 2506 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2506 231 231 0 2774 0
vsize: 12020
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2572 0 0 0 105975 44 0 0 25 0 1 0 546200280 12308480 2519 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2519 231 231 0 2774 0
vsize: 12020
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2587 0 0 0 106975 44 0 0 25 0 1 0 546200280 12308480 2534 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2534 231 231 0 2774 0
vsize: 12020
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2601 0 0 0 107975 44 0 0 25 0 1 0 546200280 12308480 2548 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2548 231 231 0 2774 0
vsize: 12020
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2606 0 0 0 108975 45 0 0 25 0 1 0 546200280 12308480 2553 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2553 231 231 0 2774 0
vsize: 12020
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2696 0 0 0 109974 46 0 0 25 0 1 0 546200280 12443648 2643 4294967295 134512640 135450300 3221224640 3221223376 134538424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3038 2643 231 231 0 2807 0
vsize: 12152
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2789 0 0 0 110962 60 0 0 25 0 1 0 546200280 12578816 2736 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2736 231 231 0 2840 0
vsize: 12284
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2925 0 0 0 111961 61 0 0 25 0 1 0 546200280 12713984 2872 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2872 231 231 0 2873 0
vsize: 12416
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2941 0 0 0 112961 61 0 0 25 0 1 0 546200280 12713984 2888 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2888 231 231 0 2873 0
vsize: 12416
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2952 0 0 0 113961 61 0 0 25 0 1 0 546200280 12713984 2899 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2899 231 231 0 2873 0
vsize: 12416
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2984 0 0 0 114961 62 0 0 25 0 1 0 546200280 12840960 2931 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2931 231 231 0 2904 0
vsize: 12540
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2993 0 0 0 115962 62 0 0 25 0 1 0 546200280 12840960 2940 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2940 231 231 0 2904 0
vsize: 12540
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 2995 0 0 0 116963 63 0 0 25 0 1 0 546200280 12840960 2942 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2942 231 231 0 2904 0
vsize: 12540
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 3002 0 0 0 117964 63 0 0 25 0 1 0 546200280 12840960 2949 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2949 231 231 0 2904 0
vsize: 12540
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 3002 0 0 0 118965 63 0 0 25 0 1 0 546200280 12840960 2949 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2949 231 231 0 2904 0
vsize: 12540
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 523
Raw data (stat): 515 (PBS4) R 514 20838 20837 0 -1 0 3003 0 0 0 119965 63 0 0 25 0 1 0 546200280 12840960 2950 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2950 231 231 0 2904 0
vsize: 12540
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 523
Raw data (stat): 515 (PBS4) Z 514 20838 20837 0 -1 1036 3003 0 0 0 119965 63 0 0 23 0 1 0 546200280 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.19
CPU time (s): 1200.29
CPU user time (s): 1199.65
CPU system time (s): 0.639902
CPU usage (%): 100.009
Max. virtual memory (Kb): 12540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####