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-ii8c1.opb
MD5SUM	5573ac468e70af6b65c69997b62e5033
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	302
Optimality of the best value was proved	NO
Number of terms in the objective function	1020
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	1020
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	1020
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.02984
Number of variables	1020
Total number of constraints	3575
Number of constraints which are clauses	3575
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	10
Trace number 7784

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-17 16:19:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1536 boxname=wulflinc6 idbench=171 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  5573ac468e70af6b65c69997b62e5033  /oldhome/oroussel/tmp/wulflinc6/normalized-ii8c1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc6/normalized-ii8c1.opb
IDLAUNCH: 1536
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        828492 kB
Buffers:         37568 kB
Cached:         144952 kB
SwapCached:       2644 kB
Active:          68276 kB
Inactive:       119796 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        828240 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12416 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:39:09 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 1536 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc6/normalized-ii8c1.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.98 0.88 2/54 20713
Raw data (stat): 20713 (runsolver) R 20712 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453678643 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.88 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 1663 0 0 0 994 5 0 0 25 0 1 0 453678643 10096640 1659 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2465 1659 231 231 0 2234 0
vsize: 9860
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.98 0.88 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 2834 0 0 0 1990 9 0 0 25 0 1 0 453678643 18485248 2830 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4513 2830 231 231 0 4282 0
vsize: 18052
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 3859 0 0 0 2987 12 0 0 25 0 1 0 453678643 18681856 3806 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3806 231 231 0 4330 0
vsize: 18244
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 4740 0 0 0 3984 15 0 0 25 0 1 0 453678643 35594240 4687 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8690 4687 231 231 0 8459 0
vsize: 34760
[startup+50.002 s]
Raw data (loadavg): 0.97 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 5176 0 0 0 4982 18 0 0 25 0 1 0 453678643 35594240 5123 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8690 5123 231 231 0 8459 0
vsize: 34760
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 5422 0 0 0 5980 20 0 0 25 0 1 0 453678643 35733504 5369 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8724 5369 231 231 0 8493 0
vsize: 34896
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 5706 0 0 0 6979 22 0 0 25 0 1 0 453678643 35880960 5653 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 5653 231 231 0 8529 0
vsize: 35040
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 6004 0 0 0 7977 25 0 0 25 0 1 0 453678643 35880960 5951 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 5951 231 231 0 8529 0
vsize: 35040
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 6270 0 0 0 8973 29 0 0 25 0 1 0 453678643 35880960 6217 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 6217 231 231 0 8529 0
vsize: 35040
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 6534 0 0 0 9972 30 0 0 25 0 1 0 453678643 35880960 6481 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 6481 231 231 0 8529 0
vsize: 35040
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 6794 0 0 0 10969 34 0 0 25 0 1 0 453678643 35880960 6741 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 6741 231 231 0 8529 0
vsize: 35040
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7080 0 0 0 11967 36 0 0 25 0 1 0 453678643 36032512 7027 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7027 231 231 0 8566 0
vsize: 35188
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7347 0 0 0 12964 39 0 0 25 0 1 0 453678643 36032512 7294 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7294 231 231 0 8566 0
vsize: 35188
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7492 0 0 0 13963 41 0 0 25 0 1 0 453678643 36032512 7439 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7439 231 231 0 8566 0
vsize: 35188
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7495 0 0 0 14963 41 0 0 25 0 1 0 453678643 36032512 7442 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7442 231 231 0 8566 0
vsize: 35188
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7501 0 0 0 15959 45 0 0 25 0 1 0 453678643 36032512 7448 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7448 231 231 0 8566 0
vsize: 35188
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7505 0 0 0 16960 45 0 0 25 0 1 0 453678643 36032512 7452 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7452 231 231 0 8566 0
vsize: 35188
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7511 0 0 0 17956 49 0 0 25 0 1 0 453678643 36032512 7458 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7458 231 231 0 8566 0
vsize: 35188
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7518 0 0 0 18955 51 0 0 25 0 1 0 453678643 36032512 7465 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7465 231 231 0 8566 0
vsize: 35188
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7618 0 0 0 19952 53 0 0 25 0 1 0 453678643 36425728 7468 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8893 7468 231 231 0 8662 0
vsize: 35572
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7624 0 0 0 20951 55 0 0 25 0 1 0 453678643 36425728 7474 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8893 7474 231 231 0 8662 0
vsize: 35572
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7626 0 0 0 21950 57 0 0 25 0 1 0 453678643 36425728 7476 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8893 7476 231 231 0 8662 0
vsize: 35572
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7633 0 0 0 22947 60 0 0 25 0 1 0 453678643 36425728 7483 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8893 7483 231 231 0 8662 0
vsize: 35572
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7636 0 0 0 23947 60 0 0 25 0 1 0 453678643 36425728 7486 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8893 7486 231 231 0 8662 0
vsize: 35572
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7642 0 0 0 24944 64 0 0 25 0 1 0 453678643 36569088 7492 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7492 231 231 0 8697 0
vsize: 35712
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7649 0 0 0 25944 64 0 0 25 0 1 0 453678643 36569088 7499 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7499 231 231 0 8697 0
vsize: 35712
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7651 0 0 0 26942 66 0 0 25 0 1 0 453678643 36569088 7501 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7501 231 231 0 8697 0
vsize: 35712
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7658 0 0 0 27941 67 0 0 25 0 1 0 453678643 36569088 7508 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7508 231 231 0 8697 0
vsize: 35712
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7660 0 0 0 28939 70 0 0 25 0 1 0 453678643 36569088 7510 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7510 231 231 0 8697 0
vsize: 35712
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7666 0 0 0 29937 73 0 0 25 0 1 0 453678643 36569088 7516 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7516 231 231 0 8697 0
vsize: 35712
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7668 0 0 0 30936 74 0 0 25 0 1 0 453678643 36569088 7518 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7518 231 231 0 8697 0
vsize: 35712
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7676 0 0 0 31934 76 0 0 25 0 1 0 453678643 36569088 7526 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7526 231 231 0 8697 0
vsize: 35712
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7679 0 0 0 32934 77 0 0 25 0 1 0 453678643 36569088 7529 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7529 231 231 0 8697 0
vsize: 35712
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7685 0 0 0 33931 80 0 0 25 0 1 0 453678643 36569088 7535 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7535 231 231 0 8697 0
vsize: 35712
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7687 0 0 0 34931 80 0 0 25 0 1 0 453678643 36569088 7537 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7537 231 231 0 8697 0
vsize: 35712
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7693 0 0 0 35929 83 0 0 25 0 1 0 453678643 36569088 7543 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7543 231 231 0 8697 0
vsize: 35712
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7700 0 0 0 36928 84 0 0 25 0 1 0 453678643 36569088 7550 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7550 231 231 0 8697 0
vsize: 35712
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7702 0 0 0 37926 87 0 0 25 0 1 0 453678643 36569088 7552 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 7552 231 231 0 8697 0
vsize: 35712
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7709 0 0 0 38924 89 0 0 25 0 1 0 453678643 36716544 7559 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7559 231 231 0 8733 0
vsize: 35856
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7712 0 0 0 39923 90 0 0 25 0 1 0 453678643 36716544 7562 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7562 231 231 0 8733 0
vsize: 35856
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7719 0 0 0 40920 93 0 0 25 0 1 0 453678643 36716544 7569 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7569 231 231 0 8733 0
vsize: 35856
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7721 0 0 0 41920 94 0 0 25 0 1 0 453678643 36716544 7571 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7571 231 231 0 8733 0
vsize: 35856
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7727 0 0 0 42917 97 0 0 25 0 1 0 453678643 36716544 7577 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7577 231 231 0 8733 0
vsize: 35856
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7730 0 0 0 43918 97 0 0 25 0 1 0 453678643 36716544 7580 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7580 231 231 0 8733 0
vsize: 35856
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7736 0 0 0 44915 100 0 0 25 0 1 0 453678643 36716544 7586 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7586 231 231 0 8733 0
vsize: 35856
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7743 0 0 0 45915 100 0 0 25 0 1 0 453678643 36716544 7593 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7593 231 231 0 8733 0
vsize: 35856
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7748 0 0 0 46915 100 0 0 25 0 1 0 453678643 36716544 7598 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7598 231 231 0 8733 0
vsize: 35856
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7757 0 0 0 47915 101 0 0 25 0 1 0 453678643 36716544 7607 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7607 231 231 0 8733 0
vsize: 35856
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7759 0 0 0 48915 101 0 0 25 0 1 0 453678643 36716544 7609 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7609 231 231 0 8733 0
vsize: 35856
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7768 0 0 0 49915 102 0 0 25 0 1 0 453678643 36716544 7618 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7618 231 231 0 8733 0
vsize: 35856
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7770 0 0 0 50915 103 0 0 25 0 1 0 453678643 36716544 7620 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 7620 231 231 0 8733 0
vsize: 35856
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7784 0 0 0 51915 103 0 0 25 0 1 0 453678643 36880384 7634 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7634 231 231 0 8773 0
vsize: 36016
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7789 0 0 0 52915 103 0 0 25 0 1 0 453678643 36880384 7639 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7639 231 231 0 8773 0
vsize: 36016
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7791 0 0 0 53915 103 0 0 25 0 1 0 453678643 36880384 7641 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7641 231 231 0 8773 0
vsize: 36016
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7795 0 0 0 54916 103 0 0 25 0 1 0 453678643 36880384 7645 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7645 231 231 0 8773 0
vsize: 36016
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7810 0 0 0 55916 103 0 0 25 0 1 0 453678643 36880384 7660 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7660 231 231 0 8773 0
vsize: 36016
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7811 0 0 0 56917 103 0 0 25 0 1 0 453678643 36880384 7661 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7661 231 231 0 8773 0
vsize: 36016
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7811 0 0 0 57917 103 0 0 25 0 1 0 453678643 36880384 7661 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7661 231 231 0 8773 0
vsize: 36016
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7814 0 0 0 58917 103 0 0 25 0 1 0 453678643 36880384 7664 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7664 231 231 0 8773 0
vsize: 36016
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7817 0 0 0 59917 103 0 0 25 0 1 0 453678643 37007360 7667 4294967295 134512640 135450300 3221224640 3221223456 134546414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9035 7667 231 231 0 8804 0
vsize: 36140
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7820 0 0 0 60918 103 0 0 25 0 1 0 453678643 37007360 7670 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9035 7670 231 231 0 8804 0
vsize: 36140
[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7830 0 0 0 61918 103 0 0 25 0 1 0 453678643 37007360 7680 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9035 7680 231 231 0 8804 0
vsize: 36140
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7841 0 0 0 62918 104 0 0 25 0 1 0 453678643 37007360 7691 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9035 7691 231 231 0 8804 0
vsize: 36140
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7844 0 0 0 63919 104 0 0 25 0 1 0 453678643 37007360 7694 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9035 7694 231 231 0 8804 0
vsize: 36140
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7856 0 0 0 64919 104 0 0 25 0 1 0 453678643 37171200 7706 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7706 231 231 0 8844 0
vsize: 36300
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7860 0 0 0 65919 104 0 0 25 0 1 0 453678643 37171200 7710 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7710 231 231 0 8844 0
vsize: 36300
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7864 0 0 0 66919 104 0 0 25 0 1 0 453678643 37171200 7714 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7714 231 231 0 8844 0
vsize: 36300
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7866 0 0 0 67919 104 0 0 25 0 1 0 453678643 37171200 7716 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7716 231 231 0 8844 0
vsize: 36300
[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7868 0 0 0 68920 104 0 0 25 0 1 0 453678643 37171200 7718 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7718 231 231 0 8844 0
vsize: 36300
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7869 0 0 0 69920 104 0 0 25 0 1 0 453678643 37171200 7719 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7719 231 231 0 8844 0
vsize: 36300
[startup+710.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7872 0 0 0 70920 105 0 0 25 0 1 0 453678643 37171200 7722 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7722 231 231 0 8844 0
vsize: 36300
[startup+720.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7875 0 0 0 71920 105 0 0 25 0 1 0 453678643 37171200 7725 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7725 231 231 0 8844 0
vsize: 36300
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7877 0 0 0 72921 105 0 0 25 0 1 0 453678643 37171200 7727 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7727 231 231 0 8844 0
vsize: 36300
[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7878 0 0 0 73921 105 0 0 25 0 1 0 453678643 37171200 7728 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7728 231 231 0 8844 0
vsize: 36300
[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7880 0 0 0 74921 105 0 0 25 0 1 0 453678643 37171200 7730 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 7730 231 231 0 8844 0
vsize: 36300
[startup+760.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7896 0 0 0 75921 106 0 0 25 0 1 0 453678643 37306368 7746 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 7746 231 231 0 8877 0
vsize: 36432
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7901 0 0 0 76921 106 0 0 25 0 1 0 453678643 37306368 7751 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 7751 231 231 0 8877 0
vsize: 36432
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 7912 0 0 0 77921 106 0 0 25 0 1 0 453678643 37306368 7762 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 7762 231 231 0 8877 0
vsize: 36432
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8107 0 0 0 78921 107 0 0 25 0 1 0 453678643 38092800 7764 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7764 231 231 0 9069 0
vsize: 37200
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8110 0 0 0 79921 107 0 0 25 0 1 0 453678643 38092800 7767 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7767 231 231 0 9069 0
vsize: 37200
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8113 0 0 0 80922 107 0 0 25 0 1 0 453678643 38092800 7770 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7770 231 231 0 9069 0
vsize: 37200
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8116 0 0 0 81922 107 0 0 25 0 1 0 453678643 38092800 7773 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7773 231 231 0 9069 0
vsize: 37200
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8117 0 0 0 82922 107 0 0 25 0 1 0 453678643 38092800 7774 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7774 231 231 0 9069 0
vsize: 37200
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8120 0 0 0 83923 107 0 0 25 0 1 0 453678643 38092800 7777 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7777 231 231 0 9069 0
vsize: 37200
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8134 0 0 0 84923 107 0 0 25 0 1 0 453678643 38092800 7791 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7791 231 231 0 9069 0
vsize: 37200
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8138 0 0 0 85923 107 0 0 25 0 1 0 453678643 38092800 7795 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 7795 231 231 0 9069 0
vsize: 37200
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8143 0 0 0 86923 107 0 0 25 0 1 0 453678643 38227968 7800 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7800 231 231 0 9102 0
vsize: 37332
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8151 0 0 0 87924 107 0 0 25 0 1 0 453678643 38227968 7808 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7808 231 231 0 9102 0
vsize: 37332
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8153 0 0 0 88924 108 0 0 25 0 1 0 453678643 38227968 7810 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7810 231 231 0 9102 0
vsize: 37332
[startup+900.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8154 0 0 0 89924 108 0 0 25 0 1 0 453678643 38227968 7811 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7811 231 231 0 9102 0
vsize: 37332
[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8157 0 0 0 90924 108 0 0 25 0 1 0 453678643 38227968 7814 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7814 231 231 0 9102 0
vsize: 37332
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8163 0 0 0 91924 108 0 0 25 0 1 0 453678643 38227968 7820 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7820 231 231 0 9102 0
vsize: 37332
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8173 0 0 0 92925 108 0 0 25 0 1 0 453678643 38227968 7830 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7830 231 231 0 9102 0
vsize: 37332
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8175 0 0 0 93925 108 0 0 25 0 1 0 453678643 38227968 7832 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7832 231 231 0 9102 0
vsize: 37332
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8176 0 0 0 94925 108 0 0 25 0 1 0 453678643 38227968 7833 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7833 231 231 0 9102 0
vsize: 37332
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8177 0 0 0 95925 108 0 0 25 0 1 0 453678643 38227968 7834 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9333 7834 231 231 0 9102 0
vsize: 37332
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8185 0 0 0 96926 108 0 0 25 0 1 0 453678643 38354944 7842 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7842 231 231 0 9133 0
vsize: 37456
[startup+980.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8188 0 0 0 97926 108 0 0 25 0 1 0 453678643 38354944 7845 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7845 231 231 0 9133 0
vsize: 37456
[startup+990.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8193 0 0 0 98926 108 0 0 25 0 1 0 453678643 38354944 7850 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7850 231 231 0 9133 0
vsize: 37456
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8196 0 0 0 99926 108 0 0 25 0 1 0 453678643 38354944 7853 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7853 231 231 0 9133 0
vsize: 37456
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8197 0 0 0 100927 108 0 0 25 0 1 0 453678643 38354944 7854 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7854 231 231 0 9133 0
vsize: 37456
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8198 0 0 0 101927 108 0 0 25 0 1 0 453678643 38354944 7855 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7855 231 231 0 9133 0
vsize: 37456
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8202 0 0 0 102927 109 0 0 25 0 1 0 453678643 38354944 7859 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7859 231 231 0 9133 0
vsize: 37456
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8207 0 0 0 103927 109 0 0 25 0 1 0 453678643 38354944 7864 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7864 231 231 0 9133 0
vsize: 37456
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8213 0 0 0 104927 109 0 0 25 0 1 0 453678643 38354944 7870 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7870 231 231 0 9133 0
vsize: 37456
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8216 0 0 0 105928 109 0 0 25 0 1 0 453678643 38354944 7873 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7873 231 231 0 9133 0
vsize: 37456
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8218 0 0 0 106928 109 0 0 25 0 1 0 453678643 38354944 7875 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7875 231 231 0 9133 0
vsize: 37456
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8218 0 0 0 107928 109 0 0 25 0 1 0 453678643 38354944 7875 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7875 231 231 0 9133 0
vsize: 37456
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8219 0 0 0 108928 109 0 0 25 0 1 0 453678643 38354944 7876 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7876 231 231 0 9133 0
vsize: 37456
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8220 0 0 0 109929 109 0 0 25 0 1 0 453678643 38354944 7877 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7877 231 231 0 9133 0
vsize: 37456
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8223 0 0 0 110929 109 0 0 25 0 1 0 453678643 38354944 7880 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7880 231 231 0 9133 0
vsize: 37456
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8230 0 0 0 111929 109 0 0 25 0 1 0 453678643 38518784 7887 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7887 231 231 0 9173 0
vsize: 37616
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8234 0 0 0 112930 109 0 0 25 0 1 0 453678643 38518784 7891 4294967295 134512640 135450300 3221224640 3221223376 134538974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7891 231 231 0 9173 0
vsize: 37616
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8238 0 0 0 113930 109 0 0 25 0 1 0 453678643 38518784 7895 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7895 231 231 0 9173 0
vsize: 37616
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8242 0 0 0 114930 109 0 0 25 0 1 0 453678643 38518784 7899 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7899 231 231 0 9173 0
vsize: 37616
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8243 0 0 0 115930 109 0 0 25 0 1 0 453678643 38518784 7900 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7900 231 231 0 9173 0
vsize: 37616
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8244 0 0 0 116931 110 0 0 25 0 1 0 453678643 38518784 7901 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7901 231 231 0 9173 0
vsize: 37616
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8247 0 0 0 117931 110 0 0 25 0 1 0 453678643 38518784 7904 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7904 231 231 0 9173 0
vsize: 37616
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8252 0 0 0 118931 110 0 0 25 0 1 0 453678643 38518784 7909 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7909 231 231 0 9173 0
vsize: 37616
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20713
Raw data (stat): 20713 (PBS4) R 20712 29653 29652 0 -1 0 8254 0 0 0 119931 110 0 0 25 0 1 0 453678643 38518784 7911 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 7911 231 231 0 9173 0
vsize: 37616
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 20713
Raw data (stat): 20713 (PBS4) Z 20712 29653 29652 0 -1 1036 8254 0 0 0 119931 111 0 0 25 0 1 0 453678643 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.05
CPU time (s): 1200.44
CPU user time (s): 1199.32
CPU system time (s): 1.11883
CPU usage (%): 100.033
Max. virtual memory (Kb): 37616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####