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_30_sat_pb.cnf.cr.opb
MD5SUM	511f20f1868f397c99d8a26ca62146c0
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	1.04984
Number of variables	1350
Total number of constraints	990
Number of constraints which are clauses	930
Number of constraints which are cardinality constraints (but not clauses)	60
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 7668

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-17 15:38:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=429 boxname=wulflinc29 idbench=48 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  511f20f1868f397c99d8a26ca62146c0  /oldhome/oroussel/tmp/wulflinc29/normalized-fpga30_30_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-fpga30_30_sat_pb.cnf.cr.opb
IDLAUNCH: 429
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        779504 kB
Buffers:         37900 kB
Cached:         178804 kB
SwapCached:         12 kB
Active:          71256 kB
Inactive:       148328 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        779252 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            29960 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:58:24 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 429 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-fpga30_30_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 18572
Raw data (stat): 18572 (runsolver) R 18571 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511653186 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.0009 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 1833 0 0 0 990 8 0 0 25 0 1 0 511653186 10752000 1829 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2625 1829 231 231 0 2394 0
vsize: 10500
[startup+20.0014 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 3240 0 0 0 1984 14 0 0 25 0 1 0 511653186 20160512 3236 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4922 3236 231 231 0 4691 0
vsize: 19688
[startup+30.0019 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 4399 0 0 0 2980 18 0 0 25 0 1 0 511653186 20295680 4395 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4955 4395 231 231 0 4724 0
vsize: 19820
[startup+40.0019 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 5294 0 0 0 3978 21 0 0 25 0 1 0 511653186 37208064 5290 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9084 5290 231 231 0 8853 0
vsize: 36336
[startup+50.0027 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 6025 0 0 0 4976 23 0 0 25 0 1 0 511653186 37208064 6021 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9084 6021 231 231 0 8853 0
vsize: 36336
[startup+60.0024 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 6682 0 0 0 5973 26 0 0 25 0 1 0 511653186 37343232 6678 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9117 6678 231 231 0 8886 0
vsize: 36468
[startup+70.0022 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 7091 0 0 0 6972 27 0 0 25 0 1 0 511653186 37539840 7038 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9165 7038 231 231 0 8934 0
vsize: 36660
[startup+80.0029 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 8285 0 0 0 7968 31 0 0 25 0 1 0 511653186 38244352 8232 4294967295 134512640 135450300 3221224624 3221223440 134547845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9337 8232 231 231 0 9106 0
vsize: 37348
[startup+90.0024 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9194 0 0 0 8967 33 0 0 25 0 1 0 511653186 38244352 9141 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9337 9141 231 231 0 9106 0
vsize: 37348
[startup+100.002 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9211 0 0 0 9966 33 0 0 25 0 1 0 511653186 38379520 9158 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9158 231 231 0 9139 0
vsize: 37480
[startup+110.003 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9256 0 0 0 10966 34 0 0 25 0 1 0 511653186 38514688 9203 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9203 231 231 0 9172 0
vsize: 37612
[startup+120.003 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9337 0 0 0 11966 34 0 0 25 0 1 0 511653186 38785024 9284 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9469 9284 231 231 0 9238 0
vsize: 37876
[startup+130.004 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9408 0 0 0 12966 35 0 0 25 0 1 0 511653186 39055360 9355 4294967295 134512640 135450300 3221224624 3221223440 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9535 9355 231 231 0 9304 0
vsize: 38140
[startup+140.003 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9666 0 0 0 13964 36 0 0 25 0 1 0 511653186 40153088 9516 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9803 9516 231 231 0 9572 0
vsize: 39212
[startup+150.004 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9758 0 0 0 14964 36 0 0 25 0 1 0 511653186 40431616 9608 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9871 9608 231 231 0 9640 0
vsize: 39484
[startup+160.004 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10037 0 0 0 15963 38 0 0 25 0 1 0 511653186 41590784 9887 4294967295 134512640 135450300 3221224624 3221223440 134547168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 9887 231 231 0 9923 0
vsize: 40616
[startup+170.003 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10076 0 0 0 16963 38 0 0 25 0 1 0 511653186 41590784 9926 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 9926 231 231 0 9923 0
vsize: 40616
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10081 0 0 0 17963 38 0 0 25 0 1 0 511653186 41590784 9931 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 9931 231 231 0 9923 0
vsize: 40616
[startup+190.004 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10085 0 0 0 18963 39 0 0 25 0 1 0 511653186 41590784 9935 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 9935 231 231 0 9923 0
vsize: 40616
[startup+200.005 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10090 0 0 0 19963 39 0 0 25 0 1 0 511653186 41590784 9940 4294967295 134512640 135450300 3221224624 3221223440 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 9940 231 231 0 9923 0
vsize: 40616
[startup+210.005 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10097 0 0 0 20963 39 0 0 25 0 1 0 511653186 41590784 9947 4294967295 134512640 135450300 3221224624 3221223440 134547902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 9947 231 231 0 9923 0
vsize: 40616
[startup+220.004 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10141 0 0 0 21962 40 0 0 25 0 1 0 511653186 41725952 9991 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10187 9991 231 231 0 9956 0
vsize: 40748
[startup+230.005 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10169 0 0 0 22962 40 0 0 25 0 1 0 511653186 41865216 10019 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10221 10019 231 231 0 9990 0
vsize: 40884
[startup+240.005 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10219 0 0 0 23962 41 0 0 25 0 1 0 511653186 42004480 10069 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10255 10069 231 231 0 10024 0
vsize: 41020
[startup+250.006 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10280 0 0 0 24962 41 0 0 25 0 1 0 511653186 42283008 10130 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10323 10130 231 231 0 10092 0
vsize: 41292
[startup+260.005 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10386 0 0 0 25961 41 0 0 25 0 1 0 511653186 42700800 10236 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 10236 231 231 0 10194 0
vsize: 41700
[startup+270.005 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10856 0 0 0 26959 44 0 0 25 0 1 0 511653186 76541952 10706 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18687 10706 231 231 0 18456 0
vsize: 74748
[startup+280.006 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 11677 0 0 0 27957 46 0 0 25 0 1 0 511653186 76541952 11527 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18687 11527 231 231 0 18456 0
vsize: 74748
[startup+290.005 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 12478 0 0 0 28955 48 0 0 25 0 1 0 511653186 76976128 12328 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18793 12328 231 231 0 18562 0
vsize: 75172
[startup+300.006 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 13425 0 0 0 29952 51 0 0 25 0 1 0 511653186 77705216 13275 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18971 13275 231 231 0 18740 0
vsize: 75884
[startup+310.006 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 13722 0 0 0 30952 51 0 0 25 0 1 0 511653186 78798848 13379 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19238 13379 231 231 0 19007 0
vsize: 76952
[startup+320.006 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 14145 0 0 0 31951 53 0 0 25 0 1 0 511653186 78946304 13802 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19274 13802 231 231 0 19043 0
vsize: 77096
[startup+330.006 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 14798 0 0 0 32950 54 0 0 25 0 1 0 511653186 79093760 14455 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19310 14455 231 231 0 19079 0
vsize: 77240
[startup+340.005 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 15642 0 0 0 33947 57 0 0 25 0 1 0 511653186 79716352 15299 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19462 15299 231 231 0 19231 0
vsize: 77848
[startup+350.006 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 16259 0 0 0 34944 60 0 0 25 0 1 0 511653186 79716352 15916 4294967295 134512640 135450300 3221224624 3221223536 134597069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19462 15916 231 231 0 19231 0
vsize: 77848
[startup+360.006 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 16304 0 0 0 35944 61 0 0 25 0 1 0 511653186 79880192 15961 4294967295 134512640 135450300 3221224624 3221223440 134547853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19502 15961 231 231 0 19271 0
vsize: 78008
[startup+370.006 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 16445 0 0 0 36943 62 0 0 25 0 1 0 511653186 80322560 16102 4294967295 134512640 135450300 3221224624 3221223488 134539286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19610 16102 231 231 0 19379 0
vsize: 78440
[startup+380.006 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 17177 0 0 0 37941 64 0 0 25 0 1 0 511653186 81534976 16834 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19906 16834 231 231 0 19675 0
vsize: 79624
[startup+390.006 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 17859 0 0 0 38939 66 0 0 25 0 1 0 511653186 81993728 17516 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20018 17516 231 231 0 19787 0
vsize: 80072
[startup+400.007 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 18500 0 0 0 39937 69 0 0 25 0 1 0 511653186 82141184 18157 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20054 18157 231 231 0 19823 0
vsize: 80216
[startup+410.006 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 18593 0 0 0 40936 69 0 0 25 0 1 0 511653186 82604032 18250 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20167 18250 231 231 0 19936 0
vsize: 80668
[startup+420.007 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 18655 0 0 0 41936 69 0 0 25 0 1 0 511653186 82751488 18312 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20203 18312 231 231 0 19972 0
vsize: 80812
[startup+430.007 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 19043 0 0 0 42936 70 0 0 25 0 1 0 511653186 82751488 18700 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20203 18700 231 231 0 19972 0
vsize: 80812
[startup+440.007 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 19798 0 0 0 43934 72 0 0 25 0 1 0 511653186 83046400 19455 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20275 19455 231 231 0 20044 0
vsize: 81100
[startup+450.007 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20393 0 0 0 44933 73 0 0 25 0 1 0 511653186 150470656 20050 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36736 20050 231 231 0 36505 0
vsize: 146944
[startup+460.007 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20416 0 0 0 45933 73 0 0 25 0 1 0 511653186 150470656 20073 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36736 20073 231 231 0 36505 0
vsize: 146944
[startup+470.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20459 0 0 0 46933 74 0 0 25 0 1 0 511653186 150765568 20116 4294967295 134512640 135450300 3221224624 3221223440 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36808 20116 231 231 0 36577 0
vsize: 147232
[startup+480.007 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20614 0 0 0 47932 74 0 0 25 0 1 0 511653186 151371776 20271 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36956 20271 231 231 0 36725 0
vsize: 147824
[startup+490.008 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20791 0 0 0 48932 75 0 0 25 0 1 0 511653186 152027136 20448 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37116 20448 231 231 0 36885 0
vsize: 148464
[startup+500.008 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20827 0 0 0 49932 75 0 0 25 0 1 0 511653186 152027136 20484 4294967295 134512640 135450300 3221224624 3221223440 134537116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37116 20484 231 231 0 36885 0
vsize: 148464
[startup+510.008 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20843 0 0 0 50932 75 0 0 25 0 1 0 511653186 152190976 20500 4294967295 134512640 135450300 3221224624 3221223344 134536034 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37156 20500 231 231 0 36925 0
vsize: 148624
[startup+520.008 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20981 0 0 0 51931 76 0 0 25 0 1 0 511653186 152190976 20638 4294967295 134512640 135450300 3221224624 3221223440 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37156 20638 231 231 0 36925 0
vsize: 148624
[startup+530.008 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 21735 0 0 0 52930 78 0 0 25 0 1 0 511653186 152780800 21392 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37300 21392 231 231 0 37069 0
vsize: 149200
[startup+540.009 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 22362 0 0 0 53928 80 0 0 25 0 1 0 511653186 152780800 22019 4294967295 134512640 135450300 3221224624 3221223120 134571795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37300 22019 231 231 0 37069 0
vsize: 149200
[startup+550.009 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23020 0 0 0 54927 81 0 0 25 0 1 0 511653186 153108480 22677 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37380 22677 231 231 0 37149 0
vsize: 149520
[startup+560.01 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23239 0 0 0 55926 82 0 0 25 0 1 0 511653186 153264128 22896 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37418 22896 231 231 0 37187 0
vsize: 149672
[startup+570.01 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23281 0 0 0 56926 82 0 0 25 0 1 0 511653186 153264128 22938 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37418 22938 231 231 0 37187 0
vsize: 149672
[startup+580.01 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23709 0 0 0 57925 84 0 0 25 0 1 0 511653186 153427968 23366 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37458 23366 231 231 0 37227 0
vsize: 149832
[startup+590.011 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 24414 0 0 0 58923 86 0 0 25 0 1 0 511653186 154083328 24071 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37618 24071 231 231 0 37387 0
vsize: 150472
[startup+600.011 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25150 0 0 0 59922 87 0 0 25 0 1 0 511653186 154570752 24807 4294967295 134512640 135450300 3221224624 3221223440 134547906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37737 24807 231 231 0 37506 0
vsize: 150948
[startup+610.012 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25639 0 0 0 60921 88 0 0 25 0 1 0 511653186 155226112 25296 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37897 25296 231 231 0 37666 0
vsize: 151588
[startup+620.011 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25696 0 0 0 61921 89 0 0 25 0 1 0 511653186 155525120 25353 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37970 25353 231 231 0 37739 0
vsize: 151880
[startup+630.011 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25750 0 0 0 62921 89 0 0 25 0 1 0 511653186 155688960 25407 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38010 25407 231 231 0 37779 0
vsize: 152040
[startup+640.011 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25855 0 0 0 63920 89 0 0 25 0 1 0 511653186 156340224 25512 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38169 25512 231 231 0 37938 0
vsize: 152676
[startup+650.011 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26209 0 0 0 64919 91 0 0 25 0 1 0 511653186 157130752 25866 4294967295 134512640 135450300 3221224624 3221223516 134539375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38362 25866 231 231 0 38131 0
vsize: 153448
[startup+660.012 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26603 0 0 0 65918 92 0 0 25 0 1 0 511653186 157614080 26260 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38480 26260 231 231 0 38249 0
vsize: 153920
[startup+670.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26645 0 0 0 66915 96 0 0 25 0 1 0 511653186 157614080 26302 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38480 26302 231 231 0 38249 0
vsize: 153920
[startup+680.012 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26682 0 0 0 67913 98 0 0 25 0 1 0 511653186 157818880 26339 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38530 26339 231 231 0 38299 0
vsize: 154120
[startup+690.012 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27095 0 0 0 68910 100 0 0 25 0 1 0 511653186 159391744 26367 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38914 26367 231 231 0 38683 0
vsize: 155656
[startup+700.012 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27100 0 0 0 69911 100 0 0 25 0 1 0 511653186 159391744 26372 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38914 26372 231 231 0 38683 0
vsize: 155656
[startup+710.012 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27108 0 0 0 70910 101 0 0 25 0 1 0 511653186 159391744 26380 4294967295 134512640 135450300 3221224624 3221223008 134602283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38914 26380 231 231 0 38683 0
vsize: 155656
[startup+720.012 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27116 0 0 0 71910 101 0 0 25 0 1 0 511653186 159391744 26388 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38914 26388 231 231 0 38683 0
vsize: 155656
[startup+730.013 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27125 0 0 0 72910 102 0 0 25 0 1 0 511653186 159391744 26397 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38914 26397 231 231 0 38683 0
vsize: 155656
[startup+740.012 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27137 0 0 0 73909 103 0 0 25 0 1 0 511653186 159391744 26409 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38914 26409 231 231 0 38683 0
vsize: 155656
[startup+750.013 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27190 0 0 0 74908 104 0 0 25 0 1 0 511653186 159625216 26462 4294967295 134512640 135450300 3221224624 3221223344 134535512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38971 26462 231 231 0 38740 0
vsize: 155884
[startup+760.014 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27221 0 0 0 75906 106 0 0 25 0 1 0 511653186 159625216 26493 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38971 26493 231 231 0 38740 0
vsize: 155884
[startup+770.013 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27237 0 0 0 76906 106 0 0 25 0 1 0 511653186 159625216 26509 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38971 26509 231 231 0 38740 0
vsize: 155884
[startup+780.013 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27245 0 0 0 77906 106 0 0 25 0 1 0 511653186 159625216 26517 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38971 26517 231 231 0 38740 0
vsize: 155884
[startup+790.014 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27259 0 0 0 78906 107 0 0 25 0 1 0 511653186 159625216 26531 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38971 26531 231 231 0 38740 0
vsize: 155884
[startup+800.015 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27309 0 0 0 79905 108 0 0 25 0 1 0 511653186 159760384 26581 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39004 26581 231 231 0 38773 0
vsize: 156016
[startup+810.014 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27343 0 0 0 80903 110 0 0 25 0 1 0 511653186 159907840 26615 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39040 26615 231 231 0 38809 0
vsize: 156160
[startup+820.014 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27359 0 0 0 81903 111 0 0 25 0 1 0 511653186 159907840 26631 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39040 26631 231 231 0 38809 0
vsize: 156160
[startup+830.015 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27378 0 0 0 82902 112 0 0 25 0 1 0 511653186 159907840 26650 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39040 26650 231 231 0 38809 0
vsize: 156160
[startup+840.015 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27403 0 0 0 83901 112 0 0 25 0 1 0 511653186 159907840 26675 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39040 26675 231 231 0 38809 0
vsize: 156160
[startup+850.016 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27422 0 0 0 84901 113 0 0 25 0 1 0 511653186 159907840 26694 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39040 26694 231 231 0 38809 0
vsize: 156160
[startup+860.015 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27449 0 0 0 85900 114 0 0 25 0 1 0 511653186 160063488 26721 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39078 26721 231 231 0 38847 0
vsize: 156312
[startup+870.015 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27467 0 0 0 86899 115 0 0 25 0 1 0 511653186 160063488 26739 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39078 26739 231 231 0 38847 0
vsize: 156312
[startup+880.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27487 0 0 0 87898 116 0 0 25 0 1 0 511653186 160063488 26759 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39078 26759 231 231 0 38847 0
vsize: 156312
[startup+890.016 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27520 0 0 0 88897 118 0 0 25 0 1 0 511653186 160063488 26792 4294967295 134512640 135450300 3221224624 3221223360 134538546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39078 26792 231 231 0 38847 0
vsize: 156312
[startup+900.016 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27535 0 0 0 89896 118 0 0 25 0 1 0 511653186 160063488 26807 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39078 26807 231 231 0 38847 0
vsize: 156312
[startup+910.017 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27586 0 0 0 90896 120 0 0 25 0 1 0 511653186 160227328 26858 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39118 26858 231 231 0 38887 0
vsize: 156472
[startup+920.017 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27624 0 0 0 91895 120 0 0 25 0 1 0 511653186 160399360 26896 4294967295 134512640 135450300 3221224624 3221223456 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39160 26896 231 231 0 38929 0
vsize: 156640
[startup+930.017 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27648 0 0 0 92895 121 0 0 25 0 1 0 511653186 160399360 26920 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39160 26920 231 231 0 38929 0
vsize: 156640
[startup+940.017 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27674 0 0 0 93894 122 0 0 25 0 1 0 511653186 160399360 26946 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39160 26946 231 231 0 38929 0
vsize: 156640
[startup+950.018 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27690 0 0 0 94894 122 0 0 25 0 1 0 511653186 160399360 26962 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39160 26962 231 231 0 38929 0
vsize: 156640
[startup+960.018 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27725 0 0 0 95893 123 0 0 25 0 1 0 511653186 160583680 26997 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39205 26997 231 231 0 38974 0
vsize: 156820
[startup+970.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27741 0 0 0 96893 124 0 0 25 0 1 0 511653186 160583680 27013 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39205 27013 231 231 0 38974 0
vsize: 156820
[startup+980.019 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27762 0 0 0 97892 124 0 0 25 0 1 0 511653186 160583680 27034 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39205 27034 231 231 0 38974 0
vsize: 156820
[startup+990.018 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28554 0 0 0 98890 126 0 0 25 0 1 0 511653186 163729408 27057 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39973 27057 231 231 0 39742 0
vsize: 159892
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28591 0 0 0 99890 127 0 0 25 0 1 0 511653186 163926016 27094 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40021 27094 231 231 0 39790 0
vsize: 160084
[startup+1010.02 s]
Raw data (loadavg): 1.06 0.97 0.64 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28622 0 0 0 100890 127 0 0 25 0 1 0 511653186 163926016 27125 4294967295 134512640 135450300 3221224624 3221223456 134549493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40021 27125 231 231 0 39790 0
vsize: 160084
[startup+1020.02 s]
Raw data (loadavg): 1.05 0.97 0.64 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28643 0 0 0 101889 128 0 0 25 0 1 0 511653186 163926016 27146 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40021 27146 231 231 0 39790 0
vsize: 160084
[startup+1030.02 s]
Raw data (loadavg): 1.04 0.97 0.65 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28660 0 0 0 102888 129 0 0 25 0 1 0 511653186 163926016 27163 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40021 27163 231 231 0 39790 0
vsize: 160084
[startup+1040.02 s]
Raw data (loadavg): 1.04 0.97 0.65 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28678 0 0 0 103887 130 0 0 25 0 1 0 511653186 163926016 27181 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40021 27181 231 231 0 39790 0
vsize: 160084
[startup+1050.02 s]
Raw data (loadavg): 1.03 0.97 0.65 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28704 0 0 0 104886 132 0 0 25 0 1 0 511653186 164134912 27207 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40072 27207 231 231 0 39841 0
vsize: 160288
[startup+1060.02 s]
Raw data (loadavg): 1.03 0.97 0.65 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28725 0 0 0 105886 133 0 0 25 0 1 0 511653186 164134912 27228 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40072 27228 231 231 0 39841 0
vsize: 160288
[startup+1070.02 s]
Raw data (loadavg): 1.02 0.97 0.66 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28742 0 0 0 106885 133 0 0 25 0 1 0 511653186 164134912 27245 4294967295 134512640 135450300 3221224624 3221223424 134547137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40072 27245 231 231 0 39841 0
vsize: 160288
[startup+1080.02 s]
Raw data (loadavg): 1.02 0.97 0.66 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28767 0 0 0 107884 134 0 0 25 0 1 0 511653186 164134912 27270 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40072 27270 231 231 0 39841 0
vsize: 160288
[startup+1090.02 s]
Raw data (loadavg): 1.01 0.97 0.66 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28802 0 0 0 108884 135 0 0 25 0 1 0 511653186 164356096 27305 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40126 27305 231 231 0 39895 0
vsize: 160504
[startup+1100.02 s]
Raw data (loadavg): 1.01 0.97 0.67 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28823 0 0 0 109883 136 0 0 25 0 1 0 511653186 164356096 27326 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40126 27326 231 231 0 39895 0
vsize: 160504
[startup+1110.02 s]
Raw data (loadavg): 1.01 0.97 0.67 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28838 0 0 0 110882 137 0 0 25 0 1 0 511653186 164356096 27341 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40126 27341 231 231 0 39895 0
vsize: 160504
[startup+1120.02 s]
Raw data (loadavg): 1.01 0.97 0.67 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28864 0 0 0 111882 138 0 0 25 0 1 0 511653186 164356096 27367 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40126 27367 231 231 0 39895 0
vsize: 160504
[startup+1130.02 s]
Raw data (loadavg): 1.01 0.97 0.68 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28881 0 0 0 112881 138 0 0 25 0 1 0 511653186 164356096 27384 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40126 27384 231 231 0 39895 0
vsize: 160504
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28914 0 0 0 113881 139 0 0 25 0 1 0 511653186 164589568 27417 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40183 27417 231 231 0 39952 0
vsize: 160732
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28934 0 0 0 114880 140 0 0 25 0 1 0 511653186 164589568 27437 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40183 27437 231 231 0 39952 0
vsize: 160732
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28960 0 0 0 115879 141 0 0 25 0 1 0 511653186 164589568 27463 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40183 27463 231 231 0 39952 0
vsize: 160732
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28973 0 0 0 116879 142 0 0 25 0 1 0 511653186 164589568 27476 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40183 27476 231 231 0 39952 0
vsize: 160732
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28989 0 0 0 117878 143 0 0 25 0 1 0 511653186 164589568 27492 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40183 27492 231 231 0 39952 0
vsize: 160732
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 29037 0 0 0 118877 143 0 0 25 0 1 0 511653186 164839424 27540 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40244 27540 231 231 0 40013 0
vsize: 160976
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 18572
Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 29057 0 0 0 119877 144 0 0 25 0 1 0 511653186 164839424 27560 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40244 27560 231 231 0 40013 0
vsize: 160976
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 0.70 1/54 18572
Raw data (stat): 18572 (PBS4) Z 18571 27222 27221 0 -1 1036 29057 0 0 0 119877 149 0 0 25 0 1 0 511653186 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.08
CPU time (s): 1200.27
CPU user time (s): 1198.78
CPU system time (s): 1.49477
CPU usage (%): 100.016
Max. virtual memory (Kb): 160976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####