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-sao2.b.opb
MD5SUM	3e273bcee52631aeea0b7b1138e7d68d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25
Optimality of the best value was proved	NO
Number of terms in the objective function	373
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	373
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	373
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	372
Total number of constraints	779
Number of constraints which are clauses	772
Number of constraints which are cardinality constraints (but not clauses)	7
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 7697

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-17 15:43:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=654 boxname=wulflinc22 idbench=73 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc22/normalized-sao2.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-sao2.b.opb
IDLAUNCH: 654
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        821928 kB
Buffers:         33912 kB
Cached:         135476 kB
SwapCached:          0 kB
Active:          62240 kB
Inactive:       110032 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        821676 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            34800 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:03:58 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 654 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-sao2.b.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.74 0.35 2/54 16244
Raw data (stat): 16244 (runsolver) R 16243 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511687751 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.75 0.36 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 432 0 0 0 994 5 0 0 25 0 1 0 511687751 2514944 428 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 614 428 231 231 0 383 0
vsize: 2456
[startup+20.001 s]
Raw data (loadavg): 0.94 0.76 0.37 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 509 0 0 0 1993 6 0 0 25 0 1 0 511687751 3563520 505 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 870 505 231 231 0 639 0
vsize: 3480
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.77 0.37 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 591 0 0 0 2993 6 0 0 25 0 1 0 511687751 3563520 587 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 870 587 231 231 0 639 0
vsize: 3480
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.77 0.38 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 711 0 0 0 3992 7 0 0 25 0 1 0 511687751 3764224 707 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 919 707 231 231 0 688 0
vsize: 3676
[startup+50.003 s]
Raw data (loadavg): 0.96 0.78 0.39 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 806 0 0 0 4992 7 0 0 25 0 1 0 511687751 5861376 802 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1431 802 231 231 0 1200 0
vsize: 5724
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.79 0.39 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 895 0 0 0 5991 8 0 0 25 0 1 0 511687751 5861376 891 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1431 891 231 231 0 1200 0
vsize: 5724
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.79 0.40 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 981 0 0 0 6991 9 0 0 25 0 1 0 511687751 5861376 977 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1431 977 231 231 0 1200 0
vsize: 5724
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.80 0.40 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 1061 0 0 0 7990 10 0 0 25 0 1 0 511687751 5861376 1057 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1431 1057 231 231 0 1200 0
vsize: 5724
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.81 0.41 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 1228 0 0 0 8989 11 0 0 25 0 1 0 511687751 6193152 1175 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1512 1175 231 231 0 1281 0
vsize: 6048
[startup+100.004 s]
Raw data (loadavg): 0.98 0.81 0.41 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 1364 0 0 0 9989 12 0 0 25 0 1 0 511687751 6193152 1311 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1512 1311 231 231 0 1281 0
vsize: 6048
[startup+110.004 s]
Raw data (loadavg): 0.98 0.82 0.42 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 1446 0 0 0 10987 13 0 0 25 0 1 0 511687751 10522624 1393 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2569 1393 231 231 0 2338 0
vsize: 10276
[startup+120.004 s]
Raw data (loadavg): 0.99 0.82 0.43 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 1565 0 0 0 11987 14 0 0 25 0 1 0 511687751 10522624 1512 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2569 1512 231 231 0 2338 0
vsize: 10276
[startup+130.005 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 1713 0 0 0 12985 15 0 0 25 0 1 0 511687751 10665984 1660 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2604 1660 231 231 0 2373 0
vsize: 10416
[startup+140.005 s]
Raw data (loadavg): 0.99 0.83 0.44 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 1971 0 0 0 13982 18 0 0 25 0 1 0 511687751 10801152 1918 4294967295 134512640 135450300 3221224640 3221223456 134546814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2637 1918 231 231 0 2406 0
vsize: 10548
[startup+150.005 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2063 0 0 0 14981 20 0 0 25 0 1 0 511687751 10932224 2010 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2669 2010 231 231 0 2438 0
vsize: 10676
[startup+160.006 s]
Raw data (loadavg): 0.99 0.84 0.45 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2184 0 0 0 15980 21 0 0 25 0 1 0 511687751 11325440 2034 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2765 2034 231 231 0 2534 0
vsize: 11060
[startup+170.005 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2203 0 0 0 16979 21 0 0 25 0 1 0 511687751 11460608 2053 4294967295 134512640 135450300 3221224640 3221223472 134549319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2798 2053 231 231 0 2567 0
vsize: 11192
[startup+180.006 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2208 0 0 0 17979 22 0 0 25 0 1 0 511687751 11460608 2058 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2798 2058 231 231 0 2567 0
vsize: 11192
[startup+190.007 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2210 0 0 0 18979 22 0 0 25 0 1 0 511687751 11460608 2060 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2798 2060 231 231 0 2567 0
vsize: 11192
[startup+200.006 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2213 0 0 0 19978 23 0 0 25 0 1 0 511687751 11460608 2063 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2798 2063 231 231 0 2567 0
vsize: 11192
[startup+210.006 s]
Raw data (loadavg): 0.99 0.86 0.48 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2251 0 0 0 20977 24 0 0 25 0 1 0 511687751 11595776 2101 4294967295 134512640 135450300 3221224640 3221223472 134549529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2831 2101 231 231 0 2600 0
vsize: 11324
[startup+220.007 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2277 0 0 0 21975 26 0 0 25 0 1 0 511687751 11595776 2127 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2831 2127 231 231 0 2600 0
vsize: 11324
[startup+230.007 s]
Raw data (loadavg): 0.99 0.87 0.49 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2295 0 0 0 22975 27 0 0 25 0 1 0 511687751 11739136 2145 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2866 2145 231 231 0 2635 0
vsize: 11464
[startup+240.007 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2312 0 0 0 23975 27 0 0 25 0 1 0 511687751 11739136 2162 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2866 2162 231 231 0 2635 0
vsize: 11464
[startup+250.007 s]
Raw data (loadavg): 0.99 0.88 0.50 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2328 0 0 0 24974 27 0 0 25 0 1 0 511687751 11739136 2178 4294967295 134512640 135450300 3221224640 3221223472 134549278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2866 2178 231 231 0 2635 0
vsize: 11464
[startup+260.007 s]
Raw data (loadavg): 0.99 0.88 0.50 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2341 0 0 0 25974 28 0 0 25 0 1 0 511687751 11874304 2191 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2191 231 231 0 2668 0
vsize: 11596
[startup+270.007 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2355 0 0 0 26973 28 0 0 25 0 1 0 511687751 11874304 2205 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2205 231 231 0 2668 0
vsize: 11596
[startup+280.008 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2372 0 0 0 27974 29 0 0 25 0 1 0 511687751 11874304 2222 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2222 231 231 0 2668 0
vsize: 11596
[startup+290.008 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2384 0 0 0 28973 29 0 0 25 0 1 0 511687751 12009472 2234 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2234 231 231 0 2701 0
vsize: 11728
[startup+300.008 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2405 0 0 0 29973 30 0 0 25 0 1 0 511687751 12009472 2255 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2255 231 231 0 2701 0
vsize: 11728
[startup+310.009 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2414 0 0 0 30973 30 0 0 25 0 1 0 511687751 12009472 2264 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2264 231 231 0 2701 0
vsize: 11728
[startup+320.008 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2422 0 0 0 31973 30 0 0 25 0 1 0 511687751 12009472 2272 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2272 231 231 0 2701 0
vsize: 11728
[startup+330.009 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2436 0 0 0 32973 30 0 0 25 0 1 0 511687751 12144640 2286 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2286 231 231 0 2734 0
vsize: 11860
[startup+340.009 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2452 0 0 0 33973 30 0 0 25 0 1 0 511687751 12144640 2302 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2302 231 231 0 2734 0
vsize: 11860
[startup+350.008 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2463 0 0 0 34973 31 0 0 25 0 1 0 511687751 12144640 2313 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2313 231 231 0 2734 0
vsize: 11860
[startup+360.009 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2677 0 0 0 35972 32 0 0 25 0 1 0 511687751 13066240 2334 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3190 2334 231 231 0 2959 0
vsize: 12760
[startup+370.009 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2690 0 0 0 36971 32 0 0 25 0 1 0 511687751 13066240 2347 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3190 2347 231 231 0 2959 0
vsize: 12760
[startup+380.01 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2696 0 0 0 37971 33 0 0 25 0 1 0 511687751 13066240 2353 4294967295 134512640 135450300 3221224640 3221223568 134539606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3190 2353 231 231 0 2959 0
vsize: 12760
[startup+390.009 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2709 0 0 0 38971 33 0 0 25 0 1 0 511687751 13066240 2366 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3190 2366 231 231 0 2959 0
vsize: 12760
[startup+400.009 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2725 0 0 0 39971 34 0 0 25 0 1 0 511687751 13066240 2382 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3190 2382 231 231 0 2959 0
vsize: 12760
[startup+410.01 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2734 0 0 0 40970 35 0 0 25 0 1 0 511687751 13201408 2391 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2391 231 231 0 2992 0
vsize: 12892
[startup+420.01 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2746 0 0 0 41970 35 0 0 25 0 1 0 511687751 13201408 2403 4294967295 134512640 135450300 3221224640 3221223296 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2403 231 231 0 2992 0
vsize: 12892
[startup+430.011 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2760 0 0 0 42970 35 0 0 25 0 1 0 511687751 13201408 2417 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2417 231 231 0 2992 0
vsize: 12892
[startup+440.011 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2769 0 0 0 43970 36 0 0 25 0 1 0 511687751 13201408 2426 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2426 231 231 0 2992 0
vsize: 12892
[startup+450.011 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2777 0 0 0 44969 36 0 0 25 0 1 0 511687751 13201408 2434 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2434 231 231 0 2992 0
vsize: 12892
[startup+460.011 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2790 0 0 0 45969 37 0 0 25 0 1 0 511687751 13201408 2447 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2447 231 231 0 2992 0
vsize: 12892
[startup+470.011 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2816 0 0 0 46969 37 0 0 25 0 1 0 511687751 13361152 2473 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2473 231 231 0 3031 0
vsize: 13048
[startup+480.012 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2826 0 0 0 47968 38 0 0 25 0 1 0 511687751 13361152 2483 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2483 231 231 0 3031 0
vsize: 13048
[startup+490.012 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2885 0 0 0 48968 38 0 0 25 0 1 0 511687751 13361152 2542 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2542 231 231 0 3031 0
vsize: 13048
[startup+500.011 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 2949 0 0 0 49967 39 0 0 25 0 1 0 511687751 13361152 2606 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2606 231 231 0 3031 0
vsize: 13048
[startup+510.012 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3005 0 0 0 50967 40 0 0 25 0 1 0 511687751 13361152 2662 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2662 231 231 0 3031 0
vsize: 13048
[startup+520.011 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3048 0 0 0 51967 40 0 0 25 0 1 0 511687751 13361152 2705 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2705 231 231 0 3031 0
vsize: 13048
[startup+530.012 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3062 0 0 0 52967 40 0 0 25 0 1 0 511687751 13361152 2719 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2719 231 231 0 3031 0
vsize: 13048
[startup+540.013 s]
Raw data (loadavg): 0.99 0.94 0.62 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3078 0 0 0 53967 40 0 0 25 0 1 0 511687751 13529088 2735 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2735 231 231 0 3072 0
vsize: 13212
[startup+550.013 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3086 0 0 0 54966 41 0 0 25 0 1 0 511687751 13529088 2743 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2743 231 231 0 3072 0
vsize: 13212
[startup+560.013 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3094 0 0 0 55966 42 0 0 25 0 1 0 511687751 13529088 2751 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2751 231 231 0 3072 0
vsize: 13212
[startup+570.013 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3108 0 0 0 56966 42 0 0 25 0 1 0 511687751 13529088 2765 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2765 231 231 0 3072 0
vsize: 13212
[startup+580.014 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3111 0 0 0 57966 42 0 0 25 0 1 0 511687751 13529088 2768 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2768 231 231 0 3072 0
vsize: 13212
[startup+590.013 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3120 0 0 0 58965 43 0 0 25 0 1 0 511687751 13529088 2777 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2777 231 231 0 3072 0
vsize: 13212
[startup+600.013 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3182 0 0 0 59965 43 0 0 25 0 1 0 511687751 13680640 2839 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2839 231 231 0 3109 0
vsize: 13360
[startup+610.014 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3247 0 0 0 60965 44 0 0 25 0 1 0 511687751 13680640 2904 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2904 231 231 0 3109 0
vsize: 13360
[startup+620.013 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3252 0 0 0 61964 44 0 0 25 0 1 0 511687751 13680640 2909 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2909 231 231 0 3109 0
vsize: 13360
[startup+630.014 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3258 0 0 0 62964 45 0 0 25 0 1 0 511687751 13680640 2915 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2915 231 231 0 3109 0
vsize: 13360
[startup+640.014 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3270 0 0 0 63964 46 0 0 25 0 1 0 511687751 13680640 2927 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2927 231 231 0 3109 0
vsize: 13360
[startup+650.013 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3280 0 0 0 64964 46 0 0 25 0 1 0 511687751 13680640 2937 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2937 231 231 0 3109 0
vsize: 13360
[startup+660.014 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3290 0 0 0 65963 46 0 0 25 0 1 0 511687751 13680640 2947 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2947 231 231 0 3109 0
vsize: 13360
[startup+670.014 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3304 0 0 0 66963 47 0 0 25 0 1 0 511687751 13819904 2961 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2961 231 231 0 3143 0
vsize: 13496
[startup+680.014 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3316 0 0 0 67963 47 0 0 25 0 1 0 511687751 13819904 2973 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2973 231 231 0 3143 0
vsize: 13496
[startup+690.014 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3329 0 0 0 68963 47 0 0 25 0 1 0 511687751 13819904 2986 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2986 231 231 0 3143 0
vsize: 13496
[startup+700.014 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3339 0 0 0 69963 48 0 0 25 0 1 0 511687751 13955072 2996 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2996 231 231 0 3176 0
vsize: 13628
[startup+710.014 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3343 0 0 0 70962 48 0 0 25 0 1 0 511687751 13955072 3000 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 3000 231 231 0 3176 0
vsize: 13628
[startup+720.014 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3347 0 0 0 71962 49 0 0 25 0 1 0 511687751 13955072 3004 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 3004 231 231 0 3176 0
vsize: 13628
[startup+730.015 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3352 0 0 0 72962 49 0 0 25 0 1 0 511687751 13955072 3009 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 3009 231 231 0 3176 0
vsize: 13628
[startup+740.015 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3366 0 0 0 73961 50 0 0 25 0 1 0 511687751 13955072 3023 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 3023 231 231 0 3176 0
vsize: 13628
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3380 0 0 0 74961 51 0 0 25 0 1 0 511687751 13955072 3037 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 3037 231 231 0 3176 0
vsize: 13628
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3389 0 0 0 75960 51 0 0 25 0 1 0 511687751 13955072 3046 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 3046 231 231 0 3176 0
vsize: 13628
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3408 0 0 0 76960 52 0 0 25 0 1 0 511687751 13955072 3065 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 3065 231 231 0 3176 0
vsize: 13628
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3423 0 0 0 77960 53 0 0 25 0 1 0 511687751 14135296 3080 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 3080 231 231 0 3220 0
vsize: 13804
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3426 0 0 0 78959 53 0 0 25 0 1 0 511687751 14135296 3083 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 3083 231 231 0 3220 0
vsize: 13804
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3429 0 0 0 79960 53 0 0 25 0 1 0 511687751 14135296 3086 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 3086 231 231 0 3220 0
vsize: 13804
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3434 0 0 0 80960 53 0 0 25 0 1 0 511687751 14135296 3091 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 3091 231 231 0 3220 0
vsize: 13804
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3437 0 0 0 81960 53 0 0 25 0 1 0 511687751 14135296 3094 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 3094 231 231 0 3220 0
vsize: 13804
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3835 0 0 0 82959 54 0 0 25 0 1 0 511687751 15708160 3107 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3835 3107 231 231 0 3604 0
vsize: 15340
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3841 0 0 0 83959 54 0 0 25 0 1 0 511687751 15708160 3113 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3835 3113 231 231 0 3604 0
vsize: 15340
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3852 0 0 0 84959 54 0 0 25 0 1 0 511687751 15708160 3124 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3835 3124 231 231 0 3604 0
vsize: 15340
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3859 0 0 0 85959 54 0 0 25 0 1 0 511687751 15708160 3131 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3835 3131 231 231 0 3604 0
vsize: 15340
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3862 0 0 0 86959 55 0 0 25 0 1 0 511687751 15708160 3134 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3835 3134 231 231 0 3604 0
vsize: 15340
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3871 0 0 0 87959 55 0 0 25 0 1 0 511687751 15843328 3143 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3143 231 231 0 3637 0
vsize: 15472
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3884 0 0 0 88959 56 0 0 25 0 1 0 511687751 15843328 3156 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3156 231 231 0 3637 0
vsize: 15472
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3892 0 0 0 89958 56 0 0 25 0 1 0 511687751 15843328 3164 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3164 231 231 0 3637 0
vsize: 15472
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3897 0 0 0 90958 57 0 0 25 0 1 0 511687751 15843328 3169 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3169 231 231 0 3637 0
vsize: 15472
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3899 0 0 0 91958 57 0 0 25 0 1 0 511687751 15843328 3171 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3171 231 231 0 3637 0
vsize: 15472
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3907 0 0 0 92957 58 0 0 25 0 1 0 511687751 15843328 3179 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3179 231 231 0 3637 0
vsize: 15472
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3914 0 0 0 93957 58 0 0 25 0 1 0 511687751 15843328 3186 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3186 231 231 0 3637 0
vsize: 15472
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3922 0 0 0 94957 58 0 0 25 0 1 0 511687751 15843328 3194 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3194 231 231 0 3637 0
vsize: 15472
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3925 0 0 0 95958 58 0 0 25 0 1 0 511687751 15843328 3197 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3197 231 231 0 3637 0
vsize: 15472
[startup+970.148 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 16244
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3927 0 0 0 96970 58 0 0 25 0 1 0 511687751 15843328 3199 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3868 3199 231 231 0 3637 0
vsize: 15472
[startup+980.148 s]
Raw data (loadavg): 1.15 1.00 0.75 2/58 16287
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 3958 0 0 0 97970 59 0 0 25 0 1 0 511687751 16003072 3230 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3230 231 231 0 3676 0
vsize: 15628
[startup+990.296 s]
Raw data (loadavg): 1.28 1.04 0.77 3/56 16291
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4034 0 0 0 98984 60 0 0 25 0 1 0 511687751 16003072 3306 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3306 231 231 0 3676 0
vsize: 15628
[startup+1000.4 s]
Raw data (loadavg): 1.39 1.07 0.78 2/54 16297
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4071 0 0 0 99994 60 0 0 25 0 1 0 511687751 16003072 3343 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3343 231 231 0 3676 0
vsize: 15628
[startup+1010.4 s]
Raw data (loadavg): 1.33 1.06 0.78 2/54 16297
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4116 0 0 0 100994 60 0 0 25 0 1 0 511687751 16003072 3388 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3388 231 231 0 3676 0
vsize: 15628
[startup+1020.4 s]
Raw data (loadavg): 1.28 1.06 0.78 2/54 16297
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4173 0 0 0 101993 61 0 0 25 0 1 0 511687751 24391680 3445 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5955 3445 231 231 0 5724 0
vsize: 23820
[startup+1030.41 s]
Raw data (loadavg): 1.23 1.06 0.79 2/54 16297
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4179 0 0 0 102994 62 0 0 25 0 1 0 511687751 24526848 3451 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3451 231 231 0 5757 0
vsize: 23952
[startup+1040.41 s]
Raw data (loadavg): 1.20 1.06 0.79 2/54 16297
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4183 0 0 0 103993 62 0 0 25 0 1 0 511687751 24526848 3455 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3455 231 231 0 5757 0
vsize: 23952
[startup+1050.41 s]
Raw data (loadavg): 1.17 1.05 0.79 2/54 16297
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4188 0 0 0 104993 62 0 0 25 0 1 0 511687751 24526848 3460 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3460 231 231 0 5757 0
vsize: 23952
[startup+1060.41 s]
Raw data (loadavg): 1.14 1.05 0.79 2/54 16297
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4190 0 0 0 105993 63 0 0 25 0 1 0 511687751 24526848 3462 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3462 231 231 0 5757 0
vsize: 23952
[startup+1070.41 s]
Raw data (loadavg): 1.27 1.08 0.80 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4191 0 0 0 106993 63 0 0 25 0 1 0 511687751 24526848 3463 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3463 231 231 0 5757 0
vsize: 23952
[startup+1080.41 s]
Raw data (loadavg): 1.22 1.08 0.81 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4208 0 0 0 107993 63 0 0 25 0 1 0 511687751 24526848 3480 4294967295 134512640 135450300 3221224640 3221223456 134546776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3480 231 231 0 5757 0
vsize: 23952
[startup+1090.41 s]
Raw data (loadavg): 1.19 1.08 0.81 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4221 0 0 0 108993 64 0 0 25 0 1 0 511687751 24526848 3493 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3493 231 231 0 5757 0
vsize: 23952
[startup+1100.41 s]
Raw data (loadavg): 1.16 1.07 0.81 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4230 0 0 0 109992 64 0 0 25 0 1 0 511687751 24526848 3502 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3502 231 231 0 5757 0
vsize: 23952
[startup+1110.41 s]
Raw data (loadavg): 1.13 1.07 0.81 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4239 0 0 0 110992 64 0 0 25 0 1 0 511687751 24662016 3511 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 3511 231 231 0 5790 0
vsize: 24084
[startup+1120.41 s]
Raw data (loadavg): 1.11 1.07 0.81 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4242 0 0 0 111992 65 0 0 25 0 1 0 511687751 24662016 3514 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 3514 231 231 0 5790 0
vsize: 24084
[startup+1130.41 s]
Raw data (loadavg): 1.10 1.07 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4262 0 0 0 112991 66 0 0 25 0 1 0 511687751 24662016 3534 4294967295 134512640 135450300 3221224640 3221223456 134537284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 3534 231 231 0 5790 0
vsize: 24084
[startup+1140.41 s]
Raw data (loadavg): 1.08 1.06 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4270 0 0 0 113991 66 0 0 25 0 1 0 511687751 24662016 3542 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 3542 231 231 0 5790 0
vsize: 24084
[startup+1150.41 s]
Raw data (loadavg): 1.07 1.06 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4284 0 0 0 114990 67 0 0 25 0 1 0 511687751 24662016 3556 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 3556 231 231 0 5790 0
vsize: 24084
[startup+1160.41 s]
Raw data (loadavg): 1.06 1.06 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4288 0 0 0 115990 68 0 0 25 0 1 0 511687751 24662016 3560 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 3560 231 231 0 5790 0
vsize: 24084
[startup+1170.41 s]
Raw data (loadavg): 1.05 1.06 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4293 0 0 0 116990 68 0 0 25 0 1 0 511687751 24662016 3565 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 3565 231 231 0 5790 0
vsize: 24084
[startup+1180.41 s]
Raw data (loadavg): 1.04 1.05 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4305 0 0 0 117989 69 0 0 25 0 1 0 511687751 24797184 3577 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6054 3577 231 231 0 5823 0
vsize: 24216
[startup+1190.41 s]
Raw data (loadavg): 1.03 1.05 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4321 0 0 0 118989 69 0 0 25 0 1 0 511687751 24797184 3593 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6054 3593 231 231 0 5823 0
vsize: 24216
[startup+1200.41 s]
Raw data (loadavg): 1.03 1.05 0.82 2/54 16299
Raw data (stat): 16244 (PBS4) R 16243 26298 26297 0 -1 0 4333 0 0 0 119989 69 0 0 25 0 1 0 511687751 24797184 3605 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6054 3605 231 231 0 5823 0
vsize: 24216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.03 1.05 0.82 1/54 16299
Raw data (stat): 16244 (PBS4) Z 16243 26298 26297 0 -1 1036 4333 0 0 0 119989 70 0 0 25 0 1 0 511687751 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.42
CPU time (s): 1200.6
CPU user time (s): 1199.9
CPU system time (s): 0.703892
CPU usage (%): 100.015
Max. virtual memory (Kb): 24216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####