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/logic-synthesis/normalized-prom2.pi.opb
MD5SUM	4a63080ba3e63c3b77e35782a700d569
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	330
Optimality of the best value was proved	NO
Number of terms in the objective function	2618
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	2618
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2618
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.71974
Number of variables	2617
Total number of constraints	1988
Number of constraints which are clauses	1988
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	1
Maximum length of a constraint	30
Trace number 7695

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-17 15:43:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=636 boxname=wulflinc30 idbench=71 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4a63080ba3e63c3b77e35782a700d569  /oldhome/oroussel/tmp/wulflinc30/normalized-prom2.pi.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-prom2.pi.opb
IDLAUNCH: 636
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        705040 kB
Buffers:         39180 kB
Cached:         249072 kB
SwapCached:          0 kB
Active:          88536 kB
Inactive:       202600 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704788 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            32896 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:03:08 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 636 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-prom2.pi.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.00 0.00 0.00 2/54 3175
Raw data (stat): 3175 (runsolver) R 3174 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511681697 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 332 0 0 0 984 14 0 0 25 0 1 0 511681697 2146304 328 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 524 328 231 231 0 293 0
vsize: 2096
[startup+20.0004 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 332 0 0 0 1969 30 0 0 25 0 1 0 511681697 2146304 328 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 524 328 231 231 0 293 0
vsize: 2096
[startup+30.0016 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 361 0 0 0 2952 47 0 0 25 0 1 0 511681697 2146304 357 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 524 357 231 231 0 293 0
vsize: 2096
[startup+40.0014 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 446 0 0 0 3945 54 0 0 25 0 1 0 511681697 2547712 442 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 622 442 231 231 0 391 0
vsize: 2488
[startup+50.0018 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 515 0 0 0 4945 55 0 0 25 0 1 0 511681697 3280896 511 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 801 511 231 231 0 570 0
vsize: 3204
[startup+60.0021 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 572 0 0 0 5944 55 0 0 25 0 1 0 511681697 3280896 568 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 801 568 231 231 0 570 0
vsize: 3204
[startup+70.0026 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 628 0 0 0 6944 56 0 0 25 0 1 0 511681697 4329472 624 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1057 624 231 231 0 826 0
vsize: 4228
[startup+80.0031 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 687 0 0 0 7943 56 0 0 25 0 1 0 511681697 4329472 683 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1057 683 231 231 0 826 0
vsize: 4228
[startup+90.0032 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 745 0 0 0 8943 57 0 0 25 0 1 0 511681697 4329472 741 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1057 741 231 231 0 826 0
vsize: 4228
[startup+100.004 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 803 0 0 0 9943 57 0 0 25 0 1 0 511681697 4329472 799 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1057 799 231 231 0 826 0
vsize: 4228
[startup+110.004 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 865 0 0 0 10943 57 0 0 25 0 1 0 511681697 4329472 861 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1057 861 231 231 0 826 0
vsize: 4228
[startup+120.005 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 924 0 0 0 11943 58 0 0 25 0 1 0 511681697 6426624 920 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 920 231 231 0 1338 0
vsize: 6276
[startup+130.005 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 984 0 0 0 12943 58 0 0 25 0 1 0 511681697 6426624 980 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 980 231 231 0 1338 0
vsize: 6276
[startup+140.005 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1045 0 0 0 13943 58 0 0 25 0 1 0 511681697 6426624 1041 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 1041 231 231 0 1338 0
vsize: 6276
[startup+150.006 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1106 0 0 0 14942 58 0 0 25 0 1 0 511681697 6426624 1102 4294967295 134512640 135450300 3221224640 3221223456 134546483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 1102 231 231 0 1338 0
vsize: 6276
[startup+160.007 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1168 0 0 0 15942 59 0 0 25 0 1 0 511681697 6426624 1164 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 1164 231 231 0 1338 0
vsize: 6276
[startup+170.006 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1232 0 0 0 16942 59 0 0 25 0 1 0 511681697 6426624 1228 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 1228 231 231 0 1338 0
vsize: 6276
[startup+180.006 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1288 0 0 0 17942 59 0 0 25 0 1 0 511681697 6426624 1284 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 1284 231 231 0 1338 0
vsize: 6276
[startup+190.007 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1345 0 0 0 18942 59 0 0 25 0 1 0 511681697 6426624 1341 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1569 1341 231 231 0 1338 0
vsize: 6276
[startup+200.007 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1402 0 0 0 19942 59 0 0 25 0 1 0 511681697 10620928 1398 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1398 231 231 0 2362 0
vsize: 10372
[startup+210.007 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1459 0 0 0 20942 60 0 0 25 0 1 0 511681697 10620928 1455 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1455 231 231 0 2362 0
vsize: 10372
[startup+220.007 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1517 0 0 0 21941 60 0 0 25 0 1 0 511681697 10620928 1513 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1513 231 231 0 2362 0
vsize: 10372
[startup+230.008 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1576 0 0 0 22941 61 0 0 25 0 1 0 511681697 10620928 1572 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1572 231 231 0 2362 0
vsize: 10372
[startup+240.008 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1637 0 0 0 23941 61 0 0 25 0 1 0 511681697 10620928 1633 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1633 231 231 0 2362 0
vsize: 10372
[startup+250.008 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1697 0 0 0 24940 62 0 0 25 0 1 0 511681697 10620928 1693 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1693 231 231 0 2362 0
vsize: 10372
[startup+260.009 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1754 0 0 0 25940 62 0 0 25 0 1 0 511681697 10620928 1750 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1750 231 231 0 2362 0
vsize: 10372
[startup+270.009 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1814 0 0 0 26940 62 0 0 25 0 1 0 511681697 10620928 1810 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1810 231 231 0 2362 0
vsize: 10372
[startup+280.01 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1872 0 0 0 27940 63 0 0 25 0 1 0 511681697 10620928 1868 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1868 231 231 0 2362 0
vsize: 10372
[startup+290.01 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1928 0 0 0 28939 63 0 0 25 0 1 0 511681697 10620928 1924 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1924 231 231 0 2362 0
vsize: 10372
[startup+300.012 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 1987 0 0 0 29939 64 0 0 25 0 1 0 511681697 10620928 1983 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1983 231 231 0 2362 0
vsize: 10372
[startup+310.012 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2046 0 0 0 30939 64 0 0 25 0 1 0 511681697 10620928 2042 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 2042 231 231 0 2362 0
vsize: 10372
[startup+320.011 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2107 0 0 0 31939 64 0 0 25 0 1 0 511681697 10620928 2103 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 2103 231 231 0 2362 0
vsize: 10372
[startup+330.013 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2170 0 0 0 32938 65 0 0 25 0 1 0 511681697 10620928 2166 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 2166 231 231 0 2362 0
vsize: 10372
[startup+340.012 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2232 0 0 0 33938 65 0 0 25 0 1 0 511681697 10620928 2228 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 2228 231 231 0 2362 0
vsize: 10372
[startup+350.013 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2296 0 0 0 34938 66 0 0 25 0 1 0 511681697 10620928 2292 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 2292 231 231 0 2362 0
vsize: 10372
[startup+360.014 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2361 0 0 0 35937 67 0 0 25 0 1 0 511681697 10620928 2357 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 2357 231 231 0 2362 0
vsize: 10372
[startup+370.014 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2425 0 0 0 36937 67 0 0 25 0 1 0 511681697 10620928 2421 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 2421 231 231 0 2362 0
vsize: 10372
[startup+380.014 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2489 0 0 0 37936 67 0 0 25 0 1 0 511681697 19009536 2485 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2485 231 231 0 4410 0
vsize: 18564
[startup+390.014 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2549 0 0 0 38936 68 0 0 25 0 1 0 511681697 19009536 2545 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2545 231 231 0 4410 0
vsize: 18564
[startup+400.015 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2607 0 0 0 39936 68 0 0 25 0 1 0 511681697 19009536 2603 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2603 231 231 0 4410 0
vsize: 18564
[startup+410.015 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2664 0 0 0 40936 69 0 0 25 0 1 0 511681697 19009536 2660 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2660 231 231 0 4410 0
vsize: 18564
[startup+420.016 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2722 0 0 0 41936 69 0 0 25 0 1 0 511681697 19009536 2718 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2718 231 231 0 4410 0
vsize: 18564
[startup+430.016 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2805 0 0 0 42935 69 0 0 25 0 1 0 511681697 19210240 2801 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 2801 231 231 0 4459 0
vsize: 18760
[startup+440.016 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2864 0 0 0 43935 70 0 0 25 0 1 0 511681697 19210240 2860 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 2860 231 231 0 4459 0
vsize: 18760
[startup+450.017 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2924 0 0 0 44935 70 0 0 25 0 1 0 511681697 19210240 2920 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 2920 231 231 0 4459 0
vsize: 18760
[startup+460.017 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 2984 0 0 0 45935 70 0 0 25 0 1 0 511681697 19210240 2980 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 2980 231 231 0 4459 0
vsize: 18760
[startup+470.017 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3045 0 0 0 46934 71 0 0 25 0 1 0 511681697 19210240 3041 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3041 231 231 0 4459 0
vsize: 18760
[startup+480.017 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3105 0 0 0 47934 71 0 0 25 0 1 0 511681697 19210240 3101 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3101 231 231 0 4459 0
vsize: 18760
[startup+490.017 s]
Raw data (loadavg): 1.06 0.81 0.40 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3164 0 0 0 48933 72 0 0 25 0 1 0 511681697 19210240 3160 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3160 231 231 0 4459 0
vsize: 18760
[startup+500.018 s]
Raw data (loadavg): 1.05 0.82 0.40 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3226 0 0 0 49934 72 0 0 25 0 1 0 511681697 19210240 3222 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3222 231 231 0 4459 0
vsize: 18760
[startup+510.018 s]
Raw data (loadavg): 1.04 0.83 0.41 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3287 0 0 0 50933 73 0 0 25 0 1 0 511681697 19210240 3283 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3283 231 231 0 4459 0
vsize: 18760
[startup+520.018 s]
Raw data (loadavg): 1.04 0.83 0.42 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3348 0 0 0 51933 73 0 0 25 0 1 0 511681697 19210240 3344 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3344 231 231 0 4459 0
vsize: 18760
[startup+530.018 s]
Raw data (loadavg): 1.03 0.83 0.42 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3410 0 0 0 52932 74 0 0 25 0 1 0 511681697 19210240 3406 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3406 231 231 0 4459 0
vsize: 18760
[startup+540.019 s]
Raw data (loadavg): 1.03 0.84 0.43 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3471 0 0 0 53932 74 0 0 25 0 1 0 511681697 19210240 3467 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3467 231 231 0 4459 0
vsize: 18760
[startup+550.019 s]
Raw data (loadavg): 1.02 0.84 0.43 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3534 0 0 0 54931 75 0 0 25 0 1 0 511681697 19210240 3530 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3530 231 231 0 4459 0
vsize: 18760
[startup+560.019 s]
Raw data (loadavg): 1.02 0.85 0.44 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3598 0 0 0 55931 76 0 0 25 0 1 0 511681697 19210240 3594 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3594 231 231 0 4459 0
vsize: 18760
[startup+570.019 s]
Raw data (loadavg): 1.01 0.85 0.45 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3662 0 0 0 56930 77 0 0 25 0 1 0 511681697 19210240 3658 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3658 231 231 0 4459 0
vsize: 18760
[startup+580.019 s]
Raw data (loadavg): 1.01 0.86 0.45 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3728 0 0 0 57929 77 0 0 25 0 1 0 511681697 19210240 3724 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3724 231 231 0 4459 0
vsize: 18760
[startup+590.019 s]
Raw data (loadavg): 1.01 0.86 0.46 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3796 0 0 0 58929 77 0 0 25 0 1 0 511681697 19210240 3792 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3792 231 231 0 4459 0
vsize: 18760
[startup+600.02 s]
Raw data (loadavg): 1.01 0.87 0.46 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3858 0 0 0 59929 78 0 0 25 0 1 0 511681697 19210240 3854 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3854 231 231 0 4459 0
vsize: 18760
[startup+610.021 s]
Raw data (loadavg): 1.01 0.87 0.47 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3915 0 0 0 60929 78 0 0 25 0 1 0 511681697 19210240 3911 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3911 231 231 0 4459 0
vsize: 18760
[startup+620.02 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 3974 0 0 0 61929 78 0 0 25 0 1 0 511681697 19210240 3970 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3970 231 231 0 4459 0
vsize: 18760
[startup+630.02 s]
Raw data (loadavg): 1.00 0.88 0.48 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4032 0 0 0 62928 79 0 0 25 0 1 0 511681697 19210240 4028 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4028 231 231 0 4459 0
vsize: 18760
[startup+640.021 s]
Raw data (loadavg): 1.00 0.88 0.48 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4089 0 0 0 63928 80 0 0 25 0 1 0 511681697 19210240 4085 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4085 231 231 0 4459 0
vsize: 18760
[startup+650.022 s]
Raw data (loadavg): 1.00 0.89 0.49 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4149 0 0 0 64928 80 0 0 25 0 1 0 511681697 19210240 4145 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4145 231 231 0 4459 0
vsize: 18760
[startup+660.022 s]
Raw data (loadavg): 1.00 0.89 0.49 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4211 0 0 0 65928 80 0 0 25 0 1 0 511681697 19210240 4207 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4207 231 231 0 4459 0
vsize: 18760
[startup+670.022 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4273 0 0 0 66927 81 0 0 25 0 1 0 511681697 19210240 4269 4294967295 134512640 135450300 3221224640 3221223504 134539222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4269 231 231 0 4459 0
vsize: 18760
[startup+680.022 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4336 0 0 0 67927 81 0 0 25 0 1 0 511681697 19210240 4332 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4332 231 231 0 4459 0
vsize: 18760
[startup+690.022 s]
Raw data (loadavg): 1.00 0.90 0.51 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4400 0 0 0 68927 81 0 0 25 0 1 0 511681697 19210240 4396 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4396 231 231 0 4459 0
vsize: 18760
[startup+700.023 s]
Raw data (loadavg): 1.00 0.90 0.51 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4462 0 0 0 69926 82 0 0 25 0 1 0 511681697 19210240 4458 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 4458 231 231 0 4459 0
vsize: 18760
[startup+710.023 s]
Raw data (loadavg): 1.00 0.90 0.52 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4529 0 0 0 70926 83 0 0 25 0 1 0 511681697 35987456 4525 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8786 4525 231 231 0 8555 0
vsize: 35144
[startup+720.023 s]
Raw data (loadavg): 1.00 0.91 0.52 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4590 0 0 0 71926 83 0 0 25 0 1 0 511681697 35987456 4586 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8786 4586 231 231 0 8555 0
vsize: 35144
[startup+730.024 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4649 0 0 0 72926 84 0 0 25 0 1 0 511681697 35987456 4645 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8786 4645 231 231 0 8555 0
vsize: 35144
[startup+740.024 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4709 0 0 0 73925 84 0 0 25 0 1 0 511681697 35987456 4705 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8786 4705 231 231 0 8555 0
vsize: 35144
[startup+750.024 s]
Raw data (loadavg): 1.00 0.91 0.54 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4768 0 0 0 74925 84 0 0 25 0 1 0 511681697 35987456 4764 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 4764 231 231 0 8555 0
vsize: 35144
[startup+760.024 s]
Raw data (loadavg): 1.00 0.92 0.54 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4828 0 0 0 75925 84 0 0 25 0 1 0 511681697 35987456 4824 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 4824 231 231 0 8555 0
vsize: 35144
[startup+770.024 s]
Raw data (loadavg): 1.00 0.92 0.54 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4891 0 0 0 76925 84 0 0 25 0 1 0 511681697 35987456 4887 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 4887 231 231 0 8555 0
vsize: 35144
[startup+780.025 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 4955 0 0 0 77925 84 0 0 25 0 1 0 511681697 35987456 4951 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 4951 231 231 0 8555 0
vsize: 35144
[startup+790.024 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5018 0 0 0 78925 85 0 0 25 0 1 0 511681697 35987456 5014 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5014 231 231 0 8555 0
vsize: 35144
[startup+800.024 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5081 0 0 0 79925 85 0 0 25 0 1 0 511681697 35987456 5077 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5077 231 231 0 8555 0
vsize: 35144
[startup+810.024 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5148 0 0 0 80925 85 0 0 25 0 1 0 511681697 35987456 5144 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5144 231 231 0 8555 0
vsize: 35144
[startup+820.024 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5212 0 0 0 81925 85 0 0 25 0 1 0 511681697 35987456 5208 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5208 231 231 0 8555 0
vsize: 35144
[startup+830.023 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5280 0 0 0 82925 86 0 0 25 0 1 0 511681697 35987456 5276 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5276 231 231 0 8555 0
vsize: 35144
[startup+840.024 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5345 0 0 0 83924 86 0 0 25 0 1 0 511681697 35987456 5341 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5341 231 231 0 8555 0
vsize: 35144
[startup+850.024 s]
Raw data (loadavg): 1.00 0.93 0.58 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5410 0 0 0 84925 86 0 0 25 0 1 0 511681697 35987456 5406 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5406 231 231 0 8555 0
vsize: 35144
[startup+860.024 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5477 0 0 0 85925 86 0 0 25 0 1 0 511681697 35987456 5473 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5473 231 231 0 8555 0
vsize: 35144
[startup+870.024 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5544 0 0 0 86924 87 0 0 25 0 1 0 511681697 35987456 5540 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5540 231 231 0 8555 0
vsize: 35144
[startup+880.024 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5611 0 0 0 87925 87 0 0 25 0 1 0 511681697 35987456 5607 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5607 231 231 0 8555 0
vsize: 35144
[startup+890.024 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5680 0 0 0 88925 87 0 0 25 0 1 0 511681697 35987456 5676 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5676 231 231 0 8555 0
vsize: 35144
[startup+900.025 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5742 0 0 0 89924 88 0 0 25 0 1 0 511681697 35987456 5738 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5738 231 231 0 8555 0
vsize: 35144
[startup+910.025 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5800 0 0 0 90924 88 0 0 25 0 1 0 511681697 35987456 5796 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5796 231 231 0 8555 0
vsize: 35144
[startup+920.025 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5859 0 0 0 91924 88 0 0 25 0 1 0 511681697 35987456 5855 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5855 231 231 0 8555 0
vsize: 35144
[startup+930.025 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5917 0 0 0 92924 88 0 0 25 0 1 0 511681697 35987456 5913 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5913 231 231 0 8555 0
vsize: 35144
[startup+940.025 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 5977 0 0 0 93924 88 0 0 25 0 1 0 511681697 35987456 5973 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5973 231 231 0 8555 0
vsize: 35144
[startup+950.025 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6037 0 0 0 94924 88 0 0 25 0 1 0 511681697 35987456 6033 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6033 231 231 0 8555 0
vsize: 35144
[startup+960.026 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6098 0 0 0 95925 88 0 0 25 0 1 0 511681697 35987456 6094 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6094 231 231 0 8555 0
vsize: 35144
[startup+970.025 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6161 0 0 0 96924 89 0 0 25 0 1 0 511681697 35987456 6157 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6157 231 231 0 8555 0
vsize: 35144
[startup+980.026 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6222 0 0 0 97924 89 0 0 25 0 1 0 511681697 35987456 6218 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6218 231 231 0 8555 0
vsize: 35144
[startup+990.026 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6285 0 0 0 98924 89 0 0 25 0 1 0 511681697 35987456 6281 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6281 231 231 0 8555 0
vsize: 35144
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6348 0 0 0 99924 90 0 0 25 0 1 0 511681697 35987456 6344 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6344 231 231 0 8555 0
vsize: 35144
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6412 0 0 0 100924 90 0 0 25 0 1 0 511681697 35987456 6408 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6408 231 231 0 8555 0
vsize: 35144
[startup+1020.24 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 3175
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6479 0 0 0 101945 90 0 0 25 0 1 0 511681697 35987456 6475 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6475 231 231 0 8555 0
vsize: 35144
[startup+1030.24 s]
Raw data (loadavg): 1.07 0.97 0.65 2/58 3218
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6545 0 0 0 102945 91 0 0 25 0 1 0 511681697 35987456 6541 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6541 231 231 0 8555 0
vsize: 35144
[startup+1040.24 s]
Raw data (loadavg): 1.21 1.00 0.66 2/54 3228
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6611 0 0 0 103945 91 0 0 25 0 1 0 511681697 35987456 6607 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6607 231 231 0 8555 0
vsize: 35144
[startup+1050.44 s]
Raw data (loadavg): 1.18 1.00 0.67 2/54 3228
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6680 0 0 0 104965 91 0 0 25 0 1 0 511681697 35987456 6676 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6676 231 231 0 8555 0
vsize: 35144
[startup+1060.44 s]
Raw data (loadavg): 1.15 1.00 0.67 2/54 3228
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6748 0 0 0 105964 91 0 0 25 0 1 0 511681697 35987456 6744 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6744 231 231 0 8555 0
vsize: 35144
[startup+1070.44 s]
Raw data (loadavg): 1.12 1.00 0.67 2/54 3228
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6808 0 0 0 106964 92 0 0 25 0 1 0 511681697 35987456 6804 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6804 231 231 0 8555 0
vsize: 35144
[startup+1080.44 s]
Raw data (loadavg): 1.11 1.00 0.68 2/54 3228
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6867 0 0 0 107964 92 0 0 25 0 1 0 511681697 35987456 6863 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6863 231 231 0 8555 0
vsize: 35144
[startup+1090.44 s]
Raw data (loadavg): 1.09 1.00 0.68 2/54 3228
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6927 0 0 0 108965 92 0 0 25 0 1 0 511681697 35987456 6923 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6923 231 231 0 8555 0
vsize: 35144
[startup+1100.44 s]
Raw data (loadavg): 1.07 1.00 0.68 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 6986 0 0 0 109964 92 0 0 25 0 1 0 511681697 35987456 6982 4294967295 134512640 135450300 3221224640 3221223456 134546477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 6982 231 231 0 8555 0
vsize: 35144
[startup+1110.44 s]
Raw data (loadavg): 1.06 1.00 0.68 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7048 0 0 0 110964 92 0 0 25 0 1 0 511681697 35987456 7044 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 7044 231 231 0 8555 0
vsize: 35144
[startup+1120.44 s]
Raw data (loadavg): 1.05 1.00 0.69 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7109 0 0 0 111964 92 0 0 25 0 1 0 511681697 35987456 7105 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 7105 231 231 0 8555 0
vsize: 35144
[startup+1130.44 s]
Raw data (loadavg): 1.04 1.00 0.69 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7170 0 0 0 112964 92 0 0 25 0 1 0 511681697 35987456 7166 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 7166 231 231 0 8555 0
vsize: 35144
[startup+1140.44 s]
Raw data (loadavg): 1.04 1.00 0.69 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7232 0 0 0 113964 93 0 0 25 0 1 0 511681697 35987456 7228 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 7228 231 231 0 8555 0
vsize: 35144
[startup+1150.44 s]
Raw data (loadavg): 1.11 1.02 0.70 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7293 0 0 0 114964 93 0 0 25 0 1 0 511681697 35987456 7289 4294967295 134512640 135450300 3221224640 3221223456 134547513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 7289 231 231 0 8555 0
vsize: 35144
[startup+1160.44 s]
Raw data (loadavg): 1.09 1.02 0.70 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7356 0 0 0 115964 93 0 0 25 0 1 0 511681697 35987456 7352 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 7352 231 231 0 8555 0
vsize: 35144
[startup+1170.44 s]
Raw data (loadavg): 1.08 1.01 0.71 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7468 0 0 0 116964 93 0 0 25 0 1 0 511681697 36184064 7415 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7415 231 231 0 8603 0
vsize: 35336
[startup+1180.44 s]
Raw data (loadavg): 1.07 1.01 0.71 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7533 0 0 0 117964 94 0 0 25 0 1 0 511681697 36184064 7480 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7480 231 231 0 8603 0
vsize: 35336
[startup+1190.44 s]
Raw data (loadavg): 1.06 1.01 0.71 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7597 0 0 0 118964 94 0 0 25 0 1 0 511681697 36184064 7544 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7544 231 231 0 8603 0
vsize: 35336
[startup+1200.44 s]
Raw data (loadavg): 1.05 1.01 0.72 2/54 3230
Raw data (stat): 3175 (PBS4) R 3174 11931 11930 0 -1 0 7662 0 0 0 119964 94 0 0 25 0 1 0 511681697 36184064 7609 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7609 231 231 0 8603 0
vsize: 35336
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.45 s]
Raw data (loadavg): 1.05 1.01 0.72 1/54 3230
Raw data (stat): 3175 (PBS4) Z 3174 11931 11930 0 -1 1036 7662 0 0 0 119964 96 0 0 25 0 1 0 511681697 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.45
CPU time (s): 1200.6
CPU user time (s): 1199.64
CPU system time (s): 0.961853
CPU usage (%): 100.013
Max. virtual memory (Kb): 35336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####