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/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 7950

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-17 17:23:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3228 boxname=wulflinc26 idbench=359 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc26/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 3228
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        779788 kB
Buffers:         37348 kB
Cached:         175736 kB
SwapCached:       2476 kB
Active:          78564 kB
Inactive:       139916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        779536 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:            30800 kB
Committed_AS:    63616 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:43:45 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 3228 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-ppp:1-11,19,21.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.84 0.95 0.91 2/54 19533
Raw data (stat): 19533 (runsolver) R 19532 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512293102 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+9.99985 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 2360 0 0 0 987 11 0 0 25 0 1 0 512293102 9723904 2017 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2374 2017 231 231 0 2143 0
vsize: 9496
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 2912 0 0 0 1978 20 0 0 25 0 1 0 512293102 14471168 2569 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2569 231 231 0 3302 0
vsize: 14132
[startup+30.0005 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 3432 0 0 0 2974 25 0 0 25 0 1 0 512293102 14876672 3089 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3632 3089 231 231 0 3401 0
vsize: 14528
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 3585 0 0 0 3968 31 0 0 25 0 1 0 512293102 15343616 3242 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3746 3242 231 231 0 3515 0
vsize: 14984
[startup+50.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4283 0 0 0 4961 38 0 0 25 0 1 0 512293102 17330176 3555 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4231 3555 231 231 0 4000 0
vsize: 16924
[startup+60.0005 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4354 0 0 0 5956 43 0 0 25 0 1 0 512293102 17489920 3626 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 3626 231 231 0 4039 0
vsize: 17080
[startup+70.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4435 0 0 0 6949 50 0 0 25 0 1 0 512293102 17797120 3707 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4345 3707 231 231 0 4114 0
vsize: 17380
[startup+80.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4489 0 0 0 7941 58 0 0 25 0 1 0 512293102 17903616 3761 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4371 3761 231 231 0 4140 0
vsize: 17484
[startup+90.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4544 0 0 0 8934 66 0 0 25 0 1 0 512293102 18055168 3816 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4408 3816 231 231 0 4177 0
vsize: 17632
[startup+100.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4584 0 0 0 9925 75 0 0 25 0 1 0 512293102 18194432 3856 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3856 231 231 0 4211 0
vsize: 17768
[startup+110.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4622 0 0 0 10918 82 0 0 25 0 1 0 512293102 18194432 3894 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3894 231 231 0 4211 0
vsize: 17768
[startup+120.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4680 0 0 0 11911 89 0 0 25 0 1 0 512293102 18440192 3952 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3952 231 231 0 4271 0
vsize: 18008
[startup+130.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4717 0 0 0 12904 97 0 0 25 0 1 0 512293102 18579456 3989 4294967295 134512640 135450300 3221224640 3221223456 134537049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4536 3989 231 231 0 4305 0
vsize: 18144
[startup+140.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4751 0 0 0 13898 102 0 0 25 0 1 0 512293102 18579456 4023 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4536 4023 231 231 0 4305 0
vsize: 18144
[startup+150.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4783 0 0 0 14890 110 0 0 25 0 1 0 512293102 18579456 4055 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4536 4055 231 231 0 4305 0
vsize: 18144
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4827 0 0 0 15883 118 0 0 25 0 1 0 512293102 18833408 4099 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 4099 231 231 0 4367 0
vsize: 18392
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4866 0 0 0 16878 123 0 0 25 0 1 0 512293102 18833408 4138 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 4138 231 231 0 4367 0
vsize: 18392
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4903 0 0 0 17872 129 0 0 25 0 1 0 512293102 18935808 4175 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 4175 231 231 0 4392 0
vsize: 18492
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4952 0 0 0 18867 135 0 0 25 0 1 0 512293102 19050496 4224 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4651 4224 231 231 0 4420 0
vsize: 18604
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5011 0 0 0 19860 141 0 0 25 0 1 0 512293102 19206144 4283 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4689 4283 231 231 0 4458 0
vsize: 18756
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5066 0 0 0 20852 150 0 0 25 0 1 0 512293102 19476480 4338 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4755 4338 231 231 0 4524 0
vsize: 19020
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5112 0 0 0 21842 160 0 0 25 0 1 0 512293102 19476480 4384 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4755 4384 231 231 0 4524 0
vsize: 19020
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5170 0 0 0 22833 169 0 0 25 0 1 0 512293102 19755008 4442 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 4442 231 231 0 4592 0
vsize: 19292
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5206 0 0 0 23826 176 0 0 25 0 1 0 512293102 19755008 4478 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 4478 231 231 0 4592 0
vsize: 19292
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5256 0 0 0 24817 185 0 0 25 0 1 0 512293102 19857408 4528 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4848 4528 231 231 0 4617 0
vsize: 19392
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5303 0 0 0 25806 197 0 0 25 0 1 0 512293102 20045824 4575 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4894 4575 231 231 0 4663 0
vsize: 19576
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5326 0 0 0 26799 204 0 0 25 0 1 0 512293102 20045824 4598 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4894 4598 231 231 0 4663 0
vsize: 19576
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6135 0 0 0 27790 213 0 0 25 0 1 0 512293102 23298048 4638 4294967295 134512640 135450300 3221224640 3221223376 134538721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5688 4638 231 231 0 5457 0
vsize: 22752
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6189 0 0 0 28781 222 0 0 25 0 1 0 512293102 23498752 4692 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4692 231 231 0 5506 0
vsize: 22948
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6218 0 0 0 29772 231 0 0 25 0 1 0 512293102 23498752 4721 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4721 231 231 0 5506 0
vsize: 22948
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6267 0 0 0 30763 240 0 0 25 0 1 0 512293102 23711744 4770 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5789 4770 231 231 0 5558 0
vsize: 23156
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6293 0 0 0 31756 248 0 0 25 0 1 0 512293102 23810048 4796 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 4796 231 231 0 5582 0
vsize: 23252
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6330 0 0 0 32747 257 0 0 25 0 1 0 512293102 23810048 4833 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 4833 231 231 0 5582 0
vsize: 23252
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6357 0 0 0 33739 265 0 0 25 0 1 0 512293102 23810048 4860 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 4860 231 231 0 5582 0
vsize: 23252
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6382 0 0 0 34732 272 0 0 25 0 1 0 512293102 23810048 4885 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 4885 231 231 0 5582 0
vsize: 23252
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6432 0 0 0 35726 279 0 0 25 0 1 0 512293102 24035328 4935 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5868 4935 231 231 0 5637 0
vsize: 23472
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6479 0 0 0 36718 287 0 0 25 0 1 0 512293102 24035328 4982 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5868 4982 231 231 0 5637 0
vsize: 23472
[startup+379.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6502 0 0 0 37708 297 0 0 25 0 1 0 512293102 24141824 5005 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5894 5005 231 231 0 5663 0
vsize: 23576
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6560 0 0 0 38700 305 0 0 25 0 1 0 512293102 24379392 5063 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5063 231 231 0 5721 0
vsize: 23808
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6600 0 0 0 39692 313 0 0 25 0 1 0 512293102 24379392 5103 4294967295 134512640 135450300 3221224640 3221223100 134572888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5103 231 231 0 5721 0
vsize: 23808
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6627 0 0 0 40684 321 0 0 25 0 1 0 512293102 24633344 5130 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5130 231 231 0 5783 0
vsize: 24056
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6643 0 0 0 41673 332 0 0 25 0 1 0 512293102 24633344 5146 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5146 231 231 0 5783 0
vsize: 24056
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6675 0 0 0 42666 340 0 0 25 0 1 0 512293102 24633344 5178 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5178 231 231 0 5783 0
vsize: 24056
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6718 0 0 0 43658 348 0 0 25 0 1 0 512293102 24633344 5221 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5221 231 231 0 5783 0
vsize: 24056
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6746 0 0 0 44650 356 0 0 25 0 1 0 512293102 24633344 5249 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5249 231 231 0 5783 0
vsize: 24056
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6782 0 0 0 45643 363 0 0 25 0 1 0 512293102 25006080 5285 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6105 5285 231 231 0 5874 0
vsize: 24420
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6826 0 0 0 46634 372 0 0 25 0 1 0 512293102 25006080 5329 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6105 5329 231 231 0 5874 0
vsize: 24420
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6859 0 0 0 47625 381 0 0 25 0 1 0 512293102 25006080 5362 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6105 5362 231 231 0 5874 0
vsize: 24420
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6911 0 0 0 48617 390 0 0 25 0 1 0 512293102 25292800 5414 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6175 5414 231 231 0 5944 0
vsize: 24700
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6935 0 0 0 49608 399 0 0 25 0 1 0 512293102 25292800 5438 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6175 5438 231 231 0 5944 0
vsize: 24700
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6970 0 0 0 50600 407 0 0 25 0 1 0 512293102 25292800 5473 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6175 5473 231 231 0 5944 0
vsize: 24700
[startup+519.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7003 0 0 0 51594 413 0 0 25 0 1 0 512293102 25292800 5506 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6175 5506 231 231 0 5944 0
vsize: 24700
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7035 0 0 0 52589 419 0 0 25 0 1 0 512293102 25595904 5538 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 5538 231 231 0 6018 0
vsize: 24996
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7061 0 0 0 53581 427 0 0 25 0 1 0 512293102 25595904 5564 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 5564 231 231 0 6018 0
vsize: 24996
[startup+549.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7098 0 0 0 54574 434 0 0 25 0 1 0 512293102 25595904 5601 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 5601 231 231 0 6018 0
vsize: 24996
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7129 0 0 0 55567 441 0 0 25 0 1 0 512293102 25595904 5632 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 5632 231 231 0 6018 0
vsize: 24996
[startup+570 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7160 0 0 0 56561 447 0 0 25 0 1 0 512293102 25595904 5663 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 5663 231 231 0 6018 0
vsize: 24996
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7185 0 0 0 57556 453 0 0 25 0 1 0 512293102 25595904 5688 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 5688 231 231 0 6018 0
vsize: 24996
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7216 0 0 0 58550 458 0 0 25 0 1 0 512293102 25919488 5719 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6328 5719 231 231 0 6097 0
vsize: 25312
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7266 0 0 0 59544 465 0 0 25 0 1 0 512293102 26030080 5769 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6355 5769 231 231 0 6124 0
vsize: 25420
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7332 0 0 0 60536 473 0 0 25 0 1 0 512293102 26132480 5835 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6380 5835 231 231 0 6149 0
vsize: 25520
[startup+619.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7356 0 0 0 61530 479 0 0 25 0 1 0 512293102 26132480 5859 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6380 5859 231 231 0 6149 0
vsize: 25520
[startup+629.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7391 0 0 0 62523 486 0 0 25 0 1 0 512293102 26132480 5894 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6380 5894 231 231 0 6149 0
vsize: 25520
[startup+639.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7419 0 0 0 63518 492 0 0 25 0 1 0 512293102 26476544 5922 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6464 5922 231 231 0 6233 0
vsize: 25856
[startup+649.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7452 0 0 0 64512 498 0 0 25 0 1 0 512293102 26476544 5955 4294967295 134512640 135450300 3221224640 3221223552 134597287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6464 5955 231 231 0 6233 0
vsize: 25856
[startup+659.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7480 0 0 0 65505 505 0 0 25 0 1 0 512293102 26476544 5983 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6464 5983 231 231 0 6233 0
vsize: 25856
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7518 0 0 0 66496 514 0 0 25 0 1 0 512293102 26578944 6021 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6489 6021 231 231 0 6258 0
vsize: 25956
[startup+679.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7551 0 0 0 67489 521 0 0 25 0 1 0 512293102 26578944 6054 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6489 6054 231 231 0 6258 0
vsize: 25956
[startup+689.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7578 0 0 0 68482 528 0 0 25 0 1 0 512293102 26578944 6081 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6489 6081 231 231 0 6258 0
vsize: 25956
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7618 0 0 0 69475 536 0 0 25 0 1 0 512293102 26943488 6121 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 6121 231 231 0 6347 0
vsize: 26312
[startup+709.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7644 0 0 0 70467 543 0 0 25 0 1 0 512293102 26943488 6147 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 6147 231 231 0 6347 0
vsize: 26312
[startup+719.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7680 0 0 0 71458 552 0 0 25 0 1 0 512293102 26943488 6183 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 6183 231 231 0 6347 0
vsize: 26312
[startup+729.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7707 0 0 0 72451 560 0 0 25 0 1 0 512293102 26943488 6210 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 6210 231 231 0 6347 0
vsize: 26312
[startup+739.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7750 0 0 0 73443 568 0 0 25 0 1 0 512293102 27041792 6253 4294967295 134512640 135450300 3221224640 3221223248 134622099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6602 6253 231 231 0 6371 0
vsize: 26408
[startup+749.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7773 0 0 0 74438 574 0 0 25 0 1 0 512293102 27041792 6276 4294967295 134512640 135450300 3221224640 3221223104 134532777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6602 6276 231 231 0 6371 0
vsize: 26408
[startup+759.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7810 0 0 0 75430 581 0 0 25 0 1 0 512293102 27426816 6313 4294967295 134512640 135450300 3221224640 3221223376 134538757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 6313 231 231 0 6465 0
vsize: 26784
[startup+769.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9398 0 0 0 76422 590 0 0 25 0 1 0 512293102 33718272 6364 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8232 6364 231 231 0 8001 0
vsize: 32928
[startup+779.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9426 0 0 0 77414 598 0 0 25 0 1 0 512293102 33718272 6392 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8232 6392 231 231 0 8001 0
vsize: 32928
[startup+789.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9458 0 0 0 78406 607 0 0 25 0 1 0 512293102 33718272 6424 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8232 6424 231 231 0 8001 0
vsize: 32928
[startup+799.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9482 0 0 0 79398 614 0 0 25 0 1 0 512293102 33718272 6448 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8232 6448 231 231 0 8001 0
vsize: 32928
[startup+809.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9518 0 0 0 80391 621 0 0 25 0 1 0 512293102 33718272 6484 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8232 6484 231 231 0 8001 0
vsize: 32928
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9546 0 0 0 81385 628 0 0 25 0 1 0 512293102 34127872 6512 4294967295 134512640 135450300 3221224640 3221223472 134549553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 6512 231 231 0 8101 0
vsize: 33328
[startup+829.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9578 0 0 0 82377 636 0 0 25 0 1 0 512293102 34127872 6544 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 6544 231 231 0 8101 0
vsize: 33328
[startup+839.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9616 0 0 0 83371 642 0 0 25 0 1 0 512293102 34127872 6582 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 6582 231 231 0 8101 0
vsize: 33328
[startup+849.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9644 0 0 0 84365 648 0 0 25 0 1 0 512293102 34127872 6610 4294967295 134512640 135450300 3221224640 3221223376 134538759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 6610 231 231 0 8101 0
vsize: 33328
[startup+859.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9681 0 0 0 85357 656 0 0 25 0 1 0 512293102 34127872 6647 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 6647 231 231 0 8101 0
vsize: 33328
[startup+869.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9718 0 0 0 86350 663 0 0 25 0 1 0 512293102 34127872 6684 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 6684 231 231 0 8101 0
vsize: 33328
[startup+879.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9736 0 0 0 87343 671 0 0 25 0 1 0 512293102 34562048 6702 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8438 6702 231 231 0 8207 0
vsize: 33752
[startup+889.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9770 0 0 0 88337 677 0 0 25 0 1 0 512293102 34664448 6736 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8463 6736 231 231 0 8232 0
vsize: 33852
[startup+899.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9802 0 0 0 89332 682 0 0 25 0 1 0 512293102 34664448 6768 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8463 6768 231 231 0 8232 0
vsize: 33852
[startup+909.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9827 0 0 0 90325 689 0 0 25 0 1 0 512293102 34664448 6793 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8463 6793 231 231 0 8232 0
vsize: 33852
[startup+919.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9853 0 0 0 91319 695 0 0 25 0 1 0 512293102 34664448 6819 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8463 6819 231 231 0 8232 0
vsize: 33852
[startup+929.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9892 0 0 0 92312 702 0 0 25 0 1 0 512293102 34664448 6858 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8463 6858 231 231 0 8232 0
vsize: 33852
[startup+939.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9922 0 0 0 93307 707 0 0 25 0 1 0 512293102 34664448 6888 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8463 6888 231 231 0 8232 0
vsize: 33852
[startup+949.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9958 0 0 0 94299 716 0 0 25 0 1 0 512293102 35127296 6924 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 6924 231 231 0 8345 0
vsize: 34304
[startup+959.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9989 0 0 0 95293 723 0 0 25 0 1 0 512293102 35127296 6955 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 6955 231 231 0 8345 0
vsize: 34304
[startup+969.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10018 0 0 0 96285 730 0 0 25 0 1 0 512293102 35127296 6984 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 6984 231 231 0 8345 0
vsize: 34304
[startup+979.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10060 0 0 0 97277 739 0 0 25 0 1 0 512293102 35127296 7026 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 7026 231 231 0 8345 0
vsize: 34304
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10087 0 0 0 98270 746 0 0 25 0 1 0 512293102 35127296 7053 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 7053 231 231 0 8345 0
vsize: 34304
[startup+999.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10109 0 0 0 99263 753 0 0 25 0 1 0 512293102 35127296 7075 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 7075 231 231 0 8345 0
vsize: 34304
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10133 0 0 0 100258 758 0 0 25 0 1 0 512293102 35127296 7099 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 7099 231 231 0 8345 0
vsize: 34304
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10173 0 0 0 101251 766 0 0 25 0 1 0 512293102 35618816 7139 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7139 231 231 0 8465 0
vsize: 34784
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10199 0 0 0 102245 772 0 0 25 0 1 0 512293102 35618816 7165 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7165 231 231 0 8465 0
vsize: 34784
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10225 0 0 0 103237 779 0 0 25 0 1 0 512293102 35618816 7191 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7191 231 231 0 8465 0
vsize: 34784
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10252 0 0 0 104231 786 0 0 25 0 1 0 512293102 35618816 7218 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7218 231 231 0 8465 0
vsize: 34784
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10300 0 0 0 105222 795 0 0 25 0 1 0 512293102 35618816 7266 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7266 231 231 0 8465 0
vsize: 34784
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10324 0 0 0 106214 803 0 0 25 0 1 0 512293102 35618816 7290 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7290 231 231 0 8465 0
vsize: 34784
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10356 0 0 0 107208 809 0 0 25 0 1 0 512293102 35618816 7322 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7322 231 231 0 8465 0
vsize: 34784
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10392 0 0 0 108203 815 0 0 25 0 1 0 512293102 35618816 7358 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7358 231 231 0 8465 0
vsize: 34784
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10405 0 0 0 109196 822 0 0 25 0 1 0 512293102 35618816 7371 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7371 231 231 0 8465 0
vsize: 34784
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10442 0 0 0 110190 828 0 0 25 0 1 0 512293102 36139008 7408 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7408 231 231 0 8592 0
vsize: 35292
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10467 0 0 0 111184 834 0 0 25 0 1 0 512293102 36139008 7433 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7433 231 231 0 8592 0
vsize: 35292
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10498 0 0 0 112179 839 0 0 25 0 1 0 512293102 36139008 7464 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7464 231 231 0 8592 0
vsize: 35292
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10524 0 0 0 113174 844 0 0 25 0 1 0 512293102 36139008 7490 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7490 231 231 0 8592 0
vsize: 35292
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10546 0 0 0 114169 850 0 0 25 0 1 0 512293102 36139008 7512 4294967295 134512640 135450300 3221224640 3221223472 134549462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7512 231 231 0 8592 0
vsize: 35292
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10572 0 0 0 115161 858 0 0 25 0 1 0 512293102 36139008 7538 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7538 231 231 0 8592 0
vsize: 35292
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10610 0 0 0 116155 864 0 0 25 0 1 0 512293102 36139008 7576 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7576 231 231 0 8592 0
vsize: 35292
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10634 0 0 0 117148 871 0 0 25 0 1 0 512293102 36139008 7600 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7600 231 231 0 8592 0
vsize: 35292
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10663 0 0 0 118144 876 0 0 25 0 1 0 512293102 36139008 7629 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7629 231 231 0 8592 0
vsize: 35292
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19533
Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10686 0 0 0 119137 882 0 0 25 0 1 0 512293102 36691968 7652 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 7652 231 231 0 8727 0
vsize: 35832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19533
Raw data (stat): 19533 (PBS4) Z 19532 22612 22611 0 -1 1036 10686 0 0 0 119137 884 0 0 25 0 1 0 512293102 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.02
CPU time (s): 1200.22
CPU user time (s): 1191.38
CPU system time (s): 8.84466
CPU usage (%): 100.017
Max. virtual memory (Kb): 35832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####