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-ex5.pi.opb
MD5SUM	ebc55cfc194a279163f52418008eccf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65
Optimality of the best value was proved	NO
Number of terms in the objective function	2460
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	2460
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	2460
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.11783
Number of variables	2459
Total number of constraints	873
Number of constraints which are clauses	873
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	146
Trace number 7690

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        851228 kB
Buffers:         37940 kB
Cached:         124152 kB
SwapCached:        564 kB
Active:          68516 kB
Inactive:        96932 kB
HighTotal:      131008 kB
HighFree:         2940 kB
LowTotal:       903652 kB
LowFree:        848288 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12396 kB
Committed_AS:    63476 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:02:02 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 600 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-ex5.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.08 0.02 0.01 2/54 24901
Raw data (stat): 24901 (runsolver) R 24900 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453456609 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0004 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 363 0 0 0 983 16 0 0 25 0 1 0 453456609 2215936 359 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 541 359 231 231 0 310 0
vsize: 2164
[startup+20.0015 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 363 0 0 0 1967 32 0 0 25 0 1 0 453456609 2215936 359 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 541 359 231 231 0 310 0
vsize: 2164
[startup+30.0018 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 363 0 0 0 2951 48 0 0 25 0 1 0 453456609 2215936 359 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 541 359 231 231 0 310 0
vsize: 2164
[startup+40.0015 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 370 0 0 0 3934 66 0 0 25 0 1 0 453456609 2351104 366 4294967295 134512640 135450300 3221224640 3221223456 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 574 366 231 231 0 343 0
vsize: 2296
[startup+50.0029 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 483 0 0 0 4904 95 0 0 25 0 1 0 453456609 2617344 479 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 639 479 231 231 0 408 0
vsize: 2556
[startup+60.003 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 639 0 0 0 5903 96 0 0 25 0 1 0 453456609 4333568 635 4294967295 134512640 135450300 3221224640 3221223568 134539744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1058 635 231 231 0 827 0
vsize: 4232
[startup+70.0036 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 850 0 0 0 6902 98 0 0 25 0 1 0 453456609 4333568 846 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1058 846 231 231 0 827 0
vsize: 4232
[startup+80.0048 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1059 0 0 0 7901 99 0 0 25 0 1 0 453456609 6430720 1055 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1570 1055 231 231 0 1339 0
vsize: 6280
[startup+90.0041 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1286 0 0 0 8900 100 0 0 25 0 1 0 453456609 6430720 1282 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1570 1282 231 231 0 1339 0
vsize: 6280
[startup+100.004 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1530 0 0 0 9899 101 0 0 25 0 1 0 453456609 10625024 1526 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1526 231 231 0 2363 0
vsize: 10376
[startup+110.004 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1737 0 0 0 10898 102 0 0 25 0 1 0 453456609 10625024 1733 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1733 231 231 0 2363 0
vsize: 10376
[startup+120.004 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1950 0 0 0 11897 104 0 0 25 0 1 0 453456609 10625024 1946 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1946 231 231 0 2363 0
vsize: 10376
[startup+130.004 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2120 0 0 0 12896 104 0 0 25 0 1 0 453456609 10625024 2116 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 2116 231 231 0 2363 0
vsize: 10376
[startup+140.004 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2299 0 0 0 13896 105 0 0 25 0 1 0 453456609 10625024 2295 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 2295 231 231 0 2363 0
vsize: 10376
[startup+150.004 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2461 0 0 0 14895 106 0 0 25 0 1 0 453456609 10760192 2457 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2627 2457 231 231 0 2396 0
vsize: 10508
[startup+160.004 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2542 0 0 0 15891 109 0 0 25 0 1 0 453456609 19148800 2538 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4675 2538 231 231 0 4444 0
vsize: 18700
[startup+170.005 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2602 0 0 0 16891 110 0 0 25 0 1 0 453456609 19288064 2598 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 2598 231 231 0 4478 0
vsize: 18836
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2654 0 0 0 17891 110 0 0 25 0 1 0 453456609 19288064 2650 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 2650 231 231 0 4478 0
vsize: 18836
[startup+190.005 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2714 0 0 0 18890 111 0 0 25 0 1 0 453456609 19288064 2710 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 2710 231 231 0 4478 0
vsize: 18836
[startup+200.005 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2765 0 0 0 19890 111 0 0 25 0 1 0 453456609 19288064 2761 4294967295 134512640 135450300 3221224640 3221223544 134580065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 2761 231 231 0 4478 0
vsize: 18836
[startup+210.005 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2817 0 0 0 20890 112 0 0 25 0 1 0 453456609 19288064 2813 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 2813 231 231 0 4478 0
vsize: 18836
[startup+220.005 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2897 0 0 0 21890 112 0 0 25 0 1 0 453456609 19488768 2893 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 2893 231 231 0 4527 0
vsize: 19032
[startup+230.005 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2953 0 0 0 22889 112 0 0 25 0 1 0 453456609 19488768 2949 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 2949 231 231 0 4527 0
vsize: 19032
[startup+240.005 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3021 0 0 0 23889 113 0 0 25 0 1 0 453456609 19488768 3017 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 3017 231 231 0 4527 0
vsize: 19032
[startup+250.005 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3074 0 0 0 24889 113 0 0 25 0 1 0 453456609 19488768 3070 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 3070 231 231 0 4527 0
vsize: 19032
[startup+260.006 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3139 0 0 0 25889 113 0 0 25 0 1 0 453456609 19488768 3135 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3135 231 231 0 4527 0
vsize: 19032
[startup+270.007 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3198 0 0 0 26889 113 0 0 25 0 1 0 453456609 19488768 3194 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3194 231 231 0 4527 0
vsize: 19032
[startup+280.006 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3250 0 0 0 27889 114 0 0 25 0 1 0 453456609 19488768 3246 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3246 231 231 0 4527 0
vsize: 19032
[startup+290.006 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3304 0 0 0 28889 114 0 0 25 0 1 0 453456609 19488768 3300 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3300 231 231 0 4527 0
vsize: 19032
[startup+300.007 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3367 0 0 0 29889 114 0 0 25 0 1 0 453456609 19488768 3363 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3363 231 231 0 4527 0
vsize: 19032
[startup+310.006 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3432 0 0 0 30889 114 0 0 25 0 1 0 453456609 19488768 3428 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3428 231 231 0 4527 0
vsize: 19032
[startup+320.007 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3491 0 0 0 31889 114 0 0 25 0 1 0 453456609 19488768 3487 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3487 231 231 0 4527 0
vsize: 19032
[startup+330.007 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3547 0 0 0 32889 115 0 0 25 0 1 0 453456609 19488768 3543 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3543 231 231 0 4527 0
vsize: 19032
[startup+340.007 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3598 0 0 0 33888 115 0 0 25 0 1 0 453456609 19488768 3594 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3594 231 231 0 4527 0
vsize: 19032
[startup+350.007 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3662 0 0 0 34888 115 0 0 25 0 1 0 453456609 19488768 3658 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3658 231 231 0 4527 0
vsize: 19032
[startup+360.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3723 0 0 0 35888 116 0 0 25 0 1 0 453456609 19488768 3719 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3719 231 231 0 4527 0
vsize: 19032
[startup+370.008 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3797 0 0 0 36888 116 0 0 25 0 1 0 453456609 19488768 3793 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3793 231 231 0 4527 0
vsize: 19032
[startup+380.008 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3870 0 0 0 37888 116 0 0 25 0 1 0 453456609 19488768 3866 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3866 231 231 0 4527 0
vsize: 19032
[startup+390.007 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3932 0 0 0 38888 117 0 0 25 0 1 0 453456609 19488768 3928 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3928 231 231 0 4527 0
vsize: 19032
[startup+400.008 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4003 0 0 0 39888 117 0 0 25 0 1 0 453456609 19488768 3999 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3999 231 231 0 4527 0
vsize: 19032
[startup+410.008 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4074 0 0 0 40888 117 0 0 25 0 1 0 453456609 19488768 4070 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4070 231 231 0 4527 0
vsize: 19032
[startup+420.009 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4153 0 0 0 41888 118 0 0 25 0 1 0 453456609 19488768 4149 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4149 231 231 0 4527 0
vsize: 19032
[startup+430.009 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4229 0 0 0 42887 118 0 0 25 0 1 0 453456609 19488768 4225 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4225 231 231 0 4527 0
vsize: 19032
[startup+440.009 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4305 0 0 0 43887 118 0 0 25 0 1 0 453456609 19488768 4301 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4301 231 231 0 4527 0
vsize: 19032
[startup+450.009 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4374 0 0 0 44887 118 0 0 25 0 1 0 453456609 19488768 4370 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4370 231 231 0 4527 0
vsize: 19032
[startup+460.009 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4449 0 0 0 45887 119 0 0 25 0 1 0 453456609 19488768 4445 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4445 231 231 0 4527 0
vsize: 19032
[startup+470.009 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4526 0 0 0 46887 119 0 0 25 0 1 0 453456609 19488768 4522 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4522 231 231 0 4527 0
vsize: 19032
[startup+480.009 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4585 0 0 0 47887 119 0 0 25 0 1 0 453456609 19488768 4581 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 4581 231 231 0 4527 0
vsize: 19032
[startup+490.008 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4643 0 0 0 48887 119 0 0 25 0 1 0 453456609 36265984 4639 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 4639 231 231 0 8623 0
vsize: 35416
[startup+500.009 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4702 0 0 0 49887 119 0 0 25 0 1 0 453456609 36265984 4698 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 4698 231 231 0 8623 0
vsize: 35416
[startup+510.009 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4763 0 0 0 50887 119 0 0 25 0 1 0 453456609 36265984 4759 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 4759 231 231 0 8623 0
vsize: 35416
[startup+520.009 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4815 0 0 0 51887 120 0 0 25 0 1 0 453456609 36265984 4811 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 4811 231 231 0 8623 0
vsize: 35416
[startup+530.01 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4875 0 0 0 52887 120 0 0 25 0 1 0 453456609 36265984 4871 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 4871 231 231 0 8623 0
vsize: 35416
[startup+540.01 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4938 0 0 0 53887 120 0 0 25 0 1 0 453456609 36265984 4934 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 4934 231 231 0 8623 0
vsize: 35416
[startup+550.01 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5002 0 0 0 54888 120 0 0 25 0 1 0 453456609 36265984 4998 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 4998 231 231 0 8623 0
vsize: 35416
[startup+560.011 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5069 0 0 0 55888 120 0 0 25 0 1 0 453456609 36265984 5065 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5065 231 231 0 8623 0
vsize: 35416
[startup+570.011 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5130 0 0 0 56888 120 0 0 25 0 1 0 453456609 36265984 5126 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5126 231 231 0 8623 0
vsize: 35416
[startup+580.011 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5192 0 0 0 57887 121 0 0 25 0 1 0 453456609 36265984 5188 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5188 231 231 0 8623 0
vsize: 35416
[startup+590.011 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5245 0 0 0 58887 121 0 0 25 0 1 0 453456609 36265984 5241 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5241 231 231 0 8623 0
vsize: 35416
[startup+600.012 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5298 0 0 0 59887 121 0 0 25 0 1 0 453456609 36265984 5294 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5294 231 231 0 8623 0
vsize: 35416
[startup+610.012 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5394 0 0 0 60885 124 0 0 25 0 1 0 453456609 36405248 5390 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8888 5390 231 231 0 8657 0
vsize: 35552
[startup+620.012 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5541 0 0 0 61883 126 0 0 25 0 1 0 453456609 36691968 5537 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 5537 231 231 0 8727 0
vsize: 35832
[startup+630.011 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5639 0 0 0 62881 128 0 0 25 0 1 0 453456609 36839424 5635 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8994 5635 231 231 0 8763 0
vsize: 35976
[startup+640.011 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5756 0 0 0 63880 129 0 0 25 0 1 0 453456609 36974592 5752 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9027 5752 231 231 0 8796 0
vsize: 36108
[startup+650.011 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5837 0 0 0 64880 130 0 0 25 0 1 0 453456609 36974592 5833 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9027 5833 231 231 0 8796 0
vsize: 36108
[startup+660.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5964 0 0 0 65880 130 0 0 25 0 1 0 453456609 37171200 5911 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9075 5911 231 231 0 8844 0
vsize: 36300
[startup+670.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6075 0 0 0 66878 132 0 0 25 0 1 0 453456609 37171200 6022 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9075 6022 231 231 0 8844 0
vsize: 36300
[startup+680.011 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6342 0 0 0 67873 137 0 0 25 0 1 0 453456609 37171200 6289 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9075 6289 231 231 0 8844 0
vsize: 36300
[startup+690.011 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6549 0 0 0 68872 139 0 0 25 0 1 0 453456609 37314560 6496 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6496 231 231 0 8879 0
vsize: 36440
[startup+700.011 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6550 0 0 0 69870 140 0 0 25 0 1 0 453456609 37314560 6497 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6497 231 231 0 8879 0
vsize: 36440
[startup+710.011 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6551 0 0 0 70868 142 0 0 25 0 1 0 453456609 37314560 6498 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6498 231 231 0 8879 0
vsize: 36440
[startup+720.012 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6552 0 0 0 71868 143 0 0 25 0 1 0 453456609 37314560 6499 4294967295 134512640 135450300 3221224640 3221223024 134579382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6499 231 231 0 8879 0
vsize: 36440
[startup+730.012 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6553 0 0 0 72868 143 0 0 25 0 1 0 453456609 37314560 6500 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6500 231 231 0 8879 0
vsize: 36440
[startup+740.012 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6554 0 0 0 73868 143 0 0 25 0 1 0 453456609 37314560 6501 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6501 231 231 0 8879 0
vsize: 36440
[startup+750.013 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6558 0 0 0 74868 143 0 0 25 0 1 0 453456609 37314560 6505 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6505 231 231 0 8879 0
vsize: 36440
[startup+760.012 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6564 0 0 0 75865 147 0 0 25 0 1 0 453456609 37314560 6511 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6511 231 231 0 8879 0
vsize: 36440
[startup+770.014 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6572 0 0 0 76865 147 0 0 25 0 1 0 453456609 37314560 6519 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6519 231 231 0 8879 0
vsize: 36440
[startup+780.014 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6572 0 0 0 77863 149 0 0 25 0 1 0 453456609 37314560 6519 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6519 231 231 0 8879 0
vsize: 36440
[startup+790.014 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6573 0 0 0 78862 151 0 0 25 0 1 0 453456609 37314560 6520 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6520 231 231 0 8879 0
vsize: 36440
[startup+800.014 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6574 0 0 0 79861 151 0 0 25 0 1 0 453456609 37314560 6521 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6521 231 231 0 8879 0
vsize: 36440
[startup+810.014 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6575 0 0 0 80861 151 0 0 25 0 1 0 453456609 37314560 6522 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6522 231 231 0 8879 0
vsize: 36440
[startup+820.015 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6576 0 0 0 81861 151 0 0 25 0 1 0 453456609 37314560 6523 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6523 231 231 0 8879 0
vsize: 36440
[startup+830.015 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6576 0 0 0 82862 151 0 0 25 0 1 0 453456609 37314560 6523 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6523 231 231 0 8879 0
vsize: 36440
[startup+840.015 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6577 0 0 0 83862 151 0 0 25 0 1 0 453456609 37314560 6524 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6524 231 231 0 8879 0
vsize: 36440
[startup+850.015 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6588 0 0 0 84858 155 0 0 25 0 1 0 453456609 37314560 6535 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6535 231 231 0 8879 0
vsize: 36440
[startup+860.015 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6590 0 0 0 85858 155 0 0 25 0 1 0 453456609 37314560 6537 4294967295 134512640 135450300 3221224640 3221223376 134537885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6537 231 231 0 8879 0
vsize: 36440
[startup+870.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6602 0 0 0 86856 158 0 0 25 0 1 0 453456609 37441536 6549 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6549 231 231 0 8910 0
vsize: 36564
[startup+880.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6603 0 0 0 87855 159 0 0 25 0 1 0 453456609 37441536 6550 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6550 231 231 0 8910 0
vsize: 36564
[startup+890.016 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6606 0 0 0 88855 159 0 0 25 0 1 0 453456609 37441536 6553 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6553 231 231 0 8910 0
vsize: 36564
[startup+900.017 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6607 0 0 0 89855 159 0 0 25 0 1 0 453456609 37441536 6554 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6554 231 231 0 8910 0
vsize: 36564
[startup+910.017 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6608 0 0 0 90856 159 0 0 25 0 1 0 453456609 37441536 6555 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6555 231 231 0 8910 0
vsize: 36564
[startup+920.018 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6608 0 0 0 91856 159 0 0 25 0 1 0 453456609 37441536 6555 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6555 231 231 0 8910 0
vsize: 36564
[startup+930.018 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6609 0 0 0 92856 159 0 0 25 0 1 0 453456609 37441536 6556 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6556 231 231 0 8910 0
vsize: 36564
[startup+940.017 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6616 0 0 0 93852 163 0 0 25 0 1 0 453456609 37441536 6563 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6563 231 231 0 8910 0
vsize: 36564
[startup+950.018 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6618 0 0 0 94853 163 0 0 25 0 1 0 453456609 37441536 6565 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9141 6565 231 231 0 8910 0
vsize: 36564
[startup+960.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6633 0 0 0 95850 165 0 0 25 0 1 0 453456609 37580800 6580 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9175 6580 231 231 0 8944 0
vsize: 36700
[startup+970.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6664 0 0 0 96849 167 0 0 25 0 1 0 453456609 37715968 6611 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6611 231 231 0 8977 0
vsize: 36832
[startup+980.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6665 0 0 0 97849 167 0 0 25 0 1 0 453456609 37715968 6612 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6612 231 231 0 8977 0
vsize: 36832
[startup+990.018 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6665 0 0 0 98849 167 0 0 25 0 1 0 453456609 37715968 6612 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6612 231 231 0 8977 0
vsize: 36832
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6666 0 0 0 99849 167 0 0 25 0 1 0 453456609 37715968 6613 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6613 231 231 0 8977 0
vsize: 36832
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6681 0 0 0 100846 171 0 0 25 0 1 0 453456609 37715968 6628 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6628 231 231 0 8977 0
vsize: 36832
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6683 0 0 0 101843 174 0 0 25 0 1 0 453456609 37715968 6630 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6630 231 231 0 8977 0
vsize: 36832
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6692 0 0 0 102840 177 0 0 25 0 1 0 453456609 37715968 6639 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6639 231 231 0 8977 0
vsize: 36832
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6703 0 0 0 103839 178 0 0 25 0 1 0 453456609 37715968 6650 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9208 6650 231 231 0 8977 0
vsize: 36832
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6724 0 0 0 104838 179 0 0 25 0 1 0 453456609 37851136 6671 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9241 6671 231 231 0 9010 0
vsize: 36964
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6724 0 0 0 105839 179 0 0 25 0 1 0 453456609 37851136 6671 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9241 6671 231 231 0 9010 0
vsize: 36964
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6725 0 0 0 106839 179 0 0 25 0 1 0 453456609 37851136 6672 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9241 6672 231 231 0 9010 0
vsize: 36964
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 24901
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6726 0 0 0 107839 179 0 0 25 0 1 0 453456609 37851136 6673 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9241 6673 231 231 0 9010 0
vsize: 36964
[startup+1090.02 s]
Raw data (loadavg): 1.07 0.97 0.66 3/57 24936
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6738 0 0 0 108834 184 0 0 25 0 1 0 453456609 37965824 6685 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9269 6685 231 231 0 9038 0
vsize: 37076
[startup+1100.02 s]
Raw data (loadavg): 1.14 0.99 0.67 2/58 24944
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6739 0 0 0 109833 185 0 0 25 0 1 0 453456609 37965824 6686 4294967295 134512640 135450300 3221224640 3221223568 134539668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9269 6686 231 231 0 9038 0
vsize: 37076
[startup+1110.11 s]
Raw data (loadavg): 1.27 1.02 0.69 3/58 24954
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6741 0 0 0 110842 185 0 0 25 0 1 0 453456609 37965824 6688 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9269 6688 231 231 0 9038 0
vsize: 37076
[startup+1120.11 s]
Raw data (loadavg): 1.23 1.02 0.69 2/54 24954
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6775 0 0 0 111840 186 0 0 25 0 1 0 453456609 38113280 6722 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9305 6722 231 231 0 9074 0
vsize: 37220
[startup+1130.11 s]
Raw data (loadavg): 1.19 1.02 0.69 2/54 24954
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6875 0 0 0 112838 189 0 0 25 0 1 0 453456609 38506496 6725 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6725 231 231 0 9170 0
vsize: 37604
[startup+1140.11 s]
Raw data (loadavg): 1.16 1.02 0.70 2/54 24954
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6875 0 0 0 113838 189 0 0 25 0 1 0 453456609 38506496 6725 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6725 231 231 0 9170 0
vsize: 37604
[startup+1150.11 s]
Raw data (loadavg): 1.14 1.02 0.70 2/54 24954
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6876 0 0 0 114839 189 0 0 25 0 1 0 453456609 38506496 6726 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6726 231 231 0 9170 0
vsize: 37604
[startup+1160.11 s]
Raw data (loadavg): 1.11 1.02 0.70 2/54 24954
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6877 0 0 0 115839 189 0 0 25 0 1 0 453456609 38506496 6727 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6727 231 231 0 9170 0
vsize: 37604
[startup+1170.11 s]
Raw data (loadavg): 1.10 1.02 0.70 2/54 24954
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6889 0 0 0 116839 189 0 0 25 0 1 0 453456609 38506496 6739 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6739 231 231 0 9170 0
vsize: 37604
[startup+1180.11 s]
Raw data (loadavg): 1.08 1.02 0.71 2/54 24956
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6891 0 0 0 117839 189 0 0 25 0 1 0 453456609 38506496 6741 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6741 231 231 0 9170 0
vsize: 37604
[startup+1190.11 s]
Raw data (loadavg): 1.07 1.02 0.71 2/54 24956
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6905 0 0 0 118837 191 0 0 25 0 1 0 453456609 38506496 6755 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6755 231 231 0 9170 0
vsize: 37604
[startup+1200.11 s]
Raw data (loadavg): 1.06 1.02 0.71 2/54 24956
Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6912 0 0 0 119835 193 0 0 25 0 1 0 453456609 38649856 6762 4294967295 134512640 135450300 3221224640 3221223392 135068642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9436 6762 231 231 0 9205 0
vsize: 37744
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.06 1.02 0.71 1/54 24956
Raw data (stat): 24901 (PBS4) Z 24900 30854 30853 0 -1 1036 6912 0 0 0 119836 194 0 0 25 0 1 0 453456609 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.13
CPU time (s): 1200.31
CPU user time (s): 1198.36
CPU system time (s): 1.9467
CPU usage (%): 100.015
Max. virtual memory (Kb): 37744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####