PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 17688

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 11:22:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19233 boxname=wulflinc31 idbench=1480 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 19233
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        631376 kB
Buffers:         33584 kB
Cached:         342120 kB
SwapCached:        540 kB
Active:         125224 kB
Inactive:       252472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        631124 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            20048 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 11:42:18 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 19233 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x12.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.94 0.98 0.99 2/54 25637
Raw data (stat): 25637 (runsolver) R 25636 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544669878 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 588 0 0 0 995 4 0 0 25 0 1 0 544669878 3399680 524 4294967295 134512640 135450300 3221224624 3221223344 134535937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 830 524 231 231 0 599 0
vsize: 3320
[startup+20.0011 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 820 0 0 0 1992 7 0 0 25 0 1 0 544669878 4591616 756 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1121 756 231 231 0 890 0
vsize: 4484
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 1184 0 0 0 2989 10 0 0 25 0 1 0 544669878 6852608 1120 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1673 1120 231 231 0 1442 0
vsize: 6692
[startup+40.0019 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 1426 0 0 0 3988 11 0 0 25 0 1 0 544669878 6987776 1362 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1706 1362 231 231 0 1475 0
vsize: 6824
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 1571 0 0 0 4988 11 0 0 25 0 1 0 544669878 11182080 1507 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2730 1507 231 231 0 2499 0
vsize: 10920
[startup+60.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 1873 0 0 0 5985 14 0 0 25 0 1 0 544669878 11329536 1809 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2766 1809 231 231 0 2535 0
vsize: 11064
[startup+70.0037 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 2113 0 0 0 6984 16 0 0 25 0 1 0 544669878 11464704 2049 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2799 2049 231 231 0 2568 0
vsize: 11196
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 2283 0 0 0 7984 16 0 0 25 0 1 0 544669878 11464704 2219 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2799 2219 231 231 0 2568 0
vsize: 11196
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 2658 0 0 0 8983 18 0 0 25 0 1 0 544669878 19853312 2594 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4847 2594 231 231 0 4616 0
vsize: 19388
[startup+100.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 2991 0 0 0 9982 18 0 0 25 0 1 0 544669878 19853312 2927 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4847 2927 231 231 0 4616 0
vsize: 19388
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 3378 0 0 0 10981 19 0 0 25 0 1 0 544669878 20054016 3314 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4896 3314 231 231 0 4665 0
vsize: 19584
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 3884 0 0 0 11980 21 0 0 25 0 1 0 544669878 20054016 3820 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4896 3820 231 231 0 4665 0
vsize: 19584
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 4373 0 0 0 12977 24 0 0 25 0 1 0 544669878 20054016 4309 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4896 4309 231 231 0 4665 0
vsize: 19584
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 4503 0 0 0 13976 25 0 0 25 0 1 0 544669878 20189184 4439 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4439 231 231 0 4698 0
vsize: 19716
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 4548 0 0 0 14976 25 0 0 25 0 1 0 544669878 20189184 4484 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4484 231 231 0 4698 0
vsize: 19716
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 4692 0 0 0 15975 26 0 0 25 0 1 0 544669878 20189184 4628 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4628 231 231 0 4698 0
vsize: 19716
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5063 0 0 0 16973 28 0 0 25 0 1 0 544669878 36966400 4999 4294967295 134512640 135450300 3221224624 3221223100 134572063 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9025 4999 231 231 0 8794 0
vsize: 36100
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5292 0 0 0 17972 30 0 0 25 0 1 0 544669878 37101568 5228 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9058 5228 231 231 0 8827 0
vsize: 36232
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5318 0 0 0 18972 30 0 0 25 0 1 0 544669878 37101568 5254 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9058 5254 231 231 0 8827 0
vsize: 36232
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5338 0 0 0 19972 30 0 0 25 0 1 0 544669878 37101568 5274 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9058 5274 231 231 0 8827 0
vsize: 36232
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5366 0 0 0 20972 30 0 0 25 0 1 0 544669878 37101568 5302 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9058 5302 231 231 0 8827 0
vsize: 36232
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5394 0 0 0 21973 30 0 0 25 0 1 0 544669878 37101568 5330 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9058 5330 231 231 0 8827 0
vsize: 36232
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5428 0 0 0 22973 30 0 0 25 0 1 0 544669878 37101568 5364 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9058 5364 231 231 0 8827 0
vsize: 36232
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5530 0 0 0 23972 31 0 0 25 0 1 0 544669878 37236736 5466 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5466 231 231 0 8860 0
vsize: 36364
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5569 0 0 0 24972 31 0 0 25 0 1 0 544669878 37236736 5505 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5505 231 231 0 8860 0
vsize: 36364
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5631 0 0 0 25972 32 0 0 25 0 1 0 544669878 37236736 5567 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5567 231 231 0 8860 0
vsize: 36364
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5682 0 0 0 26971 32 0 0 25 0 1 0 544669878 37236736 5618 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5618 231 231 0 8860 0
vsize: 36364
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5745 0 0 0 27971 33 0 0 25 0 1 0 544669878 37236736 5681 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5681 231 231 0 8860 0
vsize: 36364
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5792 0 0 0 28971 33 0 0 25 0 1 0 544669878 37236736 5728 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5728 231 231 0 8860 0
vsize: 36364
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5844 0 0 0 29971 33 0 0 25 0 1 0 544669878 37236736 5780 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5780 231 231 0 8860 0
vsize: 36364
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5893 0 0 0 30971 33 0 0 25 0 1 0 544669878 37236736 5829 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5829 231 231 0 8860 0
vsize: 36364
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 5957 0 0 0 31971 33 0 0 25 0 1 0 544669878 37236736 5893 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5893 231 231 0 8860 0
vsize: 36364
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6046 0 0 0 32971 34 0 0 25 0 1 0 544669878 37236736 5982 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5982 231 231 0 8860 0
vsize: 36364
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6085 0 0 0 33971 34 0 0 25 0 1 0 544669878 37236736 6021 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 6021 231 231 0 8860 0
vsize: 36364
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6117 0 0 0 34971 34 0 0 25 0 1 0 544669878 37236736 6053 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 6053 231 231 0 8860 0
vsize: 36364
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6180 0 0 0 35971 34 0 0 25 0 1 0 544669878 37236736 6116 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 6116 231 231 0 8860 0
vsize: 36364
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6223 0 0 0 36971 35 0 0 25 0 1 0 544669878 37236736 6159 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 6159 231 231 0 8860 0
vsize: 36364
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6280 0 0 0 37971 35 0 0 25 0 1 0 544669878 37236736 6216 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 6216 231 231 0 8860 0
vsize: 36364
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6386 0 0 0 38970 35 0 0 25 0 1 0 544669878 37433344 6273 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6273 231 231 0 8908 0
vsize: 36556
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6418 0 0 0 39971 35 0 0 25 0 1 0 544669878 37433344 6305 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6305 231 231 0 8908 0
vsize: 36556
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6446 0 0 0 40971 35 0 0 25 0 1 0 544669878 37433344 6333 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6333 231 231 0 8908 0
vsize: 36556
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6458 0 0 0 41971 36 0 0 25 0 1 0 544669878 37433344 6345 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6345 231 231 0 8908 0
vsize: 36556
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6538 0 0 0 42971 36 0 0 25 0 1 0 544669878 37433344 6425 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6425 231 231 0 8908 0
vsize: 36556
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6754 0 0 0 43970 37 0 0 25 0 1 0 544669878 37433344 6641 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6641 231 231 0 8908 0
vsize: 36556
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6852 0 0 0 44970 37 0 0 25 0 1 0 544669878 37433344 6739 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6739 231 231 0 8908 0
vsize: 36556
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 6898 0 0 0 45970 37 0 0 25 0 1 0 544669878 37433344 6785 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6785 231 231 0 8908 0
vsize: 36556
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7078 0 0 0 46969 38 0 0 25 0 1 0 544669878 37433344 6965 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 6965 231 231 0 8908 0
vsize: 36556
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7121 0 0 0 47969 38 0 0 25 0 1 0 544669878 37433344 7008 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 7008 231 231 0 8908 0
vsize: 36556
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7360 0 0 0 48969 39 0 0 25 0 1 0 544669878 37576704 7247 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7247 231 231 0 8943 0
vsize: 36696
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7505 0 0 0 49968 40 0 0 25 0 1 0 544669878 37576704 7392 4294967295 134512640 135450300 3221224624 3221223440 134547914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7392 231 231 0 8943 0
vsize: 36696
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7566 0 0 0 50968 40 0 0 25 0 1 0 544669878 37576704 7453 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7453 231 231 0 8943 0
vsize: 36696
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7610 0 0 0 51968 40 0 0 25 0 1 0 544669878 37576704 7497 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7497 231 231 0 8943 0
vsize: 36696
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7666 0 0 0 52968 40 0 0 25 0 1 0 544669878 37576704 7553 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7553 231 231 0 8943 0
vsize: 36696
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7716 0 0 0 53968 41 0 0 25 0 1 0 544669878 37576704 7603 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7603 231 231 0 8943 0
vsize: 36696
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7768 0 0 0 54968 41 0 0 25 0 1 0 544669878 37576704 7655 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7655 231 231 0 8943 0
vsize: 36696
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7831 0 0 0 55967 41 0 0 25 0 1 0 544669878 37576704 7718 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7718 231 231 0 8943 0
vsize: 36696
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7902 0 0 0 56967 42 0 0 25 0 1 0 544669878 37576704 7789 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7789 231 231 0 8943 0
vsize: 36696
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7945 0 0 0 57967 42 0 0 25 0 1 0 544669878 37576704 7832 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7832 231 231 0 8943 0
vsize: 36696
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 7972 0 0 0 58967 42 0 0 25 0 1 0 544669878 37576704 7859 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7859 231 231 0 8943 0
vsize: 36696
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8019 0 0 0 59967 43 0 0 25 0 1 0 544669878 37576704 7906 4294967295 134512640 135450300 3221224624 3221223440 134547200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7906 231 231 0 8943 0
vsize: 36696
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8023 0 0 0 60967 43 0 0 25 0 1 0 544669878 37576704 7910 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7910 231 231 0 8943 0
vsize: 36696
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8026 0 0 0 61967 43 0 0 25 0 1 0 544669878 37576704 7913 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7913 231 231 0 8943 0
vsize: 36696
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8048 0 0 0 62967 43 0 0 25 0 1 0 544669878 37576704 7935 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7935 231 231 0 8943 0
vsize: 36696
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8088 0 0 0 63966 43 0 0 25 0 1 0 544669878 37576704 7975 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 7975 231 231 0 8943 0
vsize: 36696
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8127 0 0 0 64967 44 0 0 25 0 1 0 544669878 37576704 8014 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8014 231 231 0 8943 0
vsize: 36696
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8150 0 0 0 65967 44 0 0 25 0 1 0 544669878 37576704 8037 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8037 231 231 0 8943 0
vsize: 36696
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8183 0 0 0 66967 44 0 0 25 0 1 0 544669878 37576704 8070 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8070 231 231 0 8943 0
vsize: 36696
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8204 0 0 0 67967 44 0 0 25 0 1 0 544669878 37576704 8091 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8091 231 231 0 8943 0
vsize: 36696
[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8237 0 0 0 68967 44 0 0 25 0 1 0 544669878 37576704 8124 4294967295 134512640 135450300 3221224624 3221223232 134537600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8124 231 231 0 8943 0
vsize: 36696
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8263 0 0 0 69967 44 0 0 25 0 1 0 544669878 37576704 8150 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8150 231 231 0 8943 0
vsize: 36696
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8285 0 0 0 70967 44 0 0 25 0 1 0 544669878 37576704 8172 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8172 231 231 0 8943 0
vsize: 36696
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8546 0 0 0 71966 46 0 0 25 0 1 0 544669878 37740544 8433 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8433 231 231 0 8983 0
vsize: 36856
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8607 0 0 0 72966 46 0 0 25 0 1 0 544669878 37740544 8494 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8494 231 231 0 8983 0
vsize: 36856
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8624 0 0 0 73966 46 0 0 25 0 1 0 544669878 37740544 8511 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8511 231 231 0 8983 0
vsize: 36856
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8659 0 0 0 74966 46 0 0 25 0 1 0 544669878 37740544 8546 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8546 231 231 0 8983 0
vsize: 36856
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8751 0 0 0 75966 46 0 0 25 0 1 0 544669878 37740544 8638 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8638 231 231 0 8983 0
vsize: 36856
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8752 0 0 0 76966 46 0 0 25 0 1 0 544669878 37740544 8639 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8639 231 231 0 8983 0
vsize: 36856
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8752 0 0 0 77966 47 0 0 25 0 1 0 544669878 37740544 8639 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8639 231 231 0 8983 0
vsize: 36856
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8753 0 0 0 78966 47 0 0 25 0 1 0 544669878 37740544 8640 4294967295 134512640 135450300 3221224624 3221223344 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8640 231 231 0 8983 0
vsize: 36856
[startup+800.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8753 0 0 0 79966 47 0 0 25 0 1 0 544669878 37740544 8640 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8640 231 231 0 8983 0
vsize: 36856
[startup+810.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8754 0 0 0 80966 47 0 0 25 0 1 0 544669878 37740544 8641 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8641 231 231 0 8983 0
vsize: 36856
[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8754 0 0 0 81966 47 0 0 25 0 1 0 544669878 37740544 8641 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8641 231 231 0 8983 0
vsize: 36856
[startup+830.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8759 0 0 0 82966 48 0 0 25 0 1 0 544669878 37740544 8646 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8646 231 231 0 8983 0
vsize: 36856
[startup+840.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8762 0 0 0 83965 48 0 0 25 0 1 0 544669878 37740544 8649 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8649 231 231 0 8983 0
vsize: 36856
[startup+850.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8762 0 0 0 84965 49 0 0 25 0 1 0 544669878 37740544 8649 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8649 231 231 0 8983 0
vsize: 36856
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8763 0 0 0 85965 49 0 0 25 0 1 0 544669878 37740544 8650 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8650 231 231 0 8983 0
vsize: 36856
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8763 0 0 0 86965 49 0 0 25 0 1 0 544669878 37740544 8650 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8650 231 231 0 8983 0
vsize: 36856
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8764 0 0 0 87964 50 0 0 25 0 1 0 544669878 37740544 8651 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8651 231 231 0 8983 0
vsize: 36856
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8766 0 0 0 88964 50 0 0 25 0 1 0 544669878 37740544 8653 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8653 231 231 0 8983 0
vsize: 36856
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8772 0 0 0 89964 51 0 0 25 0 1 0 544669878 37859328 8659 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8659 231 231 0 9012 0
vsize: 36972
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8772 0 0 0 90964 51 0 0 25 0 1 0 544669878 37859328 8659 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8659 231 231 0 9012 0
vsize: 36972
[startup+920.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8773 0 0 0 91964 51 0 0 25 0 1 0 544669878 37859328 8660 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8660 231 231 0 9012 0
vsize: 36972
[startup+930.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8773 0 0 0 92964 51 0 0 25 0 1 0 544669878 37859328 8660 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8660 231 231 0 9012 0
vsize: 36972
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8774 0 0 0 93965 51 0 0 25 0 1 0 544669878 37859328 8661 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8661 231 231 0 9012 0
vsize: 36972
[startup+950.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8775 0 0 0 94965 51 0 0 25 0 1 0 544669878 37859328 8662 4294967295 134512640 135450300 3221224624 3221222976 134533163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8662 231 231 0 9012 0
vsize: 36972
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8779 0 0 0 95964 52 0 0 25 0 1 0 544669878 37859328 8666 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8666 231 231 0 9012 0
vsize: 36972
[startup+970.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8792 0 0 0 96963 53 0 0 25 0 1 0 544669878 37859328 8679 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8679 231 231 0 9012 0
vsize: 36972
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8799 0 0 0 97963 53 0 0 25 0 1 0 544669878 37859328 8686 4294967295 134512640 135450300 3221224624 3221223088 134532775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8686 231 231 0 9012 0
vsize: 36972
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8802 0 0 0 98963 54 0 0 25 0 1 0 544669878 37859328 8689 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8689 231 231 0 9012 0
vsize: 36972
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8803 0 0 0 99963 54 0 0 25 0 1 0 544669878 37859328 8690 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8690 231 231 0 9012 0
vsize: 36972
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8803 0 0 0 100963 54 0 0 25 0 1 0 544669878 37859328 8690 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8690 231 231 0 9012 0
vsize: 36972
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8804 0 0 0 101963 54 0 0 25 0 1 0 544669878 37859328 8691 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8691 231 231 0 9012 0
vsize: 36972
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8807 0 0 0 102963 54 0 0 25 0 1 0 544669878 37859328 8694 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8694 231 231 0 9012 0
vsize: 36972
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8808 0 0 0 103963 54 0 0 25 0 1 0 544669878 37859328 8695 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8695 231 231 0 9012 0
vsize: 36972
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8808 0 0 0 104963 54 0 0 25 0 1 0 544669878 37859328 8695 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8695 231 231 0 9012 0
vsize: 36972
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8810 0 0 0 105963 54 0 0 25 0 1 0 544669878 37859328 8697 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 8697 231 231 0 9012 0
vsize: 36972
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8831 0 0 0 106963 55 0 0 25 0 1 0 544669878 38006784 8718 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 8718 231 231 0 9048 0
vsize: 37116
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8834 0 0 0 107963 55 0 0 25 0 1 0 544669878 38006784 8721 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 8721 231 231 0 9048 0
vsize: 37116
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8834 0 0 0 108963 55 0 0 25 0 1 0 544669878 38006784 8721 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 8721 231 231 0 9048 0
vsize: 37116
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8835 0 0 0 109963 55 0 0 25 0 1 0 544669878 38006784 8722 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 8722 231 231 0 9048 0
vsize: 37116
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8838 0 0 0 110963 56 0 0 25 0 1 0 544669878 38006784 8725 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 8725 231 231 0 9048 0
vsize: 37116
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8941 0 0 0 111962 56 0 0 25 0 1 0 544669878 38400000 8731 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8731 231 231 0 9144 0
vsize: 37500
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8944 0 0 0 112962 57 0 0 25 0 1 0 544669878 38400000 8734 4294967295 134512640 135450300 3221224624 3221223344 134535963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8734 231 231 0 9144 0
vsize: 37500
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8949 0 0 0 113963 57 0 0 25 0 1 0 544669878 38400000 8739 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8739 231 231 0 9144 0
vsize: 37500
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8955 0 0 0 114962 57 0 0 25 0 1 0 544669878 38400000 8745 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8745 231 231 0 9144 0
vsize: 37500
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8956 0 0 0 115962 57 0 0 25 0 1 0 544669878 38400000 8746 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8746 231 231 0 9144 0
vsize: 37500
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8956 0 0 0 116962 57 0 0 25 0 1 0 544669878 38400000 8746 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8746 231 231 0 9144 0
vsize: 37500
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8956 0 0 0 117962 57 0 0 25 0 1 0 544669878 38400000 8746 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8746 231 231 0 9144 0
vsize: 37500
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8956 0 0 0 118963 57 0 0 25 0 1 0 544669878 38400000 8746 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8746 231 231 0 9144 0
vsize: 37500
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25637
Raw data (stat): 25637 (PBS4) R 25636 23176 23175 0 -1 0 8956 0 0 0 119963 57 0 0 25 0 1 0 544669878 38400000 8746 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 8746 231 231 0 9144 0
vsize: 37500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 25637
Raw data (stat): 25637 (PBS4) Z 25636 23176 23175 0 -1 1036 8956 0 0 0 119963 59 0 0 25 0 1 0 544669878 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.06
CPU time (s): 1200.23
CPU user time (s): 1199.63
CPU system time (s): 0.595909
CPU usage (%): 100.014
Max. virtual memory (Kb): 37500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####