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/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
MD5SUM	e8f0ca38acbe8c57203147fb9147be3a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	487.167
Number of variables	84836
Total number of constraints	245062
Number of constraints which are clauses	233598
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	11464
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 7880

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-17 16:55:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2733 boxname=wulflinc10 idbench=304 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  e8f0ca38acbe8c57203147fb9147be3a  /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.unbounded.all.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.unbounded.all.ucl.opb
IDLAUNCH: 2733
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        799020 kB
Buffers:         36660 kB
Cached:         177104 kB
SwapCached:        164 kB
Active:          87156 kB
Inactive:       129684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        798768 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            13204 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:15:03 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 2733 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.unbounded.all.ucl.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.93 0.97 0.91 2/54 18526
Raw data (stat): 18526 (runsolver) R 18525 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453902206 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.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 8911 0 0 0 977 22 0 0 25 0 1 0 453902206 33923072 7316 4294967295 134512640 135450300 3221224624 3221157488 134515411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8282 7316 231 231 0 8051 0
vsize: 33128
[startup+19.9998 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 10998 0 0 0 1971 27 0 0 25 0 1 0 453902206 41476096 9079 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10126 9079 231 231 0 9895 0
vsize: 40504
[startup+29.9994 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 11506 0 0 0 2969 29 0 0 25 0 1 0 453902206 43057152 9421 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10512 9421 231 231 0 10281 0
vsize: 42048
[startup+39.999 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 11740 0 0 0 3967 32 0 0 25 0 1 0 453902206 44060672 9622 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10757 9622 231 231 0 10526 0
vsize: 43028
[startup+49.9996 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 12256 0 0 0 4964 35 0 0 25 0 1 0 453902206 45588480 9972 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11130 9972 231 231 0 10899 0
vsize: 44520
[startup+59.9991 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 12871 0 0 0 5963 37 0 0 25 0 1 0 453902206 47841280 10421 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11680 10421 231 231 0 11449 0
vsize: 46720
[startup+69.9991 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 13272 0 0 0 6960 39 0 0 25 0 1 0 453902206 48836608 10656 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11923 10656 231 231 0 11692 0
vsize: 47692
[startup+79.9993 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 13364 0 0 0 7959 41 0 0 25 0 1 0 453902206 49168384 10748 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12004 10748 231 231 0 11773 0
vsize: 48016
[startup+89.9988 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 13697 0 0 0 8958 42 0 0 25 0 1 0 453902206 50790400 11081 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12400 11081 231 231 0 12169 0
vsize: 49600
[startup+99.9984 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 13916 0 0 0 9956 43 0 0 25 0 1 0 453902206 50925568 11134 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12433 11134 231 231 0 12202 0
vsize: 49732
[startup+109.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 14043 0 0 0 10955 44 0 0 25 0 1 0 453902206 51466240 11261 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12565 11261 231 231 0 12334 0
vsize: 50260
[startup+119.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 14367 0 0 0 11953 46 0 0 25 0 1 0 453902206 52277248 11419 4294967295 134512640 135450300 3221224624 3221223564 134530278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12763 11419 231 231 0 12532 0
vsize: 51052
[startup+129.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 14521 0 0 0 12951 48 0 0 25 0 1 0 453902206 52936704 11540 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12924 11540 231 231 0 12693 0
vsize: 51696
[startup+139.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 14896 0 0 0 13949 50 0 0 25 0 1 0 453902206 54407168 11816 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13283 11816 231 231 0 13052 0
vsize: 53132
[startup+149.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 15200 0 0 0 14947 52 0 0 25 0 1 0 453902206 55083008 11954 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13448 11954 231 231 0 13217 0
vsize: 53792
[startup+159.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 15374 0 0 0 15945 54 0 0 25 0 1 0 453902206 55619584 12095 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13579 12095 231 231 0 13348 0
vsize: 54316
[startup+169.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 15492 0 0 0 16944 55 0 0 25 0 1 0 453902206 56025088 12213 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13678 12213 231 231 0 13447 0
vsize: 54712
[startup+179.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 15596 0 0 0 17943 57 0 0 25 0 1 0 453902206 56291328 12284 4294967295 134512640 135450300 3221224624 3221223488 134539244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13743 12284 231 231 0 13512 0
vsize: 54972
[startup+189.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 15883 0 0 0 18941 58 0 0 25 0 1 0 453902206 56553472 12339 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13807 12339 231 231 0 13576 0
vsize: 55228
[startup+199.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 15958 0 0 0 19940 59 0 0 25 0 1 0 453902206 56688640 12414 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13840 12414 231 231 0 13609 0
vsize: 55360
[startup+209.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 15998 0 0 0 20938 61 0 0 25 0 1 0 453902206 56688640 12454 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13840 12454 231 231 0 13609 0
vsize: 55360
[startup+219.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 16237 0 0 0 21937 63 0 0 25 0 1 0 453902206 56819712 12494 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13872 12494 231 231 0 13641 0
vsize: 55488
[startup+229.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 16272 0 0 0 22935 64 0 0 25 0 1 0 453902206 65208320 12529 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15920 12529 231 231 0 15689 0
vsize: 63680
[startup+239.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 16464 0 0 0 23933 67 0 0 25 0 1 0 453902206 65208320 12555 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15920 12555 231 231 0 15689 0
vsize: 63680
[startup+249.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 16502 0 0 0 24931 69 0 0 25 0 1 0 453902206 65208320 12593 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15920 12593 231 231 0 15689 0
vsize: 63680
[startup+259.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 16569 0 0 0 25930 70 0 0 25 0 1 0 453902206 65339392 12627 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15952 12627 231 231 0 15721 0
vsize: 63808
[startup+269.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 16762 0 0 0 26929 71 0 0 25 0 1 0 453902206 65339392 12654 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15952 12654 231 231 0 15721 0
vsize: 63808
[startup+279.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 16853 0 0 0 27928 72 0 0 25 0 1 0 453902206 65736704 12712 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16049 12712 231 231 0 15818 0
vsize: 64196
[startup+289.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17229 0 0 0 28927 74 0 0 25 0 1 0 453902206 66666496 12856 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16276 12856 231 231 0 16045 0
vsize: 65104
[startup+299.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18526
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17288 0 0 0 29926 74 0 0 25 0 1 0 453902206 66797568 12882 4294967295 134512640 135450300 3221224624 3221223032 134533041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16308 12882 231 231 0 16077 0
vsize: 65232
[startup+310.001 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 18564
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17316 0 0 0 30925 76 0 0 25 0 1 0 453902206 66797568 12910 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16308 12910 231 231 0 16077 0
vsize: 65232
[startup+320.187 s]
Raw data (loadavg): 1.22 1.02 0.93 3/56 18573
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17510 0 0 0 31942 78 0 0 25 0 1 0 453902206 66797568 12938 4294967295 134512640 135450300 3221224624 3221223232 134537664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16308 12938 231 231 0 16077 0
vsize: 65232
[startup+330.187 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 18579
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17543 0 0 0 32941 79 0 0 25 0 1 0 453902206 66797568 12971 4294967295 134512640 135450300 3221224624 3221223056 134533419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16308 12971 231 231 0 16077 0
vsize: 65232
[startup+340.187 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 18579
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17598 0 0 0 33940 80 0 0 25 0 1 0 453902206 67067904 13026 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16374 13026 231 231 0 16143 0
vsize: 65496
[startup+350.187 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 18579
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17645 0 0 0 34939 81 0 0 25 0 1 0 453902206 67231744 13073 4294967295 134512640 135450300 3221224624 3221223484 134539293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16414 13073 231 231 0 16183 0
vsize: 65656
[startup+360.187 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 18579
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17676 0 0 0 35939 82 0 0 25 0 1 0 453902206 67231744 13104 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16414 13104 231 231 0 16183 0
vsize: 65656
[startup+370.187 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 18579
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17874 0 0 0 36937 83 0 0 25 0 1 0 453902206 67231744 13136 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16414 13136 231 231 0 16183 0
vsize: 65656
[startup+380.188 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 18579
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17888 0 0 0 37936 85 0 0 25 0 1 0 453902206 67231744 13150 4294967295 134512640 135450300 3221224624 3221222912 134598163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16414 13150 231 231 0 16183 0
vsize: 65656
[startup+390.187 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 18579
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 17921 0 0 0 38936 85 0 0 25 0 1 0 453902206 67231744 13183 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16414 13183 231 231 0 16183 0
vsize: 65656
[startup+400.187 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18170 0 0 0 39935 86 0 0 25 0 1 0 453902206 67362816 13233 4294967295 134512640 135450300 3221224624 3221223468 134538368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16446 13233 231 231 0 16215 0
vsize: 65784
[startup+410.187 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18255 0 0 0 40935 87 0 0 25 0 1 0 453902206 68177920 13318 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16645 13318 231 231 0 16414 0
vsize: 66580
[startup+420.186 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18433 0 0 0 41933 88 0 0 25 0 1 0 453902206 68177920 13330 4294967295 134512640 135450300 3221224624 3221223552 134539676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16645 13330 231 231 0 16414 0
vsize: 66580
[startup+430.187 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18437 0 0 0 42933 89 0 0 25 0 1 0 453902206 68177920 13334 4294967295 134512640 135450300 3221224624 3221223456 134538373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16645 13334 231 231 0 16414 0
vsize: 66580
[startup+440.187 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18447 0 0 0 43933 89 0 0 25 0 1 0 453902206 68177920 13344 4294967295 134512640 135450300 3221224624 3221223360 134538979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16645 13344 231 231 0 16414 0
vsize: 66580
[startup+450.187 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18451 0 0 0 44932 91 0 0 25 0 1 0 453902206 68177920 13348 4294967295 134512640 135450300 3221224624 3221223564 134530378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16645 13348 231 231 0 16414 0
vsize: 66580
[startup+460.187 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18454 0 0 0 45931 92 0 0 25 0 1 0 453902206 68177920 13351 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16645 13351 231 231 0 16414 0
vsize: 66580
[startup+470.187 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18647 0 0 0 46930 93 0 0 25 0 1 0 453902206 68308992 13378 4294967295 134512640 135450300 3221224624 3221223504 134580112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16677 13378 231 231 0 16446 0
vsize: 66708
[startup+480.187 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18661 0 0 0 47929 94 0 0 25 0 1 0 453902206 68505600 13392 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16725 13392 231 231 0 16494 0
vsize: 66900
[startup+490.187 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18671 0 0 0 48928 95 0 0 25 0 1 0 453902206 68505600 13402 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16725 13402 231 231 0 16494 0
vsize: 66900
[startup+500.187 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18690 0 0 0 49926 97 0 0 25 0 1 0 453902206 68505600 13421 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16725 13421 231 231 0 16494 0
vsize: 66900
[startup+510.187 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18735 0 0 0 50925 98 0 0 25 0 1 0 453902206 68902912 13466 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16822 13466 231 231 0 16591 0
vsize: 67288
[startup+520.186 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18764 0 0 0 51925 99 0 0 25 0 1 0 453902206 68902912 13495 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16822 13495 231 231 0 16591 0
vsize: 67288
[startup+530.186 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18924 0 0 0 52924 100 0 0 25 0 1 0 453902206 69165056 13589 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16886 13589 231 231 0 16655 0
vsize: 67544
[startup+540.186 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 18969 0 0 0 53923 101 0 0 25 0 1 0 453902206 69296128 13634 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16918 13634 231 231 0 16687 0
vsize: 67672
[startup+550.186 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19156 0 0 0 54923 102 0 0 25 0 1 0 453902206 69296128 13655 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16918 13655 231 231 0 16687 0
vsize: 67672
[startup+560.186 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19170 0 0 0 55922 103 0 0 25 0 1 0 453902206 69296128 13669 4294967295 134512640 135450300 3221224624 3221222976 134533118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16918 13669 231 231 0 16687 0
vsize: 67672
[startup+570.185 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19188 0 0 0 56921 104 0 0 25 0 1 0 453902206 69296128 13687 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16918 13687 231 231 0 16687 0
vsize: 67672
[startup+580.185 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19379 0 0 0 57919 105 0 0 25 0 1 0 453902206 69443584 13712 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16954 13712 231 231 0 16723 0
vsize: 67816
[startup+590.184 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19434 0 0 0 58918 107 0 0 25 0 1 0 453902206 69709824 13767 4294967295 134512640 135450300 3221224624 3221223360 134538386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17019 13767 231 231 0 16788 0
vsize: 68076
[startup+600.185 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19452 0 0 0 59917 108 0 0 25 0 1 0 453902206 69709824 13785 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17019 13785 231 231 0 16788 0
vsize: 68076
[startup+610.185 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19506 0 0 0 60916 109 0 0 25 0 1 0 453902206 69709824 13839 4294967295 134512640 135450300 3221224624 3221223056 134533477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17019 13839 231 231 0 16788 0
vsize: 68076
[startup+620.184 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18581
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19542 0 0 0 61915 111 0 0 25 0 1 0 453902206 69906432 13875 4294967295 134512640 135450300 3221224624 3221223500 134529370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17067 13875 231 231 0 16836 0
vsize: 68268
[startup+630.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 19564 0 0 0 62914 111 0 0 25 0 1 0 453902206 69906432 13897 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17067 13897 231 231 0 16836 0
vsize: 68268
[startup+640.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21152 0 0 0 63910 115 0 0 25 0 1 0 453902206 76333056 13948 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 13948 231 231 0 18405 0
vsize: 74544
[startup+650.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21216 0 0 0 64910 116 0 0 25 0 1 0 453902206 76464128 13979 4294967295 134512640 135450300 3221224624 3221223488 134539368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18668 13979 231 231 0 18437 0
vsize: 74672
[startup+660.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21256 0 0 0 65909 117 0 0 25 0 1 0 453902206 76599296 14019 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18701 14019 231 231 0 18470 0
vsize: 74804
[startup+670.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21281 0 0 0 66908 118 0 0 25 0 1 0 453902206 76599296 14044 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18701 14044 231 231 0 18470 0
vsize: 74804
[startup+680.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21541 0 0 0 67907 119 0 0 25 0 1 0 453902206 76865536 14105 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18766 14105 231 231 0 18535 0
vsize: 75064
[startup+690.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21602 0 0 0 68906 120 0 0 25 0 1 0 453902206 76996608 14133 4294967295 134512640 135450300 3221224624 3221223504 134580112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18798 14133 231 231 0 18567 0
vsize: 75192
[startup+700.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21622 0 0 0 69905 121 0 0 25 0 1 0 453902206 76996608 14153 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18798 14153 231 231 0 18567 0
vsize: 75192
[startup+710.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21740 0 0 0 70904 123 0 0 25 0 1 0 453902206 77598720 14271 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 14271 231 231 0 18714 0
vsize: 75780
[startup+720.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21928 0 0 0 71902 125 0 0 25 0 1 0 453902206 77598720 14293 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 14293 231 231 0 18714 0
vsize: 75780
[startup+730.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21932 0 0 0 72901 126 0 0 25 0 1 0 453902206 77598720 14297 4294967295 134512640 135450300 3221224624 3221223552 134539676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 14297 231 231 0 18714 0
vsize: 75780
[startup+740.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 21937 0 0 0 73900 127 0 0 25 0 1 0 453902206 77598720 14302 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 14302 231 231 0 18714 0
vsize: 75780
[startup+750.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22022 0 0 0 74900 128 0 0 25 0 1 0 453902206 77930496 14387 4294967295 134512640 135450300 3221224624 3221223360 134538433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19026 14387 231 231 0 18795 0
vsize: 76104
[startup+760.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22027 0 0 0 75900 128 0 0 25 0 1 0 453902206 77930496 14392 4294967295 134512640 135450300 3221224624 3221223360 134538504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19026 14392 231 231 0 18795 0
vsize: 76104
[startup+770.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22085 0 0 0 76899 129 0 0 25 0 1 0 453902206 78061568 14417 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19058 14417 231 231 0 18827 0
vsize: 76232
[startup+780.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22091 0 0 0 77899 130 0 0 25 0 1 0 453902206 78061568 14423 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19058 14423 231 231 0 18827 0
vsize: 76232
[startup+790.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22287 0 0 0 78897 131 0 0 25 0 1 0 453902206 78061568 14453 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19058 14453 231 231 0 18827 0
vsize: 76232
[startup+800.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22325 0 0 0 79896 133 0 0 25 0 1 0 453902206 78258176 14491 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19106 14491 231 231 0 18875 0
vsize: 76424
[startup+810.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22379 0 0 0 80896 133 0 0 25 0 1 0 453902206 78258176 14545 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19106 14545 231 231 0 18875 0
vsize: 76424
[startup+820.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22572 0 0 0 81894 135 0 0 25 0 1 0 453902206 78258176 14572 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19106 14572 231 231 0 18875 0
vsize: 76424
[startup+830.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22723 0 0 0 82894 135 0 0 25 0 1 0 453902206 78786560 14657 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19235 14657 231 231 0 19004 0
vsize: 76940
[startup+840.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22749 0 0 0 83893 137 0 0 25 0 1 0 453902206 78786560 14683 4294967295 134512640 135450300 3221224624 3221223488 134539208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19235 14683 231 231 0 19004 0
vsize: 76940
[startup+850.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22940 0 0 0 84892 138 0 0 25 0 1 0 453902206 78786560 14708 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19235 14708 231 231 0 19004 0
vsize: 76940
[startup+860.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 22959 0 0 0 85891 138 0 0 25 0 1 0 453902206 78786560 14727 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19235 14727 231 231 0 19004 0
vsize: 76940
[startup+870.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23163 0 0 0 86890 140 0 0 25 0 1 0 453902206 78921728 14765 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19268 14765 231 231 0 19037 0
vsize: 77072
[startup+880.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23211 0 0 0 87889 141 0 0 25 0 1 0 453902206 79056896 14813 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 14813 231 231 0 19070 0
vsize: 77204
[startup+890.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23228 0 0 0 88888 142 0 0 25 0 1 0 453902206 79056896 14830 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 14830 231 231 0 19070 0
vsize: 77204
[startup+900.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23251 0 0 0 89886 144 0 0 25 0 1 0 453902206 79056896 14853 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 14853 231 231 0 19070 0
vsize: 77204
[startup+910.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23323 0 0 0 90885 145 0 0 25 0 1 0 453902206 79187968 14892 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19333 14892 231 231 0 19102 0
vsize: 77332
[startup+920.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23339 0 0 0 91884 146 0 0 25 0 1 0 453902206 79187968 14908 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19333 14908 231 231 0 19102 0
vsize: 77332
[startup+930.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23528 0 0 0 92883 148 0 0 25 0 1 0 453902206 79187968 14931 4294967295 134512640 135450300 3221224624 3221223488 134539197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19333 14931 231 231 0 19102 0
vsize: 77332
[startup+940.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23536 0 0 0 93882 150 0 0 25 0 1 0 453902206 79187968 14939 4294967295 134512640 135450300 3221224624 3221223232 134537672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19333 14939 231 231 0 19102 0
vsize: 77332
[startup+950.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23623 0 0 0 94880 152 0 0 25 0 1 0 453902206 79585280 14993 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19430 14993 231 231 0 19199 0
vsize: 77720
[startup+960.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23835 0 0 0 95879 153 0 0 25 0 1 0 453902206 79716352 15006 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19462 15006 231 231 0 19231 0
vsize: 77848
[startup+970.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23842 0 0 0 96878 154 0 0 25 0 1 0 453902206 79716352 15013 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19462 15013 231 231 0 19231 0
vsize: 77848
[startup+980.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23844 0 0 0 97877 155 0 0 25 0 1 0 453902206 79716352 15015 4294967295 134512640 135450300 3221224624 3221223360 134537896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19462 15015 231 231 0 19231 0
vsize: 77848
[startup+990.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23846 0 0 0 98876 156 0 0 25 0 1 0 453902206 79716352 15017 4294967295 134512640 135450300 3221224624 3221222976 134533118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19462 15017 231 231 0 19231 0
vsize: 77848
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23890 0 0 0 99875 157 0 0 25 0 1 0 453902206 79912960 15061 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 15061 231 231 0 19279 0
vsize: 78040
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23892 0 0 0 100874 159 0 0 25 0 1 0 453902206 79912960 15063 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 15063 231 231 0 19279 0
vsize: 78040
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23895 0 0 0 101873 160 0 0 25 0 1 0 453902206 79912960 15066 4294967295 134512640 135450300 3221224624 3221223024 134533045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 15066 231 231 0 19279 0
vsize: 78040
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23896 0 0 0 102872 160 0 0 25 0 1 0 453902206 79912960 15067 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 15067 231 231 0 19279 0
vsize: 78040
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23898 0 0 0 103872 161 0 0 25 0 1 0 453902206 79912960 15069 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 15069 231 231 0 19279 0
vsize: 78040
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 23923 0 0 0 104871 162 0 0 25 0 1 0 453902206 80048128 15094 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15094 231 231 0 19312 0
vsize: 78172
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24107 0 0 0 105870 163 0 0 25 0 1 0 453902206 80048128 15112 4294967295 134512640 135450300 3221224624 3221223232 134537639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15112 231 231 0 19312 0
vsize: 78172
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24122 0 0 0 106869 165 0 0 25 0 1 0 453902206 80048128 15127 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15127 231 231 0 19312 0
vsize: 78172
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24137 0 0 0 107867 166 0 0 25 0 1 0 453902206 80048128 15142 4294967295 134512640 135450300 3221224624 3221223488 134539129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15142 231 231 0 19312 0
vsize: 78172
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24158 0 0 0 108866 168 0 0 25 0 1 0 453902206 80048128 15163 4294967295 134512640 135450300 3221224624 3221223360 134538951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15163 231 231 0 19312 0
vsize: 78172
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24169 0 0 0 109866 168 0 0 25 0 1 0 453902206 80048128 15174 4294967295 134512640 135450300 3221224624 3221222976 134533077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15174 231 231 0 19312 0
vsize: 78172
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24183 0 0 0 110865 169 0 0 25 0 1 0 453902206 80048128 15188 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15188 231 231 0 19312 0
vsize: 78172
[startup+1120.18 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24200 0 0 0 111864 170 0 0 25 0 1 0 453902206 80048128 15205 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15205 231 231 0 19312 0
vsize: 78172
[startup+1130.18 s]
Raw data (loadavg): 1.14 1.03 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24223 0 0 0 112863 172 0 0 25 0 1 0 453902206 80048128 15228 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19543 15228 231 231 0 19312 0
vsize: 78172
[startup+1140.18 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24240 0 0 0 113862 173 0 0 25 0 1 0 453902206 80179200 15245 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 15245 231 231 0 19344 0
vsize: 78300
[startup+1150.18 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24272 0 0 0 114861 174 0 0 25 0 1 0 453902206 80179200 15277 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 15277 231 231 0 19344 0
vsize: 78300
[startup+1160.18 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24328 0 0 0 115860 175 0 0 25 0 1 0 453902206 80179200 15333 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 15333 231 231 0 19344 0
vsize: 78300
[startup+1170.18 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24350 0 0 0 116860 176 0 0 25 0 1 0 453902206 80179200 15355 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 15355 231 231 0 19344 0
vsize: 78300
[startup+1180.18 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24380 0 0 0 117859 177 0 0 25 0 1 0 453902206 80179200 15385 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 15385 231 231 0 19344 0
vsize: 78300
[startup+1190.18 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24414 0 0 0 118857 179 0 0 25 0 1 0 453902206 80179200 15419 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 15419 231 231 0 19344 0
vsize: 78300
[startup+1200.18 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 18583
Raw data (stat): 18526 (PBS4) R 18525 25347 25346 0 -1 0 24438 0 0 0 119856 179 0 0 25 0 1 0 453902206 80179200 15443 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 15443 231 231 0 19344 0
vsize: 78300
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.04 1.02 0.94 1/54 18583
Raw data (stat): 18526 (PBS4) Z 18525 25347 25346 0 -1 1036 24438 0 0 0 119856 183 0 0 25 0 1 0 453902206 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.21
CPU time (s): 1200.4
CPU user time (s): 1198.57
CPU system time (s): 1.83072
CPU usage (%): 100.016
Max. virtual memory (Kb): 78300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####