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/primes-dimacs-cnf/normalized-ii32c3.opb
MD5SUM	00d830716ad6728e4af33fe898d69922
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	261
Optimality of the best value was proved	NO
Number of terms in the objective function	558
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	558
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	558
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03284
Number of variables	558
Total number of constraints	3551
Number of constraints which are clauses	3551
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	2
Maximum length of a constraint	32
Trace number 7740

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-17 16:02:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1374 boxname=wulflinc11 idbench=153 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  00d830716ad6728e4af33fe898d69922  /oldhome/oroussel/tmp/wulflinc11/normalized-ii32c3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-ii32c3.opb
IDLAUNCH: 1374
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        833196 kB
Buffers:         37748 kB
Cached:         137792 kB
SwapCached:       4932 kB
Active:          82680 kB
Inactive:       100660 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        832832 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12484 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:22:16 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1374 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-ii32c3.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.88 0.97 0.70 2/54 24540
Raw data (stat): 24540 (runsolver) R 24539 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453575598 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.0006 s]
Raw data (loadavg): 0.90 0.97 0.71 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 1151 0 0 0 994 4 0 0 25 0 1 0 453575598 6049792 1147 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1477 1147 231 231 0 1246 0
vsize: 5908
[startup+20.0011 s]
Raw data (loadavg): 0.92 0.97 0.71 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 1614 0 0 0 1994 5 0 0 25 0 1 0 453575598 10379264 1610 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2534 1610 231 231 0 2303 0
vsize: 10136
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.97 0.71 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 2348 0 0 0 2992 7 0 0 25 0 1 0 453575598 10711040 2295 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2615 2295 231 231 0 2384 0
vsize: 10460
[startup+40.0009 s]
Raw data (loadavg): 0.94 0.97 0.72 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 2966 0 0 0 3989 10 0 0 25 0 1 0 453575598 19505152 2913 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 2913 231 231 0 4531 0
vsize: 19048
[startup+50.0004 s]
Raw data (loadavg): 0.95 0.97 0.72 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 3550 0 0 0 4988 11 0 0 25 0 1 0 453575598 19505152 3497 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3497 231 231 0 4531 0
vsize: 19048
[startup+60.0005 s]
Raw data (loadavg): 0.96 0.97 0.72 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 3950 0 0 0 5986 12 0 0 25 0 1 0 453575598 19640320 3897 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4795 3897 231 231 0 4564 0
vsize: 19180
[startup+70.0013 s]
Raw data (loadavg): 0.96 0.97 0.73 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4533 0 0 0 6985 14 0 0 25 0 1 0 453575598 19779584 4480 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4829 4480 231 231 0 4598 0
vsize: 19316
[startup+80.0007 s]
Raw data (loadavg): 0.97 0.97 0.73 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4738 0 0 0 7985 15 0 0 25 0 1 0 453575598 19914752 4685 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 4685 231 231 0 4631 0
vsize: 19448
[startup+90.0008 s]
Raw data (loadavg): 0.97 0.97 0.73 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4753 0 0 0 8984 15 0 0 25 0 1 0 453575598 19914752 4700 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 4700 231 231 0 4631 0
vsize: 19448
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.73 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4855 0 0 0 9984 15 0 0 25 0 1 0 453575598 20307968 4705 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4958 4705 231 231 0 4727 0
vsize: 19832
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.73 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4862 0 0 0 10984 15 0 0 25 0 1 0 453575598 20307968 4712 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4958 4712 231 231 0 4727 0
vsize: 19832
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.74 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4873 0 0 0 11984 16 0 0 25 0 1 0 453575598 20307968 4723 4294967295 134512640 135450300 3221224640 3221223472 134549447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4958 4723 231 231 0 4727 0
vsize: 19832
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.74 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4922 0 0 0 12984 16 0 0 25 0 1 0 453575598 20578304 4772 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4772 231 231 0 4793 0
vsize: 20096
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4929 0 0 0 13983 17 0 0 25 0 1 0 453575598 20578304 4779 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4779 231 231 0 4793 0
vsize: 20096
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 4944 0 0 0 14983 17 0 0 25 0 1 0 453575598 20578304 4794 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4794 231 231 0 4793 0
vsize: 20096
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 5328 0 0 0 15982 19 0 0 25 0 1 0 453575598 37490688 5178 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9153 5178 231 231 0 8922 0
vsize: 36612
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 5725 0 0 0 16981 20 0 0 25 0 1 0 453575598 37490688 5575 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9153 5575 231 231 0 8922 0
vsize: 36612
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 6116 0 0 0 17980 21 0 0 25 0 1 0 453575598 37625856 5966 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 5966 231 231 0 8955 0
vsize: 36744
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 6526 0 0 0 18979 23 0 0 25 0 1 0 453575598 37761024 6376 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6376 231 231 0 8988 0
vsize: 36876
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 6955 0 0 0 19977 24 0 0 25 0 1 0 453575598 37900288 6805 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9253 6805 231 231 0 9022 0
vsize: 37012
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7272 0 0 0 20976 25 0 0 25 0 1 0 453575598 37900288 7122 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9253 7122 231 231 0 9022 0
vsize: 37012
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7634 0 0 0 21975 27 0 0 25 0 1 0 453575598 38170624 7484 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9319 7484 231 231 0 9088 0
vsize: 37276
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7710 0 0 0 22975 27 0 0 25 0 1 0 453575598 38453248 7560 4294967295 134512640 135450300 3221224640 3221223360 134535944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 7560 231 231 0 9157 0
vsize: 37552
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 24540
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7715 0 0 0 23974 28 0 0 25 0 1 0 453575598 38453248 7565 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 7565 231 231 0 9157 0
vsize: 37552
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7718 0 0 0 24974 28 0 0 25 0 1 0 453575598 38453248 7568 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 7568 231 231 0 9157 0
vsize: 37552
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7722 0 0 0 25974 28 0 0 25 0 1 0 453575598 38453248 7572 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 7572 231 231 0 9157 0
vsize: 37552
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7727 0 0 0 26974 29 0 0 25 0 1 0 453575598 38453248 7577 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 7577 231 231 0 9157 0
vsize: 37552
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7735 0 0 0 27974 29 0 0 25 0 1 0 453575598 38453248 7585 4294967295 134512640 135450300 3221224640 3221223024 134579301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 7585 231 231 0 9157 0
vsize: 37552
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7738 0 0 0 28974 29 0 0 25 0 1 0 453575598 38453248 7588 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 7588 231 231 0 9157 0
vsize: 37552
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7938 0 0 0 29973 30 0 0 25 0 1 0 453575598 39239680 7595 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9580 7595 231 231 0 9349 0
vsize: 38320
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7944 0 0 0 30974 30 0 0 25 0 1 0 453575598 39239680 7601 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9580 7601 231 231 0 9349 0
vsize: 38320
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 7971 0 0 0 31973 30 0 0 25 0 1 0 453575598 39374848 7628 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9613 7628 231 231 0 9382 0
vsize: 38452
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8026 0 0 0 32973 31 0 0 25 0 1 0 453575598 39538688 7683 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9653 7683 231 231 0 9422 0
vsize: 38612
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8033 0 0 0 33973 31 0 0 25 0 1 0 453575598 39538688 7690 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9653 7690 231 231 0 9422 0
vsize: 38612
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8039 0 0 0 34972 32 0 0 25 0 1 0 453575598 39538688 7696 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9653 7696 231 231 0 9422 0
vsize: 38612
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8060 0 0 0 35972 32 0 0 25 0 1 0 453575598 39677952 7717 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 7717 231 231 0 9456 0
vsize: 38748
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8065 0 0 0 36972 33 0 0 25 0 1 0 453575598 39677952 7722 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 7722 231 231 0 9456 0
vsize: 38748
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8070 0 0 0 37972 33 0 0 25 0 1 0 453575598 39677952 7727 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 7727 231 231 0 9456 0
vsize: 38748
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8075 0 0 0 38971 34 0 0 25 0 1 0 453575598 39677952 7732 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 7732 231 231 0 9456 0
vsize: 38748
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8082 0 0 0 39971 34 0 0 25 0 1 0 453575598 39677952 7739 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 7739 231 231 0 9456 0
vsize: 38748
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8087 0 0 0 40971 34 0 0 25 0 1 0 453575598 39677952 7744 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 7744 231 231 0 9456 0
vsize: 38748
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8129 0 0 0 41971 35 0 0 25 0 1 0 453575598 39870464 7786 4294967295 134512640 135450300 3221224640 3221223100 134533432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7786 231 231 0 9503 0
vsize: 38936
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8133 0 0 0 42971 35 0 0 25 0 1 0 453575598 39870464 7790 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7790 231 231 0 9503 0
vsize: 38936
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8136 0 0 0 43971 35 0 0 25 0 1 0 453575598 39870464 7793 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7793 231 231 0 9503 0
vsize: 38936
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8142 0 0 0 44970 36 0 0 25 0 1 0 453575598 39870464 7799 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7799 231 231 0 9503 0
vsize: 38936
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8161 0 0 0 45970 36 0 0 25 0 1 0 453575598 39870464 7818 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7818 231 231 0 9503 0
vsize: 38936
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8166 0 0 0 46970 36 0 0 25 0 1 0 453575598 39870464 7823 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7823 231 231 0 9503 0
vsize: 38936
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8173 0 0 0 47970 37 0 0 25 0 1 0 453575598 39870464 7830 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7830 231 231 0 9503 0
vsize: 38936
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8178 0 0 0 48970 37 0 0 25 0 1 0 453575598 39870464 7835 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7835 231 231 0 9503 0
vsize: 38936
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8183 0 0 0 49970 37 0 0 25 0 1 0 453575598 39870464 7840 4294967295 134512640 135450300 3221224640 3221223456 134546512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7840 231 231 0 9503 0
vsize: 38936
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8187 0 0 0 50970 37 0 0 25 0 1 0 453575598 39870464 7844 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7844 231 231 0 9503 0
vsize: 38936
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8199 0 0 0 51970 38 0 0 25 0 1 0 453575598 39870464 7856 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7856 231 231 0 9503 0
vsize: 38936
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8211 0 0 0 52970 38 0 0 25 0 1 0 453575598 39870464 7868 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7868 231 231 0 9503 0
vsize: 38936
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8221 0 0 0 53970 38 0 0 25 0 1 0 453575598 40001536 7878 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9766 7878 231 231 0 9535 0
vsize: 39064
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8223 0 0 0 54970 38 0 0 25 0 1 0 453575598 40001536 7880 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9766 7880 231 231 0 9535 0
vsize: 39064
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8226 0 0 0 55970 38 0 0 25 0 1 0 453575598 40001536 7883 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9766 7883 231 231 0 9535 0
vsize: 39064
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8235 0 0 0 56970 38 0 0 25 0 1 0 453575598 40001536 7892 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9766 7892 231 231 0 9535 0
vsize: 39064
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8240 0 0 0 57970 38 0 0 25 0 1 0 453575598 40001536 7897 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9766 7897 231 231 0 9535 0
vsize: 39064
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8268 0 0 0 58970 38 0 0 25 0 1 0 453575598 40136704 7925 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9799 7925 231 231 0 9568 0
vsize: 39196
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8274 0 0 0 59970 39 0 0 25 0 1 0 453575598 40136704 7931 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9799 7931 231 231 0 9568 0
vsize: 39196
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8283 0 0 0 60970 39 0 0 25 0 1 0 453575598 40136704 7940 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9799 7940 231 231 0 9568 0
vsize: 39196
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8318 0 0 0 61970 39 0 0 25 0 1 0 453575598 40275968 7975 4294967295 134512640 135450300 3221224640 3221223024 134602249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9833 7975 231 231 0 9602 0
vsize: 39332
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8329 0 0 0 62970 39 0 0 25 0 1 0 453575598 40275968 7986 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9833 7986 231 231 0 9602 0
vsize: 39332
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8746 0 0 0 63968 41 0 0 25 0 1 0 453575598 40861696 8403 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8403 231 231 0 9745 0
vsize: 39904
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8974 0 0 0 64968 42 0 0 25 0 1 0 453575598 40861696 8631 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8631 231 231 0 9745 0
vsize: 39904
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8979 0 0 0 65968 42 0 0 25 0 1 0 453575598 40861696 8636 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8636 231 231 0 9745 0
vsize: 39904
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8984 0 0 0 66968 42 0 0 25 0 1 0 453575598 40861696 8641 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8641 231 231 0 9745 0
vsize: 39904
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8988 0 0 0 67968 42 0 0 25 0 1 0 453575598 40861696 8645 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8645 231 231 0 9745 0
vsize: 39904
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8994 0 0 0 68967 43 0 0 25 0 1 0 453575598 40861696 8651 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8651 231 231 0 9745 0
vsize: 39904
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 8998 0 0 0 69967 43 0 0 25 0 1 0 453575598 40861696 8655 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8655 231 231 0 9745 0
vsize: 39904
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9008 0 0 0 70967 44 0 0 25 0 1 0 453575598 40861696 8665 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8665 231 231 0 9745 0
vsize: 39904
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9013 0 0 0 71967 44 0 0 25 0 1 0 453575598 40861696 8670 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8670 231 231 0 9745 0
vsize: 39904
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9401 0 0 0 72967 44 0 0 25 0 1 0 453575598 42434560 8673 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 8673 231 231 0 10129 0
vsize: 41440
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9405 0 0 0 73967 44 0 0 25 0 1 0 453575598 42434560 8677 4294967295 134512640 135450300 3221224640 3221223428 134535396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 8677 231 231 0 10129 0
vsize: 41440
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9408 0 0 0 74967 45 0 0 25 0 1 0 453575598 42434560 8680 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 8680 231 231 0 10129 0
vsize: 41440
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9410 0 0 0 75967 45 0 0 25 0 1 0 453575598 42434560 8682 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 8682 231 231 0 10129 0
vsize: 41440
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9412 0 0 0 76967 45 0 0 25 0 1 0 453575598 42434560 8684 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 8684 231 231 0 10129 0
vsize: 41440
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9415 0 0 0 77967 45 0 0 25 0 1 0 453575598 42434560 8687 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 8687 231 231 0 10129 0
vsize: 41440
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9419 0 0 0 78967 45 0 0 25 0 1 0 453575598 42434560 8691 4294967295 134512640 135450300 3221224640 3221223296 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 8691 231 231 0 10129 0
vsize: 41440
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9446 0 0 0 79967 46 0 0 25 0 1 0 453575598 42573824 8718 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10394 8718 231 231 0 10163 0
vsize: 41576
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9485 0 0 0 80967 46 0 0 25 0 1 0 453575598 42713088 8757 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10428 8757 231 231 0 10197 0
vsize: 41712
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9502 0 0 0 81967 46 0 0 25 0 1 0 453575598 42713088 8774 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10428 8774 231 231 0 10197 0
vsize: 41712
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9512 0 0 0 82967 46 0 0 25 0 1 0 453575598 42713088 8784 4294967295 134512640 135450300 3221224640 3221223104 134532759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10428 8784 231 231 0 10197 0
vsize: 41712
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 9845 0 0 0 83966 48 0 0 25 0 1 0 453575598 42852352 9117 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 9117 231 231 0 10231 0
vsize: 41848
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 10200 0 0 0 84964 49 0 0 25 0 1 0 453575598 42991616 9472 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 9472 231 231 0 10265 0
vsize: 41984
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 10504 0 0 0 85964 50 0 0 25 0 1 0 453575598 42991616 9776 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 9776 231 231 0 10265 0
vsize: 41984
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 10761 0 0 0 86963 51 0 0 25 0 1 0 453575598 76546048 10033 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18688 10033 231 231 0 18457 0
vsize: 74752
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 11026 0 0 0 87962 52 0 0 25 0 1 0 453575598 76546048 10298 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18688 10298 231 231 0 18457 0
vsize: 74752
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 11349 0 0 0 88962 53 0 0 25 0 1 0 453575598 76832768 10621 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18758 10621 231 231 0 18527 0
vsize: 75032
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 11563 0 0 0 89961 54 0 0 25 0 1 0 453575598 76832768 10835 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18758 10835 231 231 0 18527 0
vsize: 75032
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 11878 0 0 0 90961 54 0 0 25 0 1 0 453575598 76980224 11150 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18794 11150 231 231 0 18563 0
vsize: 75176
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 12113 0 0 0 91960 55 0 0 25 0 1 0 453575598 77119488 11385 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18828 11385 231 231 0 18597 0
vsize: 75312
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 12417 0 0 0 92959 56 0 0 25 0 1 0 453575598 77119488 11689 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18828 11689 231 231 0 18597 0
vsize: 75312
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 12786 0 0 0 93958 57 0 0 25 0 1 0 453575598 77119488 12058 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18828 12058 231 231 0 18597 0
vsize: 75312
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 13010 0 0 0 94958 58 0 0 25 0 1 0 453575598 77266944 12282 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18864 12282 231 231 0 18633 0
vsize: 75456
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 13274 0 0 0 95957 58 0 0 25 0 1 0 453575598 77266944 12546 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18864 12546 231 231 0 18633 0
vsize: 75456
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 13594 0 0 0 96957 59 0 0 25 0 1 0 453575598 77414400 12866 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18900 12866 231 231 0 18669 0
vsize: 75600
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 13797 0 0 0 97956 60 0 0 25 0 1 0 453575598 77414400 13069 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18900 13069 231 231 0 18669 0
vsize: 75600
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 13819 0 0 0 98956 60 0 0 25 0 1 0 453575598 77574144 13091 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18939 13091 231 231 0 18708 0
vsize: 75756
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 14003 0 0 0 99955 61 0 0 25 0 1 0 453575598 77574144 13275 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18939 13275 231 231 0 18708 0
vsize: 75756
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 14350 0 0 0 100954 63 0 0 25 0 1 0 453575598 77721600 13622 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18975 13622 231 231 0 18744 0
vsize: 75900
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 14606 0 0 0 101953 63 0 0 25 0 1 0 453575598 77721600 13878 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18975 13878 231 231 0 18744 0
vsize: 75900
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 14821 0 0 0 102953 64 0 0 25 0 1 0 453575598 77721600 14093 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18975 14093 231 231 0 18744 0
vsize: 75900
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 15147 0 0 0 103952 65 0 0 25 0 1 0 453575598 77721600 14419 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18975 14419 231 231 0 18744 0
vsize: 75900
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 15382 0 0 0 104952 66 0 0 25 0 1 0 453575598 78032896 14654 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 14654 231 231 0 18820 0
vsize: 76204
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 15796 0 0 0 105951 67 0 0 25 0 1 0 453575598 78180352 15068 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19087 15068 231 231 0 18856 0
vsize: 76348
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 16094 0 0 0 106950 67 0 0 25 0 1 0 453575598 78180352 15366 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19087 15366 231 231 0 18856 0
vsize: 76348
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 16397 0 0 0 107949 68 0 0 25 0 1 0 453575598 78327808 15669 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19123 15669 231 231 0 18892 0
vsize: 76492
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 16617 0 0 0 108949 69 0 0 25 0 1 0 453575598 78327808 15889 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19123 15889 231 231 0 18892 0
vsize: 76492
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 16716 0 0 0 109948 70 0 0 25 0 1 0 453575598 78327808 15988 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19123 15988 231 231 0 18892 0
vsize: 76492
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 16723 0 0 0 110949 70 0 0 25 0 1 0 453575598 78327808 15995 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19123 15995 231 231 0 18892 0
vsize: 76492
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 16750 0 0 0 111948 70 0 0 25 0 1 0 453575598 78475264 16022 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19159 16022 231 231 0 18928 0
vsize: 76636
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 16879 0 0 0 112948 71 0 0 25 0 1 0 453575598 78622720 16151 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19195 16151 231 231 0 18964 0
vsize: 76780
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 17211 0 0 0 113947 72 0 0 25 0 1 0 453575598 78770176 16483 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19231 16483 231 231 0 19000 0
vsize: 76924
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 17559 0 0 0 114946 73 0 0 25 0 1 0 453575598 78770176 16831 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19231 16831 231 231 0 19000 0
vsize: 76924
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 17927 0 0 0 115945 74 0 0 25 0 1 0 453575598 79081472 17199 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19307 17199 231 231 0 19076 0
vsize: 77228
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 18368 0 0 0 116944 75 0 0 25 0 1 0 453575598 79724544 17640 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19464 17640 231 231 0 19233 0
vsize: 77856
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 18601 0 0 0 117944 76 0 0 25 0 1 0 453575598 79724544 17873 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19464 17873 231 231 0 19233 0
vsize: 77856
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 18607 0 0 0 118944 76 0 0 25 0 1 0 453575598 79724544 17879 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19464 17879 231 231 0 19233 0
vsize: 77856
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 24542
Raw data (stat): 24540 (PBS4) R 24539 32461 32460 0 -1 0 18609 0 0 0 119944 76 0 0 25 0 1 0 453575598 79724544 17881 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19464 17881 231 231 0 19233 0
vsize: 77856
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.88 1/54 24542
Raw data (stat): 24540 (PBS4) Z 24539 32461 32460 0 -1 1036 18609 0 0 0 119944 79 0 0 25 0 1 0 453575598 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.24
CPU user time (s): 1199.45
CPU system time (s): 0.796878
CPU usage (%): 100.016
Max. virtual memory (Kb): 77856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####