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-fpga35_33_sat_pb.cnf.cr.opb
MD5SUM	d4fd8917eebbcee2e1b2df9714e1fab8
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.59276
Number of variables	1733
Total number of constraints	1256
Number of constraints which are clauses	1188
Number of constraints which are cardinality constraints (but not clauses)	68
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 7669

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        844628 kB
Buffers:         37304 kB
Cached:         114808 kB
SwapCached:          4 kB
Active:          69460 kB
Inactive:        86436 kB
HighTotal:      131008 kB
HighFree:        11620 kB
LowTotal:       903652 kB
LowFree:        833008 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            28700 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:58:27 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 438 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc28/normalized-fpga35_33_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.00 0.00 0.00 2/54 6660
Raw data (stat): 6660 (runsolver) R 6659 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511661000 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0005 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 1379 0 0 0 992 6 0 0 25 0 1 0 511661000 10416128 1375 4294967295 134512640 135450300 3221224624 3221223440 134547902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1375 231 231 0 2312 0
vsize: 10172
[startup+20.0008 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 2136 0 0 0 1990 8 0 0 25 0 1 0 511661000 10584064 2132 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2584 2132 231 231 0 2353 0
vsize: 10336
[startup+30.0018 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 2751 0 0 0 2988 11 0 0 25 0 1 0 511661000 18972672 2747 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 2747 231 231 0 4401 0
vsize: 18528
[startup+40.0014 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 3267 0 0 0 3987 12 0 0 25 0 1 0 511661000 18972672 3263 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3263 231 231 0 4401 0
vsize: 18528
[startup+50.0008 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 3797 0 0 0 4986 13 0 0 25 0 1 0 511661000 19382272 3793 4294967295 134512640 135450300 3221224624 3221223456 134549440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4732 3793 231 231 0 4501 0
vsize: 18928
[startup+60.0007 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 4788 0 0 0 5982 17 0 0 25 0 1 0 511661000 36978688 4784 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 4784 231 231 0 8797 0
vsize: 36112
[startup+70.0004 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 5545 0 0 0 6981 19 0 0 25 0 1 0 511661000 37179392 5541 4294967295 134512640 135450300 3221224624 3221223456 134549453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9077 5541 231 231 0 8846 0
vsize: 36308
[startup+80.0008 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 6330 0 0 0 7979 21 0 0 25 0 1 0 511661000 38019072 6326 4294967295 134512640 135450300 3221224624 3221223456 134549505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9282 6326 231 231 0 9051 0
vsize: 37128
[startup+90.0007 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 7320 0 0 0 8975 24 0 0 25 0 1 0 511661000 38748160 7316 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9460 7316 231 231 0 9229 0
vsize: 37840
[startup+100 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 7993 0 0 0 9973 27 0 0 25 0 1 0 511661000 39321600 7989 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9600 7989 231 231 0 9369 0
vsize: 38400
[startup+110.001 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 8869 0 0 0 10971 29 0 0 25 0 1 0 511661000 39878656 8865 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 8865 231 231 0 9505 0
vsize: 38944
[startup+120.001 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 9737 0 0 0 11969 31 0 0 25 0 1 0 511661000 73433088 9733 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17928 9733 231 231 0 17697 0
vsize: 71712
[startup+130.001 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 10805 0 0 0 12966 35 0 0 25 0 1 0 511661000 74461184 10801 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18179 10801 231 231 0 17948 0
vsize: 72716
[startup+140.001 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 11688 0 0 0 13963 37 0 0 25 0 1 0 511661000 75345920 11684 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18395 11684 231 231 0 18164 0
vsize: 73580
[startup+150.001 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 12365 0 0 0 14961 40 0 0 25 0 1 0 511661000 75984896 12312 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18551 12312 231 231 0 18320 0
vsize: 74204
[startup+160.001 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 13069 0 0 0 15959 42 0 0 25 0 1 0 511661000 75984896 13016 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18551 13016 231 231 0 18320 0
vsize: 74204
[startup+170.001 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 13813 0 0 0 16958 44 0 0 25 0 1 0 511661000 76267520 13760 4294967295 134512640 135450300 3221224624 3221223344 134535555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18620 13760 231 231 0 18389 0
vsize: 74480
[startup+180.002 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 14447 0 0 0 17956 46 0 0 25 0 1 0 511661000 76402688 14394 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18653 14394 231 231 0 18422 0
vsize: 74612
[startup+190.001 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 15097 0 0 0 18954 47 0 0 25 0 1 0 511661000 76402688 15044 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18653 15044 231 231 0 18422 0
vsize: 74612
[startup+200.001 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 16053 0 0 0 19952 49 0 0 25 0 1 0 511661000 77508608 16000 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18923 16000 231 231 0 18692 0
vsize: 75692
[startup+210.002 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 16642 0 0 0 20951 51 0 0 25 0 1 0 511661000 77508608 16589 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18923 16589 231 231 0 18692 0
vsize: 75692
[startup+220.002 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 17364 0 0 0 21948 54 0 0 25 0 1 0 511661000 78245888 17311 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19103 17311 231 231 0 18872 0
vsize: 76412
[startup+230.003 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 17388 0 0 0 22948 54 0 0 25 0 1 0 511661000 78245888 17335 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19103 17335 231 231 0 18872 0
vsize: 76412
[startup+240.003 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 17602 0 0 0 23948 54 0 0 25 0 1 0 511661000 79241216 17549 4294967295 134512640 135450300 3221224624 3221222928 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19346 17549 231 231 0 19115 0
vsize: 77384
[startup+250.002 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 17838 0 0 0 24948 55 0 0 25 0 1 0 511661000 79241216 17785 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19346 17785 231 231 0 19115 0
vsize: 77384
[startup+260.003 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 18745 0 0 0 25946 58 0 0 25 0 1 0 511661000 80306176 18692 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19606 18692 231 231 0 19375 0
vsize: 78424
[startup+270.003 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 19400 0 0 0 26943 60 0 0 25 0 1 0 511661000 147562496 19347 4294967295 134512640 135450300 3221224624 3221223468 134538368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36026 19347 231 231 0 35795 0
vsize: 144104
[startup+280.006 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 20193 0 0 0 27942 62 0 0 25 0 1 0 511661000 148611072 20140 4294967295 134512640 135450300 3221224624 3221223456 134549860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36282 20140 231 231 0 36051 0
vsize: 145128
[startup+290.007 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 20965 0 0 0 28940 64 0 0 25 0 1 0 511661000 148611072 20912 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36282 20912 231 231 0 36051 0
vsize: 145128
[startup+300.006 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 21204 0 0 0 29939 65 0 0 25 0 1 0 511661000 149454848 21151 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36488 21151 231 231 0 36257 0
vsize: 145952
[startup+310.007 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 21233 0 0 0 30939 65 0 0 25 0 1 0 511661000 149602304 21180 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36524 21180 231 231 0 36293 0
vsize: 146096
[startup+320.008 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 21904 0 0 0 31938 67 0 0 25 0 1 0 511661000 149995520 21754 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36620 21754 231 231 0 36389 0
vsize: 146480
[startup+330.008 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 22638 0 0 0 32935 69 0 0 25 0 1 0 511661000 149995520 22488 4294967295 134512640 135450300 3221224624 3221223008 134602283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36620 22488 231 231 0 36389 0
vsize: 146480
[startup+340.008 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 23524 0 0 0 33931 74 0 0 25 0 1 0 511661000 150855680 23374 4294967295 134512640 135450300 3221224624 3221223344 134598274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36830 23374 231 231 0 36599 0
vsize: 147320
[startup+350.009 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 23907 0 0 0 34928 77 0 0 25 0 1 0 511661000 151162880 23757 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36905 23757 231 231 0 36674 0
vsize: 147620
[startup+360.009 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 23927 0 0 0 35924 82 0 0 25 0 1 0 511661000 151162880 23777 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36905 23777 231 231 0 36674 0
vsize: 147620
[startup+370.009 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 23991 0 0 0 36922 84 0 0 25 0 1 0 511661000 151433216 23841 4294967295 134512640 135450300 3221224624 3221223440 134546896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36971 23841 231 231 0 36740 0
vsize: 147884
[startup+380.01 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24030 0 0 0 37921 85 0 0 25 0 1 0 511661000 151560192 23880 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 23880 231 231 0 36771 0
vsize: 148008
[startup+390.009 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24036 0 0 0 38921 85 0 0 25 0 1 0 511661000 151560192 23886 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 23886 231 231 0 36771 0
vsize: 148008
[startup+400.009 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24042 0 0 0 39921 85 0 0 25 0 1 0 511661000 151560192 23892 4294967295 134512640 135450300 3221224624 3221223344 134535979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 23892 231 231 0 36771 0
vsize: 148008
[startup+410.01 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24056 0 0 0 40921 86 0 0 25 0 1 0 511661000 151560192 23906 4294967295 134512640 135450300 3221224624 3221223344 134536034 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 23906 231 231 0 36771 0
vsize: 148008
[startup+420.01 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24061 0 0 0 41921 86 0 0 25 0 1 0 511661000 151560192 23911 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 23911 231 231 0 36771 0
vsize: 148008
[startup+430.011 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24064 0 0 0 42921 86 0 0 25 0 1 0 511661000 151560192 23914 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 23914 231 231 0 36771 0
vsize: 148008
[startup+440.011 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24076 0 0 0 43921 86 0 0 25 0 1 0 511661000 151736320 23926 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37045 23926 231 231 0 36814 0
vsize: 148180
[startup+450.01 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24094 0 0 0 44921 87 0 0 25 0 1 0 511661000 151736320 23944 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37045 23944 231 231 0 36814 0
vsize: 148180
[startup+460.011 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24098 0 0 0 45921 87 0 0 25 0 1 0 511661000 151736320 23948 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37045 23948 231 231 0 36814 0
vsize: 148180
[startup+470.01 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24121 0 0 0 46920 88 0 0 25 0 1 0 511661000 151883776 23971 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37081 23971 231 231 0 36850 0
vsize: 148324
[startup+480.011 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24163 0 0 0 47920 88 0 0 25 0 1 0 511661000 152018944 24013 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37114 24013 231 231 0 36883 0
vsize: 148456
[startup+490.012 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24166 0 0 0 48920 88 0 0 25 0 1 0 511661000 152018944 24016 4294967295 134512640 135450300 3221224624 3221223440 134547914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37114 24016 231 231 0 36883 0
vsize: 148456
[startup+500.011 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24169 0 0 0 49920 88 0 0 25 0 1 0 511661000 152018944 24019 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37114 24019 231 231 0 36883 0
vsize: 148456
[startup+510.012 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24365 0 0 0 50920 89 0 0 25 0 1 0 511661000 152805376 24022 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37306 24022 231 231 0 37075 0
vsize: 149224
[startup+520.013 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24394 0 0 0 51920 89 0 0 25 0 1 0 511661000 152805376 24051 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37306 24051 231 231 0 37075 0
vsize: 149224
[startup+530.013 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24396 0 0 0 52920 89 0 0 25 0 1 0 511661000 152805376 24053 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37306 24053 231 231 0 37075 0
vsize: 149224
[startup+540.013 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24402 0 0 0 53920 89 0 0 25 0 1 0 511661000 152805376 24059 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37306 24059 231 231 0 37075 0
vsize: 149224
[startup+550.013 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24411 0 0 0 54920 89 0 0 25 0 1 0 511661000 152940544 24068 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37339 24068 231 231 0 37108 0
vsize: 149356
[startup+560.013 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24413 0 0 0 55920 89 0 0 25 0 1 0 511661000 152940544 24070 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37339 24070 231 231 0 37108 0
vsize: 149356
[startup+570.013 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24430 0 0 0 56920 90 0 0 25 0 1 0 511661000 152940544 24087 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37339 24087 231 231 0 37108 0
vsize: 149356
[startup+580.014 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24449 0 0 0 57920 90 0 0 25 0 1 0 511661000 152940544 24106 4294967295 134512640 135450300 3221224624 3221223088 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37339 24106 231 231 0 37108 0
vsize: 149356
[startup+590.014 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24452 0 0 0 58921 90 0 0 25 0 1 0 511661000 152940544 24109 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37339 24109 231 231 0 37108 0
vsize: 149356
[startup+600.014 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24461 0 0 0 59920 90 0 0 25 0 1 0 511661000 153071616 24118 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37371 24118 231 231 0 37140 0
vsize: 149484
[startup+610.014 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24478 0 0 0 60920 90 0 0 25 0 1 0 511661000 153206784 24135 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37404 24135 231 231 0 37173 0
vsize: 149616
[startup+620.015 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24481 0 0 0 61920 90 0 0 25 0 1 0 511661000 153206784 24138 4294967295 134512640 135450300 3221224624 3221223100 134571791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37404 24138 231 231 0 37173 0
vsize: 149616
[startup+630.016 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24621 0 0 0 62921 91 0 0 25 0 1 0 511661000 153960448 24278 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37588 24278 231 231 0 37357 0
vsize: 150352
[startup+640.016 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24626 0 0 0 63920 91 0 0 25 0 1 0 511661000 153960448 24283 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37588 24283 231 231 0 37357 0
vsize: 150352
[startup+650.015 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24662 0 0 0 64920 91 0 0 25 0 1 0 511661000 154124288 24319 4294967295 134512640 135450300 3221224624 3221223104 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24319 231 231 0 37397 0
vsize: 150512
[startup+660.016 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24664 0 0 0 65921 91 0 0 25 0 1 0 511661000 154124288 24321 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24321 231 231 0 37397 0
vsize: 150512
[startup+670.015 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24677 0 0 0 66921 91 0 0 25 0 1 0 511661000 154124288 24334 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24334 231 231 0 37397 0
vsize: 150512
[startup+680.016 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24736 0 0 0 67921 92 0 0 25 0 1 0 511661000 154419200 24393 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37700 24393 231 231 0 37469 0
vsize: 150800
[startup+690.017 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24754 0 0 0 68921 92 0 0 25 0 1 0 511661000 154419200 24411 4294967295 134512640 135450300 3221224624 3221223344 134535518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37700 24411 231 231 0 37469 0
vsize: 150800
[startup+700.017 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24847 0 0 0 69920 92 0 0 25 0 1 0 511661000 154861568 24504 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37808 24504 231 231 0 37577 0
vsize: 151232
[startup+710.017 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24849 0 0 0 70920 93 0 0 25 0 1 0 511661000 154861568 24506 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37808 24506 231 231 0 37577 0
vsize: 151232
[startup+720.017 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24885 0 0 0 71920 93 0 0 25 0 1 0 511661000 155009024 24542 4294967295 134512640 135450300 3221224624 3221223232 134537611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37844 24542 231 231 0 37613 0
vsize: 151376
[startup+730.017 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24888 0 0 0 72920 93 0 0 25 0 1 0 511661000 155009024 24545 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37844 24545 231 231 0 37613 0
vsize: 151376
[startup+740.017 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24970 0 0 0 73920 93 0 0 25 0 1 0 511661000 155336704 24627 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37924 24627 231 231 0 37693 0
vsize: 151696
[startup+750.017 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 24972 0 0 0 74920 93 0 0 25 0 1 0 511661000 155336704 24629 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37924 24629 231 231 0 37693 0
vsize: 151696
[startup+760.018 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25030 0 0 0 75920 93 0 0 25 0 1 0 511661000 155500544 24687 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37964 24687 231 231 0 37733 0
vsize: 151856
[startup+770.017 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25032 0 0 0 76921 93 0 0 25 0 1 0 511661000 155500544 24689 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37964 24689 231 231 0 37733 0
vsize: 151856
[startup+780.018 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25359 0 0 0 77920 94 0 0 25 0 1 0 511661000 157138944 25016 4294967295 134512640 135450300 3221224624 3221223344 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38364 25016 231 231 0 38133 0
vsize: 153456
[startup+790.017 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25509 0 0 0 78920 94 0 0 25 0 1 0 511661000 157794304 25166 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38524 25166 231 231 0 38293 0
vsize: 154096
[startup+800.017 s]
Raw data (loadavg): 0.99 0.92 0.55 3/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25514 0 0 0 79920 94 0 0 25 0 1 0 511661000 157794304 25171 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38524 25171 231 231 0 38293 0
vsize: 154096
[startup+810.017 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25540 0 0 0 80920 95 0 0 25 0 1 0 511661000 157958144 25197 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38564 25197 231 231 0 38333 0
vsize: 154256
[startup+820.016 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25542 0 0 0 81920 95 0 0 25 0 1 0 511661000 157958144 25199 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38564 25199 231 231 0 38333 0
vsize: 154256
[startup+830.017 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25617 0 0 0 82920 95 0 0 25 0 1 0 511661000 158449664 25274 4294967295 134512640 135450300 3221224624 3221223440 134547865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38684 25274 231 231 0 38453 0
vsize: 154736
[startup+840.017 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 25739 0 0 0 83920 95 0 0 25 0 1 0 511661000 158449664 25396 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38684 25396 231 231 0 38453 0
vsize: 154736
[startup+850.016 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 26139 0 0 0 84919 96 0 0 25 0 1 0 511661000 158449664 25796 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38684 25796 231 231 0 38453 0
vsize: 154736
[startup+860.017 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 26190 0 0 0 85919 97 0 0 25 0 1 0 511661000 158629888 25847 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38728 25847 231 231 0 38497 0
vsize: 154912
[startup+870.017 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 26302 0 0 0 86919 97 0 0 25 0 1 0 511661000 159072256 25959 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38836 25961 231 231 0 38605 0
vsize: 155344
[startup+880.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 27030 0 0 0 87918 98 0 0 25 0 1 0 511661000 159072256 26687 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38836 26687 231 231 0 38605 0
vsize: 155344
[startup+890.017 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 27476 0 0 0 88917 99 0 0 25 0 1 0 511661000 159219712 27133 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38872 27133 231 231 0 38641 0
vsize: 155488
[startup+900.017 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 28163 0 0 0 89916 100 0 0 25 0 1 0 511661000 159219712 27820 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38872 27820 231 231 0 38641 0
vsize: 155488
[startup+910.017 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 28903 0 0 0 90914 102 0 0 25 0 1 0 511661000 160694272 28560 4294967295 134512640 135450300 3221224624 3221223152 134545045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39232 28560 231 231 0 39001 0
vsize: 156928
[startup+920.016 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 29597 0 0 0 91913 103 0 0 25 0 1 0 511661000 160694272 29254 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39232 29254 231 231 0 39001 0
vsize: 156928
[startup+930.016 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 30125 0 0 0 92912 105 0 0 25 0 1 0 511661000 161021952 29782 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39312 29782 231 231 0 39081 0
vsize: 157248
[startup+940.017 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 30769 0 0 0 93910 107 0 0 25 0 1 0 511661000 161021952 30426 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39312 30426 231 231 0 39081 0
vsize: 157248
[startup+950.016 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 31365 0 0 0 94909 108 0 0 25 0 1 0 511661000 162660352 31022 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39712 31022 231 231 0 39481 0
vsize: 158848
[startup+960.016 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 31377 0 0 0 95909 108 0 0 25 0 1 0 511661000 162660352 31034 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39712 31034 231 231 0 39481 0
vsize: 158848
[startup+970.017 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 31453 0 0 0 96909 108 0 0 25 0 1 0 511661000 162824192 31110 4294967295 134512640 135450300 3221224624 3221223100 134571611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39752 31110 231 231 0 39521 0
vsize: 159008
[startup+980.016 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 31455 0 0 0 97909 108 0 0 25 0 1 0 511661000 162824192 31112 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39752 31112 231 231 0 39521 0
vsize: 159008
[startup+990.016 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 31588 0 0 0 98909 109 0 0 25 0 1 0 511661000 163577856 31245 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39936 31245 231 231 0 39705 0
vsize: 159744
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 32134 0 0 0 99908 110 0 0 25 0 1 0 511661000 163577856 31791 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39936 31791 231 231 0 39705 0
vsize: 159744
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 32503 0 0 0 100908 110 0 0 25 0 1 0 511661000 163905536 32160 4294967295 134512640 135450300 3221224624 3221223344 134536034 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40016 32160 231 231 0 39785 0
vsize: 160064
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 33213 0 0 0 101906 112 0 0 25 0 1 0 511661000 163905536 32870 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40016 32870 231 231 0 39785 0
vsize: 160064
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 33765 0 0 0 102905 114 0 0 25 0 1 0 511661000 164859904 33422 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40249 33422 231 231 0 40018 0
vsize: 160996
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 34488 0 0 0 103903 115 0 0 25 0 1 0 511661000 164859904 34145 4294967295 134512640 135450300 3221224624 3221223008 134602300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40249 34145 231 231 0 40018 0
vsize: 160996
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 34920 0 0 0 104901 118 0 0 25 0 1 0 511661000 164859904 34577 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40249 34577 231 231 0 40018 0
vsize: 160996
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 35190 0 0 0 105901 118 0 0 25 0 1 0 511661000 166432768 34847 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40633 34847 231 231 0 40402 0
vsize: 162532
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 35193 0 0 0 106901 118 0 0 25 0 1 0 511661000 166432768 34850 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40633 34850 231 231 0 40402 0
vsize: 162532
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 35309 0 0 0 107901 119 0 0 25 0 1 0 511661000 166629376 34966 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40681 34966 231 231 0 40450 0
vsize: 162724
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 35946 0 0 0 108900 120 0 0 25 0 1 0 511661000 166629376 35603 4294967295 134512640 135450300 3221224624 3221223440 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40681 35603 231 231 0 40450 0
vsize: 162724
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 36471 0 0 0 109898 122 0 0 25 0 1 0 511661000 167022592 36128 4294967295 134512640 135450300 3221224624 3221223344 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40777 36128 231 231 0 40546 0
vsize: 163108
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 37130 0 0 0 110897 123 0 0 25 0 1 0 511661000 167022592 36787 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40777 36787 231 231 0 40546 0
vsize: 163108
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 37493 0 0 0 111896 124 0 0 25 0 1 0 511661000 167612416 37150 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40921 37150 231 231 0 40690 0
vsize: 163684
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 38163 0 0 0 112894 126 0 0 25 0 1 0 511661000 167612416 37820 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40921 37820 231 231 0 40690 0
vsize: 163684
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 38473 0 0 0 113894 127 0 0 25 0 1 0 511661000 167612416 38130 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40921 38130 231 231 0 40690 0
vsize: 163684
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 39187 0 0 0 114891 130 0 0 25 0 1 0 511661000 167612416 38844 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40921 38844 231 231 0 40690 0
vsize: 163684
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 39590 0 0 0 115891 130 0 0 25 0 1 0 511661000 167612416 39247 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40921 39247 231 231 0 40690 0
vsize: 163684
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 39688 0 0 0 116890 131 0 0 25 0 1 0 511661000 168202240 39345 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41065 39345 231 231 0 40834 0
vsize: 164260
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 39690 0 0 0 117890 131 0 0 25 0 1 0 511661000 168202240 39347 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41065 39347 231 231 0 40834 0
vsize: 164260
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 40154 0 0 0 118888 133 0 0 25 0 1 0 511661000 170504192 39811 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41627 39811 231 231 0 41396 0
vsize: 166508
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 6660
Raw data (stat): 6660 (PBS4) R 6659 10614 10613 0 -1 0 40157 0 0 0 119888 133 0 0 25 0 1 0 511661000 170504192 39814 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41627 39814 231 231 0 41396 0
vsize: 166508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 6660
Raw data (stat): 6660 (PBS4) Z 6659 10614 10613 0 -1 1036 40157 0 0 0 119888 141 0 0 25 0 1 0 511661000 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.09
CPU time (s): 1200.3
CPU user time (s): 1198.89
CPU system time (s): 1.41179
CPU usage (%): 100.017
Max. virtual memory (Kb): 166508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####