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-test4.pi.opb
MD5SUM	09c7b63b87fdc5a38ccb26d9b87fe2d9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	119
Optimality of the best value was proved	NO
Number of terms in the objective function	6140
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	6140
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6140
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	6139
Total number of constraints	1437
Number of constraints which are clauses	1437
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	5
Maximum length of a constraint	172
Trace number 7699

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-17 15:51:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=663 boxname=wulflinc27 idbench=74 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  09c7b63b87fdc5a38ccb26d9b87fe2d9  /oldhome/oroussel/tmp/wulflinc27/normalized-test4.pi.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-test4.pi.opb
IDLAUNCH: 663
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        793472 kB
Buffers:         36536 kB
Cached:         166344 kB
SwapCached:       3160 kB
Active:         101216 kB
Inactive:       107728 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        793220 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            26592 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:11:28 (client local time) WITH STATUS 0 IN 1200.97 SECONDS
stats: 663 7 1200.97 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-test4.pi.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.14 1.00 0.71 2/54 10046
Raw data (stat): 10046 (runsolver) R 10045 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511731886 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.0004 s]
Raw data (loadavg): 1.12 1.00 0.71 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 991 7 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+19.9998 s]
Raw data (loadavg): 1.10 1.00 0.71 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 1986 12 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+29.9999 s]
Raw data (loadavg): 1.08 1.00 0.72 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 2981 18 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+39.9997 s]
Raw data (loadavg): 1.07 1.00 0.72 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 3975 24 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+50.0002 s]
Raw data (loadavg): 1.06 1.00 0.72 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 4969 30 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+60.0003 s]
Raw data (loadavg): 1.05 1.00 0.72 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 5964 35 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+70.0001 s]
Raw data (loadavg): 1.04 1.00 0.73 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 6960 39 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+80.0006 s]
Raw data (loadavg): 1.04 1.00 0.73 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 7955 45 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+90.0007 s]
Raw data (loadavg): 1.03 1.00 0.73 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 8949 51 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+100.001 s]
Raw data (loadavg): 1.02 1.00 0.73 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 9943 57 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+110.002 s]
Raw data (loadavg): 1.02 1.00 0.74 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 10937 63 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+120.002 s]
Raw data (loadavg): 1.02 1.00 0.74 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 11931 69 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+130.002 s]
Raw data (loadavg): 1.01 1.00 0.74 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 12925 75 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+140.001 s]
Raw data (loadavg): 1.01 1.00 0.74 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 714 0 0 0 13920 81 0 0 25 0 1 0 511731886 3686400 710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 710 231 231 0 669 0
vsize: 3600
[startup+150.002 s]
Raw data (loadavg): 1.01 1.00 0.74 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 14915 86 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+160.002 s]
Raw data (loadavg): 1.01 1.00 0.75 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 15909 92 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223456 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+170.002 s]
Raw data (loadavg): 1.01 1.00 0.75 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 16903 98 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223456 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+180.002 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 17898 103 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+190.002 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 18892 110 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+200.002 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 19886 116 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+210.002 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 20881 121 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+220.002 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 21875 127 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+230.002 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 715 0 0 0 22868 134 0 0 25 0 1 0 511731886 3686400 711 4294967295 134512640 135450300 3221224640 3221223456 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 711 231 231 0 669 0
vsize: 3600
[startup+240.002 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 716 0 0 0 23862 140 0 0 25 0 1 0 511731886 3686400 712 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 712 231 231 0 669 0
vsize: 3600
[startup+250.002 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 716 0 0 0 24855 147 0 0 25 0 1 0 511731886 3686400 712 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 712 231 231 0 669 0
vsize: 3600
[startup+260.003 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 716 0 0 0 25848 155 0 0 25 0 1 0 511731886 3686400 712 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 712 231 231 0 669 0
vsize: 3600
[startup+270.003 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 716 0 0 0 26842 161 0 0 25 0 1 0 511731886 3686400 712 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 900 712 231 231 0 669 0
vsize: 3600
[startup+280.003 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 811 0 0 0 27833 171 0 0 25 0 1 0 511731886 3977216 807 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 971 807 231 231 0 740 0
vsize: 3884
[startup+290.002 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 825 0 0 0 28817 186 0 0 25 0 1 0 511731886 4128768 821 4294967295 134512640 135450300 3221224640 3221223456 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1008 821 231 231 0 777 0
vsize: 4032
[startup+300.002 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 854 0 0 0 29802 201 0 0 25 0 1 0 511731886 4268032 850 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1042 850 231 231 0 811 0
vsize: 4168
[startup+310.002 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 875 0 0 0 30790 214 0 0 25 0 1 0 511731886 4268032 871 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1042 871 231 231 0 811 0
vsize: 4168
[startup+320.002 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 1059 0 0 0 31783 221 0 0 25 0 1 0 511731886 5644288 1055 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1378 1055 231 231 0 1147 0
vsize: 5512
[startup+330.003 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 1342 0 0 0 32783 222 0 0 25 0 1 0 511731886 7741440 1338 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1890 1338 231 231 0 1659 0
vsize: 7560
[startup+340.003 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 1617 0 0 0 33782 222 0 0 25 0 1 0 511731886 7741440 1613 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1890 1613 231 231 0 1659 0
vsize: 7560
[startup+350.003 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 1879 0 0 0 34782 223 0 0 25 0 1 0 511731886 11935744 1875 4294967295 134512640 135450300 3221224640 3221223504 134539122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2914 1875 231 231 0 2683 0
vsize: 11656
[startup+360.004 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 2283 0 0 0 35781 223 0 0 25 0 1 0 511731886 11935744 2279 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2914 2279 231 231 0 2683 0
vsize: 11656
[startup+370.004 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 2726 0 0 0 36781 224 0 0 25 0 1 0 511731886 12148736 2722 4294967295 134512640 135450300 3221224640 3221223456 134546776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2966 2722 231 231 0 2735 0
vsize: 11864
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 3063 0 0 0 37780 225 0 0 25 0 1 0 511731886 20537344 3059 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 3059 231 231 0 4783 0
vsize: 20056
[startup+390.004 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 3467 0 0 0 38778 227 0 0 25 0 1 0 511731886 20537344 3463 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 3463 231 231 0 4783 0
vsize: 20056
[startup+400.004 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 3781 0 0 0 39777 228 0 0 25 0 1 0 511731886 20537344 3777 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 3777 231 231 0 4783 0
vsize: 20056
[startup+410.004 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 4185 0 0 0 40777 229 0 0 25 0 1 0 511731886 20537344 4181 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 4181 231 231 0 4783 0
vsize: 20056
[startup+420.004 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 4572 0 0 0 41776 230 0 0 25 0 1 0 511731886 20537344 4568 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 4568 231 231 0 4783 0
vsize: 20056
[startup+430.005 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 4989 0 0 0 42775 231 0 0 25 0 1 0 511731886 37314560 4985 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 4985 231 231 0 8879 0
vsize: 36440
[startup+440.004 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 5360 0 0 0 43774 232 0 0 25 0 1 0 511731886 37314560 5356 4294967295 134512640 135450300 3221224640 3221223504 134539194 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 5356 231 231 0 8879 0
vsize: 36440
[startup+450.004 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 5759 0 0 0 44773 233 0 0 25 0 1 0 511731886 37314560 5755 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 5755 231 231 0 8879 0
vsize: 36440
[startup+460.005 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 6115 0 0 0 45773 234 0 0 25 0 1 0 511731886 37314560 6111 4294967295 134512640 135450300 3221224640 3221223060 134533460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6111 231 231 0 8879 0
vsize: 36440
[startup+470.005 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 6466 0 0 0 46772 234 0 0 25 0 1 0 511731886 37314560 6462 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6462 231 231 0 8879 0
vsize: 36440
[startup+480.006 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 6830 0 0 0 47771 236 0 0 25 0 1 0 511731886 37314560 6826 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6826 231 231 0 8879 0
vsize: 36440
[startup+490.006 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 7283 0 0 0 48770 237 0 0 25 0 1 0 511731886 37314560 7279 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 7279 231 231 0 8879 0
vsize: 36440
[startup+500.006 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 7661 0 0 0 49770 238 0 0 25 0 1 0 511731886 37416960 7657 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9135 7657 231 231 0 8904 0
vsize: 36540
[startup+510.006 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 7957 0 0 0 50769 239 0 0 25 0 1 0 511731886 37416960 7953 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9135 7953 231 231 0 8904 0
vsize: 36540
[startup+520.006 s]
Raw data (loadavg): 1.08 1.02 0.82 2/54 10046
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 8267 0 0 0 51768 239 0 0 25 0 1 0 511731886 37416960 8263 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9135 8263 231 231 0 8904 0
vsize: 36540
[startup+530.224 s]
Raw data (loadavg): 1.21 1.05 0.83 3/57 10090
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 8591 0 0 0 52786 242 0 0 25 0 1 0 511731886 37416960 8587 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9135 8587 231 231 0 8904 0
vsize: 36540
[startup+540.267 s]
Raw data (loadavg): 1.25 1.06 0.84 2/54 10099
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 8918 0 0 0 53789 243 0 0 25 0 1 0 511731886 37416960 8914 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9135 8914 231 231 0 8904 0
vsize: 36540
[startup+550.374 s]
Raw data (loadavg): 1.21 1.06 0.84 2/54 10099
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 9262 0 0 0 54799 244 0 0 25 0 1 0 511731886 70971392 9258 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 9258 231 231 0 17096 0
vsize: 69308
[startup+560.509 s]
Raw data (loadavg): 1.18 1.06 0.84 2/54 10099
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 9642 0 0 0 55813 245 0 0 25 0 1 0 511731886 70971392 9638 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 9638 231 231 0 17096 0
vsize: 69308
[startup+570.739 s]
Raw data (loadavg): 1.15 1.06 0.84 2/54 10099
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 9940 0 0 0 56835 245 0 0 25 0 1 0 511731886 70971392 9936 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 9936 231 231 0 17096 0
vsize: 69308
[startup+580.74 s]
Raw data (loadavg): 1.13 1.05 0.84 2/54 10099
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 10321 0 0 0 57834 246 0 0 25 0 1 0 511731886 70971392 10317 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 10317 231 231 0 17096 0
vsize: 69308
[startup+590.739 s]
Raw data (loadavg): 1.11 1.05 0.84 2/54 10099
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 10605 0 0 0 58833 247 0 0 25 0 1 0 511731886 70971392 10601 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 10601 231 231 0 17096 0
vsize: 69308
[startup+600.74 s]
Raw data (loadavg): 1.09 1.05 0.84 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 10950 0 0 0 59832 249 0 0 25 0 1 0 511731886 70971392 10946 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 10946 231 231 0 17096 0
vsize: 69308
[startup+610.74 s]
Raw data (loadavg): 1.08 1.05 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 11221 0 0 0 60831 250 0 0 25 0 1 0 511731886 70971392 11217 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 11217 231 231 0 17096 0
vsize: 69308
[startup+620.74 s]
Raw data (loadavg): 1.06 1.05 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 11557 0 0 0 61830 251 0 0 25 0 1 0 511731886 70971392 11553 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 11553 231 231 0 17096 0
vsize: 69308
[startup+630.74 s]
Raw data (loadavg): 1.05 1.04 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 11904 0 0 0 62830 252 0 0 25 0 1 0 511731886 70971392 11900 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 11900 231 231 0 17096 0
vsize: 69308
[startup+640.739 s]
Raw data (loadavg): 1.05 1.04 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 12205 0 0 0 63828 253 0 0 25 0 1 0 511731886 70971392 12201 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 12201 231 231 0 17096 0
vsize: 69308
[startup+650.74 s]
Raw data (loadavg): 1.04 1.04 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 12584 0 0 0 64828 254 0 0 25 0 1 0 511731886 70971392 12580 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 12580 231 231 0 17096 0
vsize: 69308
[startup+660.74 s]
Raw data (loadavg): 1.03 1.04 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 12905 0 0 0 65827 255 0 0 25 0 1 0 511731886 70971392 12901 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 12901 231 231 0 17096 0
vsize: 69308
[startup+670.74 s]
Raw data (loadavg): 1.03 1.04 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 13243 0 0 0 66826 256 0 0 25 0 1 0 511731886 70971392 13239 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 13239 231 231 0 17096 0
vsize: 69308
[startup+680.74 s]
Raw data (loadavg): 1.02 1.03 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 13512 0 0 0 67825 257 0 0 25 0 1 0 511731886 71102464 13508 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17359 13508 231 231 0 17128 0
vsize: 69436
[startup+690.739 s]
Raw data (loadavg): 1.02 1.03 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 13794 0 0 0 68823 259 0 0 25 0 1 0 511731886 71069696 13790 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 13790 231 231 0 17120 0
vsize: 69404
[startup+700.74 s]
Raw data (loadavg): 1.02 1.03 0.85 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 14145 0 0 0 69823 260 0 0 25 0 1 0 511731886 71069696 14141 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 14141 231 231 0 17120 0
vsize: 69404
[startup+710.741 s]
Raw data (loadavg): 1.01 1.03 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 14433 0 0 0 70822 260 0 0 25 0 1 0 511731886 71069696 14429 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 14429 231 231 0 17120 0
vsize: 69404
[startup+720.741 s]
Raw data (loadavg): 1.01 1.03 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 14762 0 0 0 71821 261 0 0 25 0 1 0 511731886 71069696 14758 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 14758 231 231 0 17120 0
vsize: 69404
[startup+730.742 s]
Raw data (loadavg): 1.01 1.03 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 15075 0 0 0 72820 262 0 0 25 0 1 0 511731886 71069696 15071 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 15071 231 231 0 17120 0
vsize: 69404
[startup+740.741 s]
Raw data (loadavg): 1.01 1.03 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 15364 0 0 0 73820 263 0 0 25 0 1 0 511731886 71069696 15360 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 15360 231 231 0 17120 0
vsize: 69404
[startup+750.742 s]
Raw data (loadavg): 1.00 1.02 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 15680 0 0 0 74819 265 0 0 25 0 1 0 511731886 71069696 15676 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 15676 231 231 0 17120 0
vsize: 69404
[startup+760.742 s]
Raw data (loadavg): 1.00 1.02 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 15991 0 0 0 75818 266 0 0 25 0 1 0 511731886 71069696 15987 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 15987 231 231 0 17120 0
vsize: 69404
[startup+770.742 s]
Raw data (loadavg): 1.00 1.02 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 16293 0 0 0 76817 266 0 0 25 0 1 0 511731886 71069696 16289 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 16289 231 231 0 17120 0
vsize: 69404
[startup+780.743 s]
Raw data (loadavg): 1.00 1.02 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 16630 0 0 0 77816 267 0 0 25 0 1 0 511731886 71069696 16626 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 16626 231 231 0 17120 0
vsize: 69404
[startup+790.743 s]
Raw data (loadavg): 1.00 1.02 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 16961 0 0 0 78816 268 0 0 25 0 1 0 511731886 71069696 16957 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 16957 231 231 0 17120 0
vsize: 69404
[startup+800.743 s]
Raw data (loadavg): 1.00 1.02 0.86 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 17324 0 0 0 79816 268 0 0 25 0 1 0 511731886 138178560 17320 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33735 17320 231 231 0 33504 0
vsize: 134940
[startup+810.744 s]
Raw data (loadavg): 1.00 1.02 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 17666 0 0 0 80809 276 0 0 25 0 1 0 511731886 138772480 17613 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33880 17613 231 231 0 33649 0
vsize: 135520
[startup+820.744 s]
Raw data (loadavg): 1.00 1.02 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 18048 0 0 0 81795 290 0 0 25 0 1 0 511731886 139247616 17995 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33996 17995 231 231 0 33765 0
vsize: 135984
[startup+830.745 s]
Raw data (loadavg): 1.00 1.02 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 18406 0 0 0 82783 302 0 0 25 0 1 0 511731886 139407360 18353 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34035 18353 231 231 0 33804 0
vsize: 136140
[startup+840.745 s]
Raw data (loadavg): 1.00 1.02 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 18700 0 0 0 83781 304 0 0 25 0 1 0 511731886 139407360 18647 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34035 18647 231 231 0 33804 0
vsize: 136140
[startup+850.745 s]
Raw data (loadavg): 1.00 1.01 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 18995 0 0 0 84781 304 0 0 25 0 1 0 511731886 139407360 18942 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34035 18942 231 231 0 33804 0
vsize: 136140
[startup+860.745 s]
Raw data (loadavg): 1.00 1.01 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19286 0 0 0 85780 305 0 0 25 0 1 0 511731886 139407360 19233 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34035 19233 231 231 0 33804 0
vsize: 136140
[startup+870.745 s]
Raw data (loadavg): 1.00 1.01 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19487 0 0 0 86768 318 0 0 25 0 1 0 511731886 140414976 19434 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34281 19434 231 231 0 34050 0
vsize: 137124
[startup+880.746 s]
Raw data (loadavg): 1.00 1.01 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19520 0 0 0 87750 336 0 0 25 0 1 0 511731886 140554240 19467 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34315 19467 231 231 0 34084 0
vsize: 137260
[startup+890.746 s]
Raw data (loadavg): 1.00 1.01 0.87 2/54 10101
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19570 0 0 0 88730 356 0 0 25 0 1 0 511731886 140689408 19517 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34348 19517 231 231 0 34117 0
vsize: 137392
[startup+900.746 s]
Raw data (loadavg): 1.00 1.01 0.87 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19594 0 0 0 89729 357 0 0 25 0 1 0 511731886 140824576 19541 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34381 19541 231 231 0 34150 0
vsize: 137524
[startup+910.747 s]
Raw data (loadavg): 1.00 1.01 0.87 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19617 0 0 0 90729 357 0 0 25 0 1 0 511731886 140972032 19564 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34417 19564 231 231 0 34186 0
vsize: 137668
[startup+920.747 s]
Raw data (loadavg): 1.00 1.01 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19628 0 0 0 91728 358 0 0 25 0 1 0 511731886 140972032 19575 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34417 19575 231 231 0 34186 0
vsize: 137668
[startup+930.747 s]
Raw data (loadavg): 1.00 1.01 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19653 0 0 0 92727 360 0 0 25 0 1 0 511731886 141119488 19600 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34453 19600 231 231 0 34222 0
vsize: 137812
[startup+940.747 s]
Raw data (loadavg): 1.00 1.01 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19672 0 0 0 93727 360 0 0 25 0 1 0 511731886 141283328 19619 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34493 19619 231 231 0 34262 0
vsize: 137972
[startup+950.748 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19690 0 0 0 94727 361 0 0 25 0 1 0 511731886 141283328 19637 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34493 19637 231 231 0 34262 0
vsize: 137972
[startup+960.748 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19690 0 0 0 95727 361 0 0 25 0 1 0 511731886 141283328 19637 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34493 19637 231 231 0 34262 0
vsize: 137972
[startup+970.748 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19712 0 0 0 96727 361 0 0 25 0 1 0 511731886 141430784 19659 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34529 19659 231 231 0 34298 0
vsize: 138116
[startup+980.749 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19712 0 0 0 97727 361 0 0 25 0 1 0 511731886 141430784 19659 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34529 19659 231 231 0 34298 0
vsize: 138116
[startup+990.749 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19712 0 0 0 98727 361 0 0 25 0 1 0 511731886 141430784 19659 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34529 19659 231 231 0 34298 0
vsize: 138116
[startup+1000.75 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19712 0 0 0 99727 361 0 0 25 0 1 0 511731886 141430784 19659 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34529 19659 231 231 0 34298 0
vsize: 138116
[startup+1010.75 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19724 0 0 0 100727 361 0 0 25 0 1 0 511731886 141578240 19671 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34565 19671 231 231 0 34334 0
vsize: 138260
[startup+1020.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19742 0 0 0 101727 361 0 0 25 0 1 0 511731886 141578240 19689 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34565 19689 231 231 0 34334 0
vsize: 138260
[startup+1030.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19760 0 0 0 102728 361 0 0 25 0 1 0 511731886 141742080 19707 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34605 19707 231 231 0 34374 0
vsize: 138420
[startup+1040.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19760 0 0 0 103728 361 0 0 25 0 1 0 511731886 141742080 19707 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34605 19707 231 231 0 34374 0
vsize: 138420
[startup+1050.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19760 0 0 0 104728 361 0 0 25 0 1 0 511731886 141742080 19707 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34605 19707 231 231 0 34374 0
vsize: 138420
[startup+1060.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19760 0 0 0 105728 362 0 0 25 0 1 0 511731886 141742080 19707 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34605 19707 231 231 0 34374 0
vsize: 138420
[startup+1070.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19772 0 0 0 106728 362 0 0 25 0 1 0 511731886 141742080 19719 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34605 19719 231 231 0 34374 0
vsize: 138420
[startup+1080.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19795 0 0 0 107728 362 0 0 25 0 1 0 511731886 141905920 19742 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19742 231 231 0 34414 0
vsize: 138580
[startup+1090.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19807 0 0 0 108727 362 0 0 25 0 1 0 511731886 141905920 19754 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19754 231 231 0 34414 0
vsize: 138580
[startup+1100.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 109728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1110.75 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 110728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1120.75 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 111728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1130.75 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 112728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1140.75 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 113728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1150.75 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 114728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1160.75 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 115728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1170.75 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 116728 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1180.76 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 117729 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1190.76 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 118729 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
[startup+1200.76 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 10103
Raw data (stat): 10046 (PBS4) R 10045 18865 18864 0 -1 0 19808 0 0 0 119729 363 0 0 25 0 1 0 511731886 141905920 19755 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34645 19755 231 231 0 34414 0
vsize: 138580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.79 s]
Raw data (loadavg): 1.00 1.00 0.90 1/54 10103
Raw data (stat): 10046 (PBS4) Z 10045 18865 18864 0 -1 1036 19808 0 0 0 119729 367 0 0 25 0 1 0 511731886 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.79
CPU time (s): 1200.97
CPU user time (s): 1197.29
CPU system time (s): 3.67544
CPU usage (%): 100.015
Max. virtual memory (Kb): 138580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####