PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUM	430910c9a5d64dfdcfdaccb49935c3d0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1931
Optimality of the best value was proved	NO
Number of terms in the objective function	3862
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	3862
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	3862
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	21.5857
Number of variables	3862
Total number of constraints	16399
Number of constraints which are clauses	16399
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	8
Trace number 7709

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-17 15:58:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1212 boxname=wulflinc6 idbench=135 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  430910c9a5d64dfdcfdaccb49935c3d0  /oldhome/oroussel/tmp/wulflinc6/normalized-hanoi5.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc6/normalized-hanoi5.opb
IDLAUNCH: 1212
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        828088 kB
Buffers:         37552 kB
Cached:         145240 kB
SwapCached:       2644 kB
Active:          68648 kB
Inactive:       119684 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        827808 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12632 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:18:59 (client local time) WITH STATUS 0 IN 1200.96 SECONDS
stats: 1212 7 1200.96 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc6/normalized-hanoi5.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.92 0.95 0.69 2/54 20566
Raw data (stat): 20566 (runsolver) R 20565 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453557645 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.95 0.69 2/54 20566
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 805 0 0 0 997 1 0 0 25 0 1 0 453557645 3706880 649 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 905 649 231 231 0 674 0
vsize: 3620
[startup+19.9997 s]
Raw data (loadavg): 0.94 0.95 0.70 2/54 20566
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 844 0 0 0 1997 2 0 0 25 0 1 0 453557645 4231168 688 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1033 688 231 231 0 802 0
vsize: 4132
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.96 0.70 2/54 20566
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 894 0 0 0 2997 2 0 0 25 0 1 0 453557645 4366336 738 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1066 738 231 231 0 835 0
vsize: 4264
[startup+39.9993 s]
Raw data (loadavg): 0.96 0.96 0.70 2/54 20566
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 940 0 0 0 3997 3 0 0 25 0 1 0 453557645 4366336 784 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1066 784 231 231 0 835 0
vsize: 4264
[startup+49.9992 s]
Raw data (loadavg): 0.96 0.96 0.70 2/54 20566
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 990 0 0 0 4997 3 0 0 25 0 1 0 453557645 4501504 834 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1099 834 231 231 0 868 0
vsize: 4396
[startup+59.9983 s]
Raw data (loadavg): 0.97 0.96 0.71 2/54 20566
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1030 0 0 0 5996 4 0 0 25 0 1 0 453557645 5550080 874 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1355 874 231 231 0 1124 0
vsize: 5420
[startup+69.9991 s]
Raw data (loadavg): 0.97 0.96 0.71 2/54 20566
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1078 0 0 0 6997 4 0 0 25 0 1 0 453557645 5550080 922 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1355 922 231 231 0 1124 0
vsize: 5420
[startup+80.0485 s]
Raw data (loadavg): 1.13 0.99 0.72 3/58 20613
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1114 0 0 0 8001 5 0 0 25 0 1 0 453557645 5550080 958 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1355 958 231 231 0 1124 0
vsize: 5420
[startup+90.212 s]
Raw data (loadavg): 1.11 0.99 0.73 2/54 20619
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1137 0 0 0 9017 5 0 0 25 0 1 0 453557645 5701632 981 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1392 981 231 231 0 1161 0
vsize: 5568
[startup+100.212 s]
Raw data (loadavg): 1.17 1.01 0.73 2/54 20619
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1141 0 0 0 10017 6 0 0 25 0 1 0 453557645 5701632 985 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1392 985 231 231 0 1161 0
vsize: 5568
[startup+110.524 s]
Raw data (loadavg): 1.14 1.01 0.74 2/54 20619
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1163 0 0 0 11048 6 0 0 25 0 1 0 453557645 5701632 1007 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1392 1007 231 231 0 1161 0
vsize: 5568
[startup+120.525 s]
Raw data (loadavg): 1.12 1.01 0.74 2/54 20619
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1219 0 0 0 12048 7 0 0 25 0 1 0 453557645 5701632 1063 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1392 1063 231 231 0 1161 0
vsize: 5568
[startup+130.525 s]
Raw data (loadavg): 1.10 1.01 0.74 2/54 20619
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1268 0 0 0 13048 7 0 0 25 0 1 0 453557645 5701632 1112 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1392 1112 231 231 0 1161 0
vsize: 5568
[startup+140.526 s]
Raw data (loadavg): 1.08 1.01 0.74 2/54 20619
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1359 0 0 0 14047 9 0 0 25 0 1 0 453557645 5836800 1203 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1425 1203 231 231 0 1194 0
vsize: 5700
[startup+150.526 s]
Raw data (loadavg): 1.07 1.00 0.74 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1423 0 0 0 15047 9 0 0 25 0 1 0 453557645 7933952 1267 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1267 231 231 0 1706 0
vsize: 7748
[startup+160.526 s]
Raw data (loadavg): 1.06 1.00 0.75 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1529 0 0 0 16045 11 0 0 25 0 1 0 453557645 7933952 1373 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1373 231 231 0 1706 0
vsize: 7748
[startup+170.526 s]
Raw data (loadavg): 1.05 1.00 0.75 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1592 0 0 0 17045 12 0 0 25 0 1 0 453557645 7933952 1436 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1436 231 231 0 1706 0
vsize: 7748
[startup+180.526 s]
Raw data (loadavg): 1.04 1.00 0.75 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1661 0 0 0 18045 12 0 0 25 0 1 0 453557645 7933952 1505 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1505 231 231 0 1706 0
vsize: 7748
[startup+190.527 s]
Raw data (loadavg): 1.04 1.00 0.75 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1735 0 0 0 19044 13 0 0 25 0 1 0 453557645 7933952 1579 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1579 231 231 0 1706 0
vsize: 7748
[startup+200.526 s]
Raw data (loadavg): 1.03 1.00 0.75 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1823 0 0 0 20044 14 0 0 25 0 1 0 453557645 8069120 1667 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1970 1667 231 231 0 1739 0
vsize: 7880
[startup+210.527 s]
Raw data (loadavg): 1.02 1.00 0.76 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1925 0 0 0 21043 15 0 0 25 0 1 0 453557645 8069120 1769 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1970 1769 231 231 0 1739 0
vsize: 7880
[startup+220.527 s]
Raw data (loadavg): 1.02 1.00 0.76 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1990 0 0 0 22043 15 0 0 25 0 1 0 453557645 12263424 1834 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2994 1834 231 231 0 2763 0
vsize: 11976
[startup+230.527 s]
Raw data (loadavg): 1.10 1.02 0.77 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1993 0 0 0 23043 16 0 0 25 0 1 0 453557645 12263424 1837 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2994 1837 231 231 0 2763 0
vsize: 11976
[startup+240.527 s]
Raw data (loadavg): 1.08 1.02 0.77 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 1997 0 0 0 24043 16 0 0 25 0 1 0 453557645 12263424 1841 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2994 1841 231 231 0 2763 0
vsize: 11976
[startup+250.528 s]
Raw data (loadavg): 1.07 1.01 0.77 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2001 0 0 0 25043 17 0 0 25 0 1 0 453557645 12398592 1845 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1845 231 231 0 2796 0
vsize: 12108
[startup+260.527 s]
Raw data (loadavg): 1.06 1.01 0.77 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2043 0 0 0 26043 17 0 0 25 0 1 0 453557645 12398592 1887 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1887 231 231 0 2796 0
vsize: 12108
[startup+270.528 s]
Raw data (loadavg): 1.05 1.01 0.77 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2139 0 0 0 27042 18 0 0 25 0 1 0 453557645 12398592 1983 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1983 231 231 0 2796 0
vsize: 12108
[startup+280.528 s]
Raw data (loadavg): 1.04 1.01 0.77 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2211 0 0 0 28042 18 0 0 25 0 1 0 453557645 12398592 2055 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 2055 231 231 0 2796 0
vsize: 12108
[startup+290.528 s]
Raw data (loadavg): 1.03 1.01 0.78 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2321 0 0 0 29042 19 0 0 25 0 1 0 453557645 12398592 2165 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 2165 231 231 0 2796 0
vsize: 12108
[startup+300.528 s]
Raw data (loadavg): 1.03 1.01 0.78 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2417 0 0 0 30042 20 0 0 25 0 1 0 453557645 12398592 2261 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 2261 231 231 0 2796 0
vsize: 12108
[startup+310.528 s]
Raw data (loadavg): 1.02 1.01 0.78 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2507 0 0 0 31041 20 0 0 25 0 1 0 453557645 12529664 2351 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2351 231 231 0 2828 0
vsize: 12236
[startup+320.528 s]
Raw data (loadavg): 1.02 1.01 0.78 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2600 0 0 0 32041 21 0 0 25 0 1 0 453557645 12529664 2444 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2444 231 231 0 2828 0
vsize: 12236
[startup+330.528 s]
Raw data (loadavg): 1.02 1.01 0.78 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2667 0 0 0 33040 22 0 0 25 0 1 0 453557645 12529664 2511 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2511 231 231 0 2828 0
vsize: 12236
[startup+340.529 s]
Raw data (loadavg): 1.01 1.01 0.79 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2749 0 0 0 34041 22 0 0 25 0 1 0 453557645 12529664 2593 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2593 231 231 0 2828 0
vsize: 12236
[startup+350.529 s]
Raw data (loadavg): 1.01 1.00 0.79 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2852 0 0 0 35040 23 0 0 25 0 1 0 453557645 12529664 2696 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2696 231 231 0 2828 0
vsize: 12236
[startup+360.529 s]
Raw data (loadavg): 1.01 1.00 0.79 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 2952 0 0 0 36040 23 0 0 25 0 1 0 453557645 12529664 2796 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2796 231 231 0 2828 0
vsize: 12236
[startup+370.529 s]
Raw data (loadavg): 1.01 1.00 0.79 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3233 0 0 0 37039 25 0 0 25 0 1 0 453557645 13316096 2884 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3251 2884 231 231 0 3020 0
vsize: 13004
[startup+380.529 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3345 0 0 0 38039 25 0 0 25 0 1 0 453557645 21827584 2996 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 2996 231 231 0 5098 0
vsize: 21316
[startup+390.529 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3407 0 0 0 39039 26 0 0 25 0 1 0 453557645 21827584 3058 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3058 231 231 0 5098 0
vsize: 21316
[startup+400.529 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3493 0 0 0 40038 27 0 0 25 0 1 0 453557645 21827584 3144 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3144 231 231 0 5098 0
vsize: 21316
[startup+410.53 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3537 0 0 0 41038 27 0 0 25 0 1 0 453557645 21827584 3188 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3188 231 231 0 5098 0
vsize: 21316
[startup+420.53 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 20621
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3538 0 0 0 42038 28 0 0 25 0 1 0 453557645 21827584 3189 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3189 231 231 0 5098 0
vsize: 21316
[startup+430.53 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3641 0 0 0 43038 28 0 0 25 0 1 0 453557645 21827584 3292 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3292 231 231 0 5098 0
vsize: 21316
[startup+440.53 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3712 0 0 0 44037 29 0 0 25 0 1 0 453557645 21827584 3363 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3363 231 231 0 5098 0
vsize: 21316
[startup+450.53 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3792 0 0 0 45037 29 0 0 25 0 1 0 453557645 21827584 3443 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3443 231 231 0 5098 0
vsize: 21316
[startup+460.53 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 3899 0 0 0 46037 30 0 0 25 0 1 0 453557645 21827584 3550 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3550 231 231 0 5098 0
vsize: 21316
[startup+470.53 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4002 0 0 0 47037 31 0 0 25 0 1 0 453557645 21827584 3653 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 3653 231 231 0 5098 0
vsize: 21316
[startup+480.531 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4092 0 0 0 48036 32 0 0 25 0 1 0 453557645 21958656 3743 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 3743 231 231 0 5130 0
vsize: 21444
[startup+490.531 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4198 0 0 0 49036 32 0 0 25 0 1 0 453557645 21958656 3849 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 3849 231 231 0 5130 0
vsize: 21444
[startup+500.531 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4289 0 0 0 50035 33 0 0 25 0 1 0 453557645 21958656 3940 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 3940 231 231 0 5130 0
vsize: 21444
[startup+510.531 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4397 0 0 0 51035 34 0 0 25 0 1 0 453557645 21958656 4048 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 4048 231 231 0 5130 0
vsize: 21444
[startup+520.531 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4490 0 0 0 52035 34 0 0 25 0 1 0 453557645 21958656 4141 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 4141 231 231 0 5130 0
vsize: 21444
[startup+530.531 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4534 0 0 0 53034 35 0 0 25 0 1 0 453557645 22069248 4185 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4185 231 231 0 5157 0
vsize: 21552
[startup+540.532 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4536 0 0 0 54034 36 0 0 25 0 1 0 453557645 22069248 4187 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4187 231 231 0 5157 0
vsize: 21552
[startup+550.532 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4547 0 0 0 55034 36 0 0 25 0 1 0 453557645 22069248 4198 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4198 231 231 0 5157 0
vsize: 21552
[startup+560.533 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4638 0 0 0 56034 36 0 0 25 0 1 0 453557645 22069248 4289 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4289 231 231 0 5157 0
vsize: 21552
[startup+570.533 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4727 0 0 0 57034 37 0 0 25 0 1 0 453557645 22069248 4378 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4378 231 231 0 5157 0
vsize: 21552
[startup+580.533 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4823 0 0 0 58033 38 0 0 25 0 1 0 453557645 22069248 4474 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4474 231 231 0 5157 0
vsize: 21552
[startup+590.533 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 4903 0 0 0 59033 38 0 0 25 0 1 0 453557645 22069248 4554 4294967295 134512640 135450300 3221224640 3221223120 134534885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4554 231 231 0 5157 0
vsize: 21552
[startup+600.533 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5012 0 0 0 60033 39 0 0 25 0 1 0 453557645 22069248 4663 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4663 231 231 0 5157 0
vsize: 21552
[startup+610.534 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5116 0 0 0 61033 39 0 0 25 0 1 0 453557645 22069248 4767 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4767 231 231 0 5157 0
vsize: 21552
[startup+620.535 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5213 0 0 0 62033 39 0 0 25 0 1 0 453557645 22204416 4864 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5421 4864 231 231 0 5190 0
vsize: 21684
[startup+630.535 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5302 0 0 0 63033 39 0 0 25 0 1 0 453557645 22204416 4953 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5421 4953 231 231 0 5190 0
vsize: 21684
[startup+640.535 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5384 0 0 0 64033 40 0 0 25 0 1 0 453557645 22204416 5035 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5421 5035 231 231 0 5190 0
vsize: 21684
[startup+650.535 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5472 0 0 0 65033 41 0 0 25 0 1 0 453557645 22204416 5123 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5421 5123 231 231 0 5190 0
vsize: 21684
[startup+660.535 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5583 0 0 0 66032 41 0 0 25 0 1 0 453557645 38981632 5234 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9517 5234 231 231 0 9286 0
vsize: 38068
[startup+670.536 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5700 0 0 0 67032 42 0 0 25 0 1 0 453557645 38981632 5351 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9517 5351 231 231 0 9286 0
vsize: 38068
[startup+680.536 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5793 0 0 0 68032 43 0 0 25 0 1 0 453557645 38981632 5444 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9517 5444 231 231 0 9286 0
vsize: 38068
[startup+690.536 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5877 0 0 0 69032 43 0 0 25 0 1 0 453557645 39116800 5528 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 5528 231 231 0 9319 0
vsize: 38200
[startup+700.536 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 5976 0 0 0 70031 44 0 0 25 0 1 0 453557645 39116800 5627 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 5627 231 231 0 9319 0
vsize: 38200
[startup+710.536 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6086 0 0 0 71031 45 0 0 25 0 1 0 453557645 39116800 5737 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 5737 231 231 0 9319 0
vsize: 38200
[startup+720.536 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6182 0 0 0 72030 46 0 0 25 0 1 0 453557645 39116800 5833 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 5833 231 231 0 9319 0
vsize: 38200
[startup+730.537 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6290 0 0 0 73030 46 0 0 25 0 1 0 453557645 39116800 5941 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 5941 231 231 0 9319 0
vsize: 38200
[startup+740.537 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6401 0 0 0 74030 47 0 0 25 0 1 0 453557645 39116800 6052 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 6052 231 231 0 9319 0
vsize: 38200
[startup+750.536 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6409 0 0 0 75030 47 0 0 25 0 1 0 453557645 39116800 6060 4294967295 134512640 135450300 3221224640 3221223568 134539797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 6060 231 231 0 9319 0
vsize: 38200
[startup+760.537 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6410 0 0 0 76030 48 0 0 25 0 1 0 453557645 39116800 6061 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 6061 231 231 0 9319 0
vsize: 38200
[startup+770.537 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6413 0 0 0 77030 48 0 0 25 0 1 0 453557645 39116800 6064 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9550 6064 231 231 0 9319 0
vsize: 38200
[startup+780.537 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6422 0 0 0 78030 48 0 0 25 0 1 0 453557645 39243776 6073 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6073 231 231 0 9350 0
vsize: 38324
[startup+790.538 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6461 0 0 0 79030 49 0 0 25 0 1 0 453557645 39243776 6112 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6112 231 231 0 9350 0
vsize: 38324
[startup+800.538 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6534 0 0 0 80030 49 0 0 25 0 1 0 453557645 39243776 6185 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6185 231 231 0 9350 0
vsize: 38324
[startup+810.538 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6611 0 0 0 81030 50 0 0 25 0 1 0 453557645 39243776 6262 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6262 231 231 0 9350 0
vsize: 38324
[startup+820.539 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6723 0 0 0 82029 50 0 0 25 0 1 0 453557645 39243776 6374 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6374 231 231 0 9350 0
vsize: 38324
[startup+830.539 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6797 0 0 0 83029 51 0 0 25 0 1 0 453557645 39243776 6448 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6448 231 231 0 9350 0
vsize: 38324
[startup+840.539 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6865 0 0 0 84028 52 0 0 25 0 1 0 453557645 39243776 6516 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6516 231 231 0 9350 0
vsize: 38324
[startup+850.539 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 6955 0 0 0 85028 53 0 0 25 0 1 0 453557645 39243776 6606 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6606 231 231 0 9350 0
vsize: 38324
[startup+860.539 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7037 0 0 0 86028 53 0 0 25 0 1 0 453557645 39243776 6688 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6688 231 231 0 9350 0
vsize: 38324
[startup+870.539 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7138 0 0 0 87027 54 0 0 25 0 1 0 453557645 39243776 6789 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9581 6789 231 231 0 9350 0
vsize: 38324
[startup+880.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7230 0 0 0 88026 55 0 0 25 0 1 0 453557645 39358464 6881 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 6881 231 231 0 9378 0
vsize: 38436
[startup+890.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7304 0 0 0 89026 56 0 0 25 0 1 0 453557645 39358464 6955 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 6955 231 231 0 9378 0
vsize: 38436
[startup+900.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7386 0 0 0 90026 56 0 0 25 0 1 0 453557645 39358464 7037 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 7037 231 231 0 9378 0
vsize: 38436
[startup+910.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7488 0 0 0 91026 56 0 0 25 0 1 0 453557645 39358464 7139 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 7139 231 231 0 9378 0
vsize: 38436
[startup+920.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7501 0 0 0 92026 57 0 0 25 0 1 0 453557645 39358464 7152 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 7152 231 231 0 9378 0
vsize: 38436
[startup+930.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7502 0 0 0 93027 57 0 0 25 0 1 0 453557645 39358464 7153 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 7153 231 231 0 9378 0
vsize: 38436
[startup+940.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7556 0 0 0 94027 57 0 0 25 0 1 0 453557645 39358464 7207 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 7207 231 231 0 9378 0
vsize: 38436
[startup+950.541 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7641 0 0 0 95026 58 0 0 25 0 1 0 453557645 39477248 7292 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7292 231 231 0 9407 0
vsize: 38552
[startup+960.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7734 0 0 0 96026 58 0 0 25 0 1 0 453557645 39477248 7385 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7385 231 231 0 9407 0
vsize: 38552
[startup+970.541 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7806 0 0 0 97026 59 0 0 25 0 1 0 453557645 39477248 7457 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7457 231 231 0 9407 0
vsize: 38552
[startup+980.541 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7881 0 0 0 98026 59 0 0 25 0 1 0 453557645 39477248 7532 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7532 231 231 0 9407 0
vsize: 38552
[startup+990.541 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 7979 0 0 0 99026 60 0 0 25 0 1 0 453557645 39477248 7630 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7630 231 231 0 9407 0
vsize: 38552
[startup+1000.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8052 0 0 0 100025 60 0 0 25 0 1 0 453557645 39477248 7703 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7703 231 231 0 9407 0
vsize: 38552
[startup+1010.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8146 0 0 0 101025 61 0 0 25 0 1 0 453557645 39477248 7797 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7797 231 231 0 9407 0
vsize: 38552
[startup+1020.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8251 0 0 0 102024 63 0 0 25 0 1 0 453557645 39477248 7902 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7902 231 231 0 9407 0
vsize: 38552
[startup+1030.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8342 0 0 0 103023 64 0 0 25 0 1 0 453557645 39477248 7993 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 7993 231 231 0 9407 0
vsize: 38552
[startup+1040.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8438 0 0 0 104023 64 0 0 25 0 1 0 453557645 39477248 8089 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8089 231 231 0 9407 0
vsize: 38552
[startup+1050.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8523 0 0 0 105023 65 0 0 25 0 1 0 453557645 39477248 8174 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8174 231 231 0 9407 0
vsize: 38552
[startup+1060.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8613 0 0 0 106023 65 0 0 25 0 1 0 453557645 39477248 8264 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8264 231 231 0 9407 0
vsize: 38552
[startup+1070.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8695 0 0 0 107022 66 0 0 25 0 1 0 453557645 39477248 8346 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8346 231 231 0 9407 0
vsize: 38552
[startup+1080.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8774 0 0 0 108022 66 0 0 25 0 1 0 453557645 39477248 8425 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8425 231 231 0 9407 0
vsize: 38552
[startup+1090.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8867 0 0 0 109022 67 0 0 25 0 1 0 453557645 39583744 8518 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8518 231 231 0 9433 0
vsize: 38656
[startup+1100.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8868 0 0 0 110022 67 0 0 25 0 1 0 453557645 39583744 8519 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8519 231 231 0 9433 0
vsize: 38656
[startup+1110.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8869 0 0 0 111022 68 0 0 25 0 1 0 453557645 39583744 8520 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8520 231 231 0 9433 0
vsize: 38656
[startup+1120.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 8926 0 0 0 112022 68 0 0 25 0 1 0 453557645 39583744 8577 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8577 231 231 0 9433 0
vsize: 38656
[startup+1130.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9001 0 0 0 113022 68 0 0 25 0 1 0 453557645 39583744 8652 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8652 231 231 0 9433 0
vsize: 38656
[startup+1140.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9068 0 0 0 114022 69 0 0 25 0 1 0 453557645 39583744 8719 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8719 231 231 0 9433 0
vsize: 38656
[startup+1150.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9167 0 0 0 115022 69 0 0 25 0 1 0 453557645 39583744 8818 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8818 231 231 0 9433 0
vsize: 38656
[startup+1160.55 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9247 0 0 0 116021 70 0 0 25 0 1 0 453557645 39583744 8898 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8898 231 231 0 9433 0
vsize: 38656
[startup+1170.55 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9340 0 0 0 117021 71 0 0 25 0 1 0 453557645 39583744 8991 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8991 231 231 0 9433 0
vsize: 38656
[startup+1180.55 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9435 0 0 0 118021 71 0 0 25 0 1 0 453557645 39583744 9086 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 9086 231 231 0 9433 0
vsize: 38656
[startup+1190.55 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9520 0 0 0 119021 72 0 0 25 0 1 0 453557645 39583744 9171 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 9171 231 231 0 9433 0
vsize: 38656
[startup+1200.55 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 20623
Raw data (stat): 20566 (PBS4) R 20565 29653 29652 0 -1 0 9591 0 0 0 120020 73 0 0 25 0 1 0 453557645 39690240 9242 4294967295 134512640 135450300 3221224640 3221223376 134538724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9690 9242 231 231 0 9459 0
vsize: 38760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.57 s]
Raw data (loadavg): 1.00 1.00 0.89 1/54 20623
Raw data (stat): 20566 (PBS4) Z 20565 29653 29652 0 -1 1036 9591 0 0 0 120020 74 0 0 25 0 1 0 453557645 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.57
CPU time (s): 1200.96
CPU user time (s): 1200.21
CPU system time (s): 0.748886
CPU usage (%): 100.033
Max. virtual memory (Kb): 38760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####