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/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM	99cab377899feaa32c19b4b5cf94d7d4
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.871866
Number of variables	1305
Total number of constraints	958
Number of constraints which are clauses	899
Number of constraints which are cardinality constraints (but not clauses)	59
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 7658

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-17 15:37:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=420 boxname=wulflinc23 idbench=47 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  99cab377899feaa32c19b4b5cf94d7d4  /oldhome/oroussel/tmp/wulflinc23/normalized-fpga30_29_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-fpga30_29_sat_pb.cnf.cr.opb
IDLAUNCH: 420
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        825952 kB
Buffers:         35976 kB
Cached:         129276 kB
SwapCached:        192 kB
Active:          64500 kB
Inactive:       103788 kB
HighTotal:      131008 kB
HighFree:         3164 kB
LowTotal:       903652 kB
LowFree:        822788 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            34912 kB
Committed_AS:    63476 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:57:50 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 420 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-fpga30_29_sat_pb.cnf.cr.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.08 0.02 0.01 2/54 25144
Raw data (stat): 25144 (runsolver) R 25143 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511651880 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0008 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 1590 0 0 0 993 6 0 0 25 0 1 0 511651880 10448896 1586 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2551 1586 231 231 0 2320 0
vsize: 10204
[startup+20.0018 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 2470 0 0 0 1991 8 0 0 25 0 1 0 511651880 18972672 2466 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 2466 231 231 0 4401 0
vsize: 18528
[startup+30.0024 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 3446 0 0 0 2988 11 0 0 25 0 1 0 511651880 19308544 3442 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 3442 231 231 0 4483 0
vsize: 18856
[startup+40.0026 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 4140 0 0 0 3986 13 0 0 25 0 1 0 511651880 19443712 4136 4294967295 134512640 135450300 3221224624 3221223152 134545081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4747 4136 231 231 0 4516 0
vsize: 18988
[startup+50.0036 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 4729 0 0 0 4985 15 0 0 25 0 1 0 511651880 36220928 4725 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8843 4725 231 231 0 8612 0
vsize: 35372
[startup+60.0042 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 5295 0 0 0 5983 16 0 0 25 0 1 0 511651880 36368384 5291 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8879 5291 231 231 0 8648 0
vsize: 35516
[startup+70.0045 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 5709 0 0 0 6982 18 0 0 25 0 1 0 511651880 36368384 5705 4294967295 134512640 135450300 3221224624 3221223360 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8879 5705 231 231 0 8648 0
vsize: 35516
[startup+80.0045 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 6132 0 0 0 7981 19 0 0 25 0 1 0 511651880 36515840 6128 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8915 6128 231 231 0 8684 0
vsize: 35660
[startup+90.0051 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 6529 0 0 0 8979 21 0 0 25 0 1 0 511651880 36515840 6525 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8915 6525 231 231 0 8684 0
vsize: 35660
[startup+100.004 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 6816 0 0 0 9978 22 0 0 25 0 1 0 511651880 36651008 6812 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8948 6812 231 231 0 8717 0
vsize: 35792
[startup+110.004 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 7702 0 0 0 10975 25 0 0 25 0 1 0 511651880 37253120 7649 4294967295 134512640 135450300 3221224624 3221223152 134544104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9095 7649 231 231 0 8864 0
vsize: 36380
[startup+120.005 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 8832 0 0 0 11970 30 0 0 25 0 1 0 511651880 38363136 8779 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9366 8779 231 231 0 9135 0
vsize: 37464
[startup+130.004 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9311 0 0 0 12967 34 0 0 25 0 1 0 511651880 38768640 9258 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9465 9258 231 231 0 9234 0
vsize: 37860
[startup+140.008 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9398 0 0 0 13959 42 0 0 25 0 1 0 511651880 39038976 9345 4294967295 134512640 135450300 3221224624 3221223404 134535630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9531 9345 231 231 0 9300 0
vsize: 38124
[startup+150.009 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9565 0 0 0 14956 45 0 0 25 0 1 0 511651880 39571456 9415 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9661 9415 231 231 0 9430 0
vsize: 38644
[startup+160.008 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9628 0 0 0 15955 46 0 0 25 0 1 0 511651880 39845888 9478 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9728 9478 231 231 0 9497 0
vsize: 38912
[startup+170.008 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9674 0 0 0 16954 47 0 0 25 0 1 0 511651880 39981056 9524 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9761 9524 231 231 0 9530 0
vsize: 39044
[startup+180.007 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9687 0 0 0 17954 47 0 0 25 0 1 0 511651880 39981056 9537 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9761 9537 231 231 0 9530 0
vsize: 39044
[startup+190.008 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9712 0 0 0 18954 47 0 0 25 0 1 0 511651880 40116224 9562 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9794 9562 231 231 0 9563 0
vsize: 39176
[startup+200.008 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9734 0 0 0 19954 48 0 0 25 0 1 0 511651880 40255488 9584 4294967295 134512640 135450300 3221224624 3221223440 134547193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9828 9584 231 231 0 9597 0
vsize: 39312
[startup+210.007 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9758 0 0 0 20954 48 0 0 25 0 1 0 511651880 40255488 9608 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9828 9608 231 231 0 9597 0
vsize: 39312
[startup+220.008 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9796 0 0 0 21954 48 0 0 25 0 1 0 511651880 40390656 9646 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9861 9646 231 231 0 9630 0
vsize: 39444
[startup+230.007 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9800 0 0 0 22954 48 0 0 25 0 1 0 511651880 40390656 9650 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9861 9650 231 231 0 9630 0
vsize: 39444
[startup+240.008 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9855 0 0 0 23954 49 0 0 25 0 1 0 511651880 40665088 9705 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9928 9705 231 231 0 9697 0
vsize: 39712
[startup+250.008 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9918 0 0 0 24954 49 0 0 25 0 1 0 511651880 40804352 9768 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9962 9768 231 231 0 9731 0
vsize: 39848
[startup+260.008 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 9972 0 0 0 25953 49 0 0 25 0 1 0 511651880 41086976 9822 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9822 231 231 0 9800 0
vsize: 40124
[startup+270.008 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 10002 0 0 0 26953 50 0 0 25 0 1 0 511651880 41226240 9852 4294967295 134512640 135450300 3221224624 3221223360 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10065 9852 231 231 0 9834 0
vsize: 40260
[startup+280.007 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 10521 0 0 0 27951 52 0 0 25 0 1 0 511651880 74919936 10371 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18291 10371 231 231 0 18060 0
vsize: 73164
[startup+290.008 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 11236 0 0 0 28950 53 0 0 25 0 1 0 511651880 75517952 11086 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18437 11086 231 231 0 18206 0
vsize: 73748
[startup+300.008 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 12140 0 0 0 29947 56 0 0 25 0 1 0 511651880 76730368 11990 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18733 11990 231 231 0 18502 0
vsize: 74932
[startup+310.007 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 13011 0 0 0 30945 59 0 0 25 0 1 0 511651880 77762560 12861 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18985 12861 231 231 0 18754 0
vsize: 75940
[startup+320.008 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 13867 0 0 0 31943 61 0 0 25 0 1 0 511651880 78622720 13717 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19195 13717 231 231 0 18964 0
vsize: 76780
[startup+330.008 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 14607 0 0 0 32941 63 0 0 25 0 1 0 511651880 78934016 14457 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19271 14457 231 231 0 19040 0
vsize: 77084
[startup+340.008 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 15241 0 0 0 33939 65 0 0 25 0 1 0 511651880 78934016 15091 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19271 15091 231 231 0 19040 0
vsize: 77084
[startup+350.008 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 15500 0 0 0 34939 66 0 0 25 0 1 0 511651880 80015360 15157 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19535 15157 231 231 0 19304 0
vsize: 78140
[startup+360.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 15778 0 0 0 35938 67 0 0 25 0 1 0 511651880 81375232 15435 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19867 15435 231 231 0 19636 0
vsize: 79468
[startup+370.007 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 16312 0 0 0 36937 68 0 0 25 0 1 0 511651880 81997824 15969 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20019 15969 231 231 0 19788 0
vsize: 80076
[startup+380.007 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 16942 0 0 0 37936 69 0 0 25 0 1 0 511651880 82325504 16599 4294967295 134512640 135450300 3221224624 3221223088 134532878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20099 16599 231 231 0 19868 0
vsize: 80396
[startup+390.007 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 17622 0 0 0 38934 71 0 0 25 0 1 0 511651880 82325504 17279 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20099 17279 231 231 0 19868 0
vsize: 80396
[startup+400.007 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 18287 0 0 0 39932 73 0 0 25 0 1 0 511651880 82489344 17944 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20139 17944 231 231 0 19908 0
vsize: 80556
[startup+410.007 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 18552 0 0 0 40932 74 0 0 25 0 1 0 511651880 82997248 18209 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20263 18209 231 231 0 20032 0
vsize: 81052
[startup+420.007 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 18883 0 0 0 41931 75 0 0 25 0 1 0 511651880 84635648 18540 4294967295 134512640 135450300 3221224624 3221223344 134536052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20663 18540 231 231 0 20432 0
vsize: 82652
[startup+430.007 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 19294 0 0 0 42929 76 0 0 25 0 1 0 511651880 84635648 18951 4294967295 134512640 135450300 3221224624 3221223456 134549505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20663 18951 231 231 0 20432 0
vsize: 82652
[startup+440.007 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 20268 0 0 0 43928 78 0 0 25 0 1 0 511651880 85946368 19925 4294967295 134512640 135450300 3221224624 3221223440 134547862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20983 19925 231 231 0 20752 0
vsize: 83932
[startup+450.008 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 21158 0 0 0 44926 80 0 0 25 0 1 0 511651880 154529792 20815 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37727 20815 231 231 0 37496 0
vsize: 150908
[startup+460.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 21864 0 0 0 45924 82 0 0 25 0 1 0 511651880 155545600 21521 4294967295 134512640 135450300 3221224624 3221223088 134532554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37975 21521 231 231 0 37744 0
vsize: 151900
[startup+470.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 22410 0 0 0 46923 84 0 0 25 0 1 0 511651880 155545600 22067 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37975 22067 231 231 0 37744 0
vsize: 151900
[startup+480.007 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 22472 0 0 0 47923 84 0 0 25 0 1 0 511651880 155938816 22129 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38071 22129 231 231 0 37840 0
vsize: 152284
[startup+490.007 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 23067 0 0 0 48922 85 0 0 25 0 1 0 511651880 157708288 22724 4294967295 134512640 135450300 3221224624 3221223344 134535656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38503 22724 231 231 0 38272 0
vsize: 154012
[startup+500.007 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 23686 0 0 0 49919 88 0 0 25 0 1 0 511651880 158494720 23343 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38695 23343 231 231 0 38464 0
vsize: 154780
[startup+510.007 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 24385 0 0 0 50918 90 0 0 25 0 1 0 511651880 158691328 24042 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38743 24042 231 231 0 38512 0
vsize: 154972
[startup+520.007 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 25190 0 0 0 51916 92 0 0 25 0 1 0 511651880 160067584 24847 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39079 24847 231 231 0 38848 0
vsize: 156316
[startup+530.007 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 25719 0 0 0 52914 93 0 0 25 0 1 0 511651880 160657408 25376 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39223 25376 231 231 0 38992 0
vsize: 156892
[startup+540.008 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 26374 0 0 0 53913 95 0 0 25 0 1 0 511651880 160657408 26031 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39223 26031 231 231 0 38992 0
vsize: 156892
[startup+550.007 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 26467 0 0 0 54912 96 0 0 25 0 1 0 511651880 160657408 26124 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39223 26124 231 231 0 38992 0
vsize: 156892
[startup+560.007 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 26514 0 0 0 55912 96 0 0 25 0 1 0 511651880 160657408 26171 4294967295 134512640 135450300 3221224624 3221223008 134602233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39223 26171 231 231 0 38992 0
vsize: 156892
[startup+570.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 27186 0 0 0 56910 98 0 0 25 0 1 0 511651880 160854016 26843 4294967295 134512640 135450300 3221224624 3221223344 134535979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39271 26843 231 231 0 39040 0
vsize: 157084
[startup+580.007 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 27702 0 0 0 57908 100 0 0 25 0 1 0 511651880 160854016 27359 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39271 27359 231 231 0 39040 0
vsize: 157084
[startup+590.008 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 28152 0 0 0 58907 102 0 0 25 0 1 0 511651880 160854016 27809 4294967295 134512640 135450300 3221224624 3221223152 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39271 27809 231 231 0 39040 0
vsize: 157084
[startup+600.007 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 28674 0 0 0 59906 103 0 0 25 0 1 0 511651880 160854016 28331 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39271 28331 231 231 0 39040 0
vsize: 157084
[startup+610.007 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 29348 0 0 0 60904 105 0 0 25 0 1 0 511651880 161017856 29005 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39311 29005 231 231 0 39080 0
vsize: 157244
[startup+620.006 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 29387 0 0 0 61904 105 0 0 25 0 1 0 511651880 161169408 29044 4294967295 134512640 135450300 3221224624 3221223152 134543736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39348 29044 231 231 0 39117 0
vsize: 157392
[startup+630.006 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 29513 0 0 0 62904 105 0 0 25 0 1 0 511651880 161824768 29170 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39508 29170 231 231 0 39277 0
vsize: 158032
[startup+640.006 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 29516 0 0 0 63904 106 0 0 25 0 1 0 511651880 161824768 29173 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39508 29173 231 231 0 39277 0
vsize: 158032
[startup+650.006 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 29559 0 0 0 64904 106 0 0 25 0 1 0 511651880 162021376 29216 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39556 29216 231 231 0 39325 0
vsize: 158224
[startup+660.006 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 29919 0 0 0 65903 107 0 0 25 0 1 0 511651880 163954688 29576 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40028 29576 231 231 0 39797 0
vsize: 160112
[startup+670.006 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 29922 0 0 0 66903 107 0 0 25 0 1 0 511651880 163954688 29579 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40028 29579 231 231 0 39797 0
vsize: 160112
[startup+680.005 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 30192 0 0 0 67903 107 0 0 25 0 1 0 511651880 165298176 29849 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40356 29849 231 231 0 40125 0
vsize: 161424
[startup+690.006 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 30580 0 0 0 68902 109 0 0 25 0 1 0 511651880 165298176 30237 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40356 30237 231 231 0 40125 0
vsize: 161424
[startup+700.006 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 31106 0 0 0 69901 110 0 0 25 0 1 0 511651880 165625856 30763 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40436 30763 231 231 0 40205 0
vsize: 161744
[startup+710.006 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 31803 0 0 0 70898 113 0 0 25 0 1 0 511651880 165625856 31460 4294967295 134512640 135450300 3221224624 3221223440 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40436 31460 231 231 0 40205 0
vsize: 161744
[startup+720.006 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 32317 0 0 0 71897 114 0 0 25 0 1 0 511651880 165822464 31974 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40484 31974 231 231 0 40253 0
vsize: 161936
[startup+730.005 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 32817 0 0 0 72895 116 0 0 25 0 1 0 511651880 165986304 32474 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40524 32474 231 231 0 40293 0
vsize: 162096
[startup+740.006 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 33260 0 0 0 73893 118 0 0 25 0 1 0 511651880 166182912 32917 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40572 32917 231 231 0 40341 0
vsize: 162288
[startup+750.005 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 33913 0 0 0 74891 120 0 0 25 0 1 0 511651880 166182912 33570 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40572 33570 231 231 0 40341 0
vsize: 162288
[startup+760.005 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 34508 0 0 0 75890 122 0 0 25 0 1 0 511651880 167362560 34165 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40860 34165 231 231 0 40629 0
vsize: 163440
[startup+770.005 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 34967 0 0 0 76889 123 0 0 25 0 1 0 511651880 167362560 34624 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40860 34624 231 231 0 40629 0
vsize: 163440
[startup+780.004 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 35616 0 0 0 77887 125 0 0 25 0 1 0 511651880 167559168 35273 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40908 35273 231 231 0 40677 0
vsize: 163632
[startup+790.005 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 36228 0 0 0 78886 127 0 0 25 0 1 0 511651880 168542208 35885 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41148 35885 231 231 0 40917 0
vsize: 164592
[startup+800.006 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 36984 0 0 0 79882 131 0 0 25 0 1 0 511651880 169046016 36641 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41271 36641 231 231 0 41040 0
vsize: 165084
[startup+810.005 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37381 0 0 0 80880 133 0 0 25 0 1 0 511651880 169234432 37038 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37038 231 231 0 41086 0
vsize: 165268
[startup+820.005 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37384 0 0 0 81880 133 0 0 25 0 1 0 511651880 169234432 37041 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37041 231 231 0 41086 0
vsize: 165268
[startup+830.004 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37388 0 0 0 82880 133 0 0 25 0 1 0 511651880 169234432 37045 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37045 231 231 0 41086 0
vsize: 165268
[startup+840.005 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37392 0 0 0 83880 133 0 0 25 0 1 0 511651880 169234432 37049 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37049 231 231 0 41086 0
vsize: 165268
[startup+850.005 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37397 0 0 0 84880 134 0 0 25 0 1 0 511651880 169234432 37054 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37054 231 231 0 41086 0
vsize: 165268
[startup+860.004 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37401 0 0 0 85880 134 0 0 25 0 1 0 511651880 169234432 37058 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37058 231 231 0 41086 0
vsize: 165268
[startup+870.004 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37405 0 0 0 86880 134 0 0 25 0 1 0 511651880 169234432 37062 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37062 231 231 0 41086 0
vsize: 165268
[startup+880.003 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37409 0 0 0 87880 134 0 0 25 0 1 0 511651880 169234432 37066 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37066 231 231 0 41086 0
vsize: 165268
[startup+890.003 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37412 0 0 0 88880 134 0 0 25 0 1 0 511651880 169234432 37069 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37069 231 231 0 41086 0
vsize: 165268
[startup+900.004 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37417 0 0 0 89880 134 0 0 25 0 1 0 511651880 169234432 37074 4294967295 134512640 135450300 3221224624 3221223008 134579548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37074 231 231 0 41086 0
vsize: 165268
[startup+910.003 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37421 0 0 0 90880 135 0 0 25 0 1 0 511651880 169234432 37078 4294967295 134512640 135450300 3221224624 3221223440 134547873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37078 231 231 0 41086 0
vsize: 165268
[startup+920.004 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37425 0 0 0 91880 135 0 0 25 0 1 0 511651880 169234432 37082 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37082 231 231 0 41086 0
vsize: 165268
[startup+930.005 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37430 0 0 0 92880 135 0 0 25 0 1 0 511651880 169234432 37087 4294967295 134512640 135450300 3221224624 3221223404 134535630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37087 231 231 0 41086 0
vsize: 165268
[startup+940.005 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37435 0 0 0 93880 135 0 0 25 0 1 0 511651880 169234432 37092 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37092 231 231 0 41086 0
vsize: 165268
[startup+950.005 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37443 0 0 0 94880 135 0 0 25 0 1 0 511651880 169234432 37100 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41317 37100 231 231 0 41086 0
vsize: 165268
[startup+960.005 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37832 0 0 0 95880 136 0 0 25 0 1 0 511651880 170807296 37104 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41701 37104 231 231 0 41470 0
vsize: 166804
[startup+970.005 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37835 0 0 0 96880 136 0 0 25 0 1 0 511651880 170807296 37107 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41701 37107 231 231 0 41470 0
vsize: 166804
[startup+980.005 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37846 0 0 0 97880 136 0 0 25 0 1 0 511651880 170807296 37118 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41701 37118 231 231 0 41470 0
vsize: 166804
[startup+990.005 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37856 0 0 0 98879 137 0 0 25 0 1 0 511651880 171008000 37128 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37128 231 231 0 41519 0
vsize: 167000
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37860 0 0 0 99879 137 0 0 25 0 1 0 511651880 171008000 37132 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37132 231 231 0 41519 0
vsize: 167000
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37871 0 0 0 100879 138 0 0 25 0 1 0 511651880 171008000 37143 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37143 231 231 0 41519 0
vsize: 167000
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37881 0 0 0 101879 138 0 0 25 0 1 0 511651880 171008000 37153 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37153 231 231 0 41519 0
vsize: 167000
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37887 0 0 0 102879 138 0 0 25 0 1 0 511651880 171008000 37159 4294967295 134512640 135450300 3221224624 3221223344 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37159 231 231 0 41519 0
vsize: 167000
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37892 0 0 0 103879 138 0 0 25 0 1 0 511651880 171008000 37164 4294967295 134512640 135450300 3221224624 3221223152 134544641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37164 231 231 0 41519 0
vsize: 167000
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37895 0 0 0 104878 139 0 0 25 0 1 0 511651880 171008000 37167 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37167 231 231 0 41519 0
vsize: 167000
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37902 0 0 0 105879 139 0 0 25 0 1 0 511651880 171008000 37174 4294967295 134512640 135450300 3221224624 3221223344 134535489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37174 231 231 0 41519 0
vsize: 167000
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37906 0 0 0 106879 139 0 0 25 0 1 0 511651880 171008000 37178 4294967295 134512640 135450300 3221224624 3221223088 134532838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37178 231 231 0 41519 0
vsize: 167000
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37919 0 0 0 107879 139 0 0 25 0 1 0 511651880 171008000 37191 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37191 231 231 0 41519 0
vsize: 167000
[startup+1090.01 s]
Raw data (loadavg): 1.07 0.97 0.66 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37929 0 0 0 108879 139 0 0 25 0 1 0 511651880 171008000 37201 4294967295 134512640 135450300 3221224624 3221223088 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37201 231 231 0 41519 0
vsize: 167000
[startup+1100.01 s]
Raw data (loadavg): 1.06 0.97 0.67 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37936 0 0 0 109879 140 0 0 25 0 1 0 511651880 171008000 37208 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37208 231 231 0 41519 0
vsize: 167000
[startup+1110.01 s]
Raw data (loadavg): 1.05 0.97 0.67 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37940 0 0 0 110879 140 0 0 25 0 1 0 511651880 171008000 37212 4294967295 134512640 135450300 3221224624 3221223456 134549440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37212 231 231 0 41519 0
vsize: 167000
[startup+1120.01 s]
Raw data (loadavg): 1.04 0.97 0.67 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37945 0 0 0 111879 140 0 0 25 0 1 0 511651880 171008000 37217 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41750 37217 231 231 0 41519 0
vsize: 167000
[startup+1130.01 s]
Raw data (loadavg): 1.04 0.97 0.68 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37972 0 0 0 112879 140 0 0 25 0 1 0 511651880 171171840 37244 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41790 37244 231 231 0 41559 0
vsize: 167160
[startup+1140.01 s]
Raw data (loadavg): 1.03 0.97 0.68 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37975 0 0 0 113879 140 0 0 25 0 1 0 511651880 171171840 37247 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41790 37247 231 231 0 41559 0
vsize: 167160
[startup+1150.01 s]
Raw data (loadavg): 1.03 0.97 0.68 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37980 0 0 0 114879 141 0 0 25 0 1 0 511651880 171171840 37252 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41790 37252 231 231 0 41559 0
vsize: 167160
[startup+1160.01 s]
Raw data (loadavg): 1.02 0.97 0.69 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37986 0 0 0 115879 141 0 0 25 0 1 0 511651880 171171840 37258 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41790 37258 231 231 0 41559 0
vsize: 167160
[startup+1170.01 s]
Raw data (loadavg): 1.02 0.97 0.69 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 37988 0 0 0 116879 141 0 0 25 0 1 0 511651880 171171840 37260 4294967295 134512640 135450300 3221224624 3221223456 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41790 37260 231 231 0 41559 0
vsize: 167160
[startup+1180.01 s]
Raw data (loadavg): 1.01 0.97 0.69 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 38056 0 0 0 117878 142 0 0 25 0 1 0 511651880 171728896 37328 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41926 37328 231 231 0 41695 0
vsize: 167704
[startup+1190.01 s]
Raw data (loadavg): 1.01 0.97 0.69 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 38074 0 0 0 118878 142 0 0 25 0 1 0 511651880 171900928 37346 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41968 37346 231 231 0 41737 0
vsize: 167872
[startup+1200.01 s]
Raw data (loadavg): 1.01 0.97 0.70 2/54 25144
Raw data (stat): 25144 (PBS4) R 25143 3260 3259 0 -1 0 38245 0 0 0 119878 142 0 0 25 0 1 0 511651880 173080576 37517 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42256 37517 231 231 0 42025 0
vsize: 169024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.01 0.97 0.70 1/54 25144
Raw data (stat): 25144 (PBS4) Z 25143 3260 3259 0 -1 1036 38245 0 0 0 119878 149 0 0 25 0 1 0 511651880 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.08
CPU time (s): 1200.28
CPU user time (s): 1198.79
CPU system time (s): 1.49477
CPU usage (%): 100.017
Max. virtual memory (Kb): 169024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####