PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
MD5SUM	38e9597c5e2c643da0b2660ad99fee98
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	984
Optimality of the best value was proved	NO
Number of terms in the objective function	2460
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2460
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2460
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2460
Total number of constraints	17131
Number of constraints which are clauses	17131
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 7715

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-17 15:59:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1275 boxname=wulflinc31 idbench=142 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  38e9597c5e2c643da0b2660ad99fee98  /oldhome/oroussel/tmp/wulflinc31/normalized-ii16d1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-ii16d1.opb
IDLAUNCH: 1275
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        852812 kB
Buffers:         37348 kB
Cached:         104652 kB
SwapCached:        392 kB
Active:          76064 kB
Inactive:        69148 kB
HighTotal:      131008 kB
HighFree:        22624 kB
LowTotal:       903652 kB
LowFree:        830188 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6840 kB
Slab:            31104 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:19:28 (client local time) WITH STATUS 0 IN 1200.75 SECONDS
stats: 1275 7 1200.75 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-ii16d1.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.84 0.94 0.68 2/54 16413
Raw data (stat): 16413 (runsolver) R 16412 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511769006 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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+9.99986 s]
Raw data (loadavg): 0.87 0.94 0.69 2/54 16413
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 932 0 0 0 996 2 0 0 25 0 1 0 511769006 5091328 778 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1243 778 231 231 0 1012 0
vsize: 4972
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.94 0.69 2/54 16413
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 1658 0 0 0 1994 5 0 0 25 0 1 0 511769006 7323648 1504 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1504 231 231 0 1557 0
vsize: 7152
[startup+30.0004 s]
Raw data (loadavg): 0.90 0.94 0.69 2/54 16413
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 2919 0 0 0 2992 7 0 0 25 0 1 0 511769006 20041728 2765 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4893 2765 231 231 0 4662 0
vsize: 19572
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.94 0.69 2/54 16413
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 4870 0 0 0 3987 12 0 0 25 0 1 0 511769006 36954112 4716 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9022 4716 231 231 0 8791 0
vsize: 36088
[startup+50.2426 s]
Raw data (loadavg): 1.01 0.96 0.70 2/58 16456
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 6156 0 0 0 5006 17 0 0 25 0 1 0 511769006 37109760 6002 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9060 6002 231 231 0 8829 0
vsize: 36240
[startup+60.2644 s]
Raw data (loadavg): 1.09 0.98 0.71 4/59 16465
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 8284 0 0 0 6003 22 0 0 25 0 1 0 511769006 37109760 8130 4294967295 134512640 135450300 3221224640 3221223120 134580037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9060 8130 231 231 0 8829 0
vsize: 36240
[startup+70.3879 s]
Raw data (loadavg): 1.15 0.99 0.72 2/54 16466
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 9170 0 0 0 7012 26 0 0 25 0 1 0 511769006 70803456 9016 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17286 9016 231 231 0 17055 0
vsize: 69144
[startup+80.5255 s]
Raw data (loadavg): 1.12 0.99 0.72 2/54 16466
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 10343 0 0 0 8024 28 0 0 25 0 1 0 511769006 70938624 10189 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17319 10189 231 231 0 17088 0
vsize: 69276
[startup+90.5247 s]
Raw data (loadavg): 1.10 0.99 0.72 2/54 16466
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 11061 0 0 0 9022 30 0 0 25 0 1 0 511769006 71208960 10907 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17385 10907 231 231 0 17154 0
vsize: 69540
[startup+100.525 s]
Raw data (loadavg): 1.09 0.99 0.73 2/54 16466
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12311 0 0 0 10019 33 0 0 25 0 1 0 511769006 71208960 12157 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17385 12157 231 231 0 17154 0
vsize: 69540
[startup+110.524 s]
Raw data (loadavg): 1.07 0.99 0.73 2/54 16466
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12334 0 0 0 11019 33 0 0 25 0 1 0 511769006 71208960 12180 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17385 12180 231 231 0 17154 0
vsize: 69540
[startup+120.525 s]
Raw data (loadavg): 1.06 0.99 0.73 2/54 16466
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12356 0 0 0 12019 34 0 0 25 0 1 0 511769006 71344128 12202 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17418 12202 231 231 0 17187 0
vsize: 69672
[startup+130.525 s]
Raw data (loadavg): 1.05 0.99 0.73 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12382 0 0 0 13018 34 0 0 25 0 1 0 511769006 71483392 12228 4294967295 134512640 135450300 3221224640 3221223116 134571779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17452 12228 231 231 0 17221 0
vsize: 69808
[startup+140.525 s]
Raw data (loadavg): 1.04 0.99 0.74 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12391 0 0 0 14018 34 0 0 25 0 1 0 511769006 71483392 12237 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17452 12237 231 231 0 17221 0
vsize: 69808
[startup+150.526 s]
Raw data (loadavg): 1.04 0.99 0.74 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12402 0 0 0 15018 35 0 0 25 0 1 0 511769006 71483392 12248 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17452 12248 231 231 0 17221 0
vsize: 69808
[startup+160.526 s]
Raw data (loadavg): 1.03 0.99 0.74 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12421 0 0 0 16018 35 0 0 25 0 1 0 511769006 71483392 12267 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17452 12267 231 231 0 17221 0
vsize: 69808
[startup+170.526 s]
Raw data (loadavg): 1.02 0.99 0.74 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12431 0 0 0 17018 35 0 0 25 0 1 0 511769006 71618560 12277 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17485 12277 231 231 0 17254 0
vsize: 69940
[startup+180.526 s]
Raw data (loadavg): 1.02 0.99 0.74 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12433 0 0 0 18018 35 0 0 25 0 1 0 511769006 71618560 12279 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17485 12279 231 231 0 17254 0
vsize: 69940
[startup+190.526 s]
Raw data (loadavg): 1.02 0.99 0.75 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12435 0 0 0 19018 35 0 0 25 0 1 0 511769006 71618560 12281 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17485 12281 231 231 0 17254 0
vsize: 69940
[startup+200.526 s]
Raw data (loadavg): 1.01 0.99 0.75 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12464 0 0 0 20018 36 0 0 25 0 1 0 511769006 71618560 12310 4294967295 134512640 135450300 3221224640 3221223456 134547513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17485 12310 231 231 0 17254 0
vsize: 69940
[startup+210.526 s]
Raw data (loadavg): 1.01 0.99 0.75 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12501 0 0 0 21018 36 0 0 25 0 1 0 511769006 71749632 12347 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17517 12347 231 231 0 17286 0
vsize: 70068
[startup+220.527 s]
Raw data (loadavg): 1.09 1.01 0.76 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12516 0 0 0 22018 37 0 0 25 0 1 0 511769006 71897088 12362 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17553 12362 231 231 0 17322 0
vsize: 70212
[startup+230.526 s]
Raw data (loadavg): 1.07 1.01 0.76 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12737 0 0 0 23017 37 0 0 25 0 1 0 511769006 72683520 12390 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17745 12390 231 231 0 17514 0
vsize: 70980
[startup+240.526 s]
Raw data (loadavg): 1.06 1.01 0.76 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12741 0 0 0 24017 38 0 0 25 0 1 0 511769006 72683520 12394 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17745 12394 231 231 0 17514 0
vsize: 70980
[startup+250.527 s]
Raw data (loadavg): 1.05 1.01 0.76 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12758 0 0 0 25016 38 0 0 25 0 1 0 511769006 72818688 12411 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17778 12411 231 231 0 17547 0
vsize: 71112
[startup+260.527 s]
Raw data (loadavg): 1.04 1.01 0.76 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12779 0 0 0 26016 39 0 0 25 0 1 0 511769006 72818688 12432 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17778 12432 231 231 0 17547 0
vsize: 71112
[startup+270.527 s]
Raw data (loadavg): 1.04 1.01 0.77 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12811 0 0 0 27015 39 0 0 25 0 1 0 511769006 72953856 12464 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17811 12464 231 231 0 17580 0
vsize: 71244
[startup+280.527 s]
Raw data (loadavg): 1.03 1.01 0.77 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12821 0 0 0 28015 40 0 0 25 0 1 0 511769006 72953856 12474 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17811 12474 231 231 0 17580 0
vsize: 71244
[startup+290.527 s]
Raw data (loadavg): 1.03 1.00 0.77 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12843 0 0 0 29015 41 0 0 25 0 1 0 511769006 73089024 12496 4294967295 134512640 135450300 3221224640 3221223376 134538643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17844 12496 231 231 0 17613 0
vsize: 71376
[startup+300.527 s]
Raw data (loadavg): 1.02 1.00 0.77 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12871 0 0 0 30015 41 0 0 25 0 1 0 511769006 73240576 12524 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17881 12524 231 231 0 17650 0
vsize: 71524
[startup+310.527 s]
Raw data (loadavg): 1.02 1.00 0.77 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12875 0 0 0 31015 41 0 0 25 0 1 0 511769006 73240576 12528 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17881 12528 231 231 0 17650 0
vsize: 71524
[startup+320.528 s]
Raw data (loadavg): 1.01 1.00 0.78 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 12890 0 0 0 32014 41 0 0 25 0 1 0 511769006 73240576 12543 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17881 12543 231 231 0 17650 0
vsize: 71524
[startup+330.528 s]
Raw data (loadavg): 1.01 1.00 0.78 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 13474 0 0 0 33013 43 0 0 25 0 1 0 511769006 73240576 13127 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17881 13127 231 231 0 17650 0
vsize: 71524
[startup+340.527 s]
Raw data (loadavg): 1.01 1.00 0.78 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 14722 0 0 0 34010 46 0 0 25 0 1 0 511769006 73240576 14375 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17881 14375 231 231 0 17650 0
vsize: 71524
[startup+350.527 s]
Raw data (loadavg): 1.01 1.00 0.78 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 16222 0 0 0 35007 49 0 0 25 0 1 0 511769006 73371648 15875 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 15875 231 231 0 17682 0
vsize: 71652
[startup+360.527 s]
Raw data (loadavg): 1.01 1.00 0.78 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 17346 0 0 0 36004 53 0 0 25 0 1 0 511769006 73371648 16999 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 16999 231 231 0 17682 0
vsize: 71652
[startup+370.528 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 17907 0 0 0 37002 55 0 0 25 0 1 0 511769006 73371648 17560 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 17560 231 231 0 17682 0
vsize: 71652
[startup+380.527 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 16468
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 17972 0 0 0 38002 55 0 0 25 0 1 0 511769006 73371648 17625 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 17625 231 231 0 17682 0
vsize: 71652
[startup+390.527 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18001 0 0 0 39001 56 0 0 25 0 1 0 511769006 73506816 17654 4294967295 134512640 135450300 3221224640 3221223104 134532726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17946 17654 231 231 0 17715 0
vsize: 71784
[startup+400.528 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18039 0 0 0 40001 56 0 0 25 0 1 0 511769006 73687040 17692 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 17692 231 231 0 17759 0
vsize: 71960
[startup+410.528 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18042 0 0 0 41000 57 0 0 25 0 1 0 511769006 73687040 17695 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 17695 231 231 0 17759 0
vsize: 71960
[startup+420.528 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18044 0 0 0 42001 57 0 0 25 0 1 0 511769006 73687040 17697 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 17697 231 231 0 17759 0
vsize: 71960
[startup+430.528 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18046 0 0 0 43001 57 0 0 25 0 1 0 511769006 73687040 17699 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 17699 231 231 0 17759 0
vsize: 71960
[startup+440.528 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18055 0 0 0 43999 58 0 0 25 0 1 0 511769006 73687040 17708 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 17708 231 231 0 17759 0
vsize: 71960
[startup+450.528 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18072 0 0 0 44999 59 0 0 25 0 1 0 511769006 73687040 17725 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 17725 231 231 0 17759 0
vsize: 71960
[startup+460.527 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18097 0 0 0 45999 59 0 0 25 0 1 0 511769006 73850880 17750 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18030 17750 231 231 0 17799 0
vsize: 72120
[startup+470.528 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18100 0 0 0 46999 59 0 0 25 0 1 0 511769006 73850880 17753 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18030 17753 231 231 0 17799 0
vsize: 72120
[startup+480.528 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18106 0 0 0 47999 59 0 0 25 0 1 0 511769006 73850880 17759 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18030 17759 231 231 0 17799 0
vsize: 72120
[startup+490.529 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18115 0 0 0 48999 60 0 0 25 0 1 0 511769006 73850880 17768 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18030 17768 231 231 0 17799 0
vsize: 72120
[startup+500.529 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18118 0 0 0 49999 60 0 0 25 0 1 0 511769006 73850880 17771 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18030 17771 231 231 0 17799 0
vsize: 72120
[startup+510.529 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18130 0 0 0 50999 60 0 0 25 0 1 0 511769006 73850880 17783 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18030 17783 231 231 0 17799 0
vsize: 72120
[startup+520.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18135 0 0 0 51999 60 0 0 25 0 1 0 511769006 73986048 17788 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17788 231 231 0 17832 0
vsize: 72252
[startup+530.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18146 0 0 0 52999 60 0 0 25 0 1 0 511769006 73986048 17799 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17799 231 231 0 17832 0
vsize: 72252
[startup+540.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18149 0 0 0 53999 61 0 0 25 0 1 0 511769006 73986048 17802 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17802 231 231 0 17832 0
vsize: 72252
[startup+550.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18157 0 0 0 54999 61 0 0 25 0 1 0 511769006 73986048 17810 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17810 231 231 0 17832 0
vsize: 72252
[startup+560.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18164 0 0 0 55999 61 0 0 25 0 1 0 511769006 73986048 17817 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17817 231 231 0 17832 0
vsize: 72252
[startup+570.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18168 0 0 0 56999 61 0 0 25 0 1 0 511769006 73986048 17821 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17821 231 231 0 17832 0
vsize: 72252
[startup+580.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18175 0 0 0 57998 62 0 0 25 0 1 0 511769006 73986048 17828 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17828 231 231 0 17832 0
vsize: 72252
[startup+590.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18176 0 0 0 58998 62 0 0 25 0 1 0 511769006 73986048 17829 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17829 231 231 0 17832 0
vsize: 72252
[startup+600.529 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18177 0 0 0 59998 62 0 0 25 0 1 0 511769006 73986048 17830 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 17830 231 231 0 17832 0
vsize: 72252
[startup+610.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18183 0 0 0 60998 62 0 0 25 0 1 0 511769006 74104832 17836 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17836 231 231 0 17861 0
vsize: 72368
[startup+620.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18185 0 0 0 61998 63 0 0 25 0 1 0 511769006 74104832 17838 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17838 231 231 0 17861 0
vsize: 72368
[startup+630.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18187 0 0 0 62998 63 0 0 25 0 1 0 511769006 74104832 17840 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17840 231 231 0 17861 0
vsize: 72368
[startup+640.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18195 0 0 0 63998 63 0 0 25 0 1 0 511769006 74104832 17848 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17848 231 231 0 17861 0
vsize: 72368
[startup+650.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18207 0 0 0 64998 64 0 0 25 0 1 0 511769006 74104832 17860 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17860 231 231 0 17861 0
vsize: 72368
[startup+660.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18209 0 0 0 65997 64 0 0 25 0 1 0 511769006 74104832 17862 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17862 231 231 0 17861 0
vsize: 72368
[startup+670.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18213 0 0 0 66997 65 0 0 25 0 1 0 511769006 74104832 17866 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17866 231 231 0 17861 0
vsize: 72368
[startup+680.531 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18214 0 0 0 67997 65 0 0 25 0 1 0 511769006 74104832 17867 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17867 231 231 0 17861 0
vsize: 72368
[startup+690.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18217 0 0 0 68997 65 0 0 25 0 1 0 511769006 74104832 17870 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17870 231 231 0 17861 0
vsize: 72368
[startup+700.53 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18226 0 0 0 69997 65 0 0 25 0 1 0 511769006 74240000 17879 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17879 231 231 0 17894 0
vsize: 72500
[startup+710.53 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18227 0 0 0 70997 65 0 0 25 0 1 0 511769006 74240000 17880 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17880 231 231 0 17894 0
vsize: 72500
[startup+720.53 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18229 0 0 0 71997 65 0 0 25 0 1 0 511769006 74240000 17882 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17882 231 231 0 17894 0
vsize: 72500
[startup+730.531 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18236 0 0 0 72996 66 0 0 25 0 1 0 511769006 74240000 17889 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17889 231 231 0 17894 0
vsize: 72500
[startup+740.531 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18251 0 0 0 73996 66 0 0 25 0 1 0 511769006 74240000 17904 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17904 231 231 0 17894 0
vsize: 72500
[startup+750.531 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18260 0 0 0 74996 67 0 0 25 0 1 0 511769006 74240000 17913 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17913 231 231 0 17894 0
vsize: 72500
[startup+760.531 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18262 0 0 0 75996 67 0 0 25 0 1 0 511769006 74240000 17915 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17915 231 231 0 17894 0
vsize: 72500
[startup+770.532 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18271 0 0 0 76995 68 0 0 25 0 1 0 511769006 74358784 17924 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17924 231 231 0 17923 0
vsize: 72616
[startup+780.532 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18273 0 0 0 77995 68 0 0 25 0 1 0 511769006 74358784 17926 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17926 231 231 0 17923 0
vsize: 72616
[startup+790.532 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18283 0 0 0 78995 69 0 0 25 0 1 0 511769006 74358784 17936 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17936 231 231 0 17923 0
vsize: 72616
[startup+800.533 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18285 0 0 0 79995 69 0 0 25 0 1 0 511769006 74358784 17938 4294967295 134512640 135450300 3221224640 3221223024 134579423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17938 231 231 0 17923 0
vsize: 72616
[startup+810.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18292 0 0 0 80994 70 0 0 25 0 1 0 511769006 74358784 17945 4294967295 134512640 135450300 3221224640 3221223024 134579313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17945 231 231 0 17923 0
vsize: 72616
[startup+820.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18294 0 0 0 81994 70 0 0 25 0 1 0 511769006 74358784 17947 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17947 231 231 0 17923 0
vsize: 72616
[startup+830.532 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18303 0 0 0 82993 71 0 0 25 0 1 0 511769006 74358784 17956 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17956 231 231 0 17923 0
vsize: 72616
[startup+840.532 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18306 0 0 0 83993 72 0 0 25 0 1 0 511769006 74358784 17959 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17959 231 231 0 17923 0
vsize: 72616
[startup+850.534 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18313 0 0 0 84992 72 0 0 25 0 1 0 511769006 74358784 17966 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17966 231 231 0 17923 0
vsize: 72616
[startup+860.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18315 0 0 0 85992 73 0 0 25 0 1 0 511769006 74358784 17968 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17968 231 231 0 17923 0
vsize: 72616
[startup+870.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18316 0 0 0 86992 73 0 0 25 0 1 0 511769006 74358784 17969 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18154 17969 231 231 0 17923 0
vsize: 72616
[startup+880.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18320 0 0 0 87992 73 0 0 25 0 1 0 511769006 74493952 17973 4294967295 134512640 135450300 3221224640 3221223116 134571965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17973 231 231 0 17956 0
vsize: 72748
[startup+890.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18322 0 0 0 88993 73 0 0 25 0 1 0 511769006 74493952 17975 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17975 231 231 0 17956 0
vsize: 72748
[startup+900.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18329 0 0 0 89993 73 0 0 25 0 1 0 511769006 74493952 17982 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17982 231 231 0 17956 0
vsize: 72748
[startup+910.533 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18329 0 0 0 90993 73 0 0 25 0 1 0 511769006 74493952 17982 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17982 231 231 0 17956 0
vsize: 72748
[startup+920.534 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18330 0 0 0 91993 73 0 0 25 0 1 0 511769006 74493952 17983 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17983 231 231 0 17956 0
vsize: 72748
[startup+930.533 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18331 0 0 0 92993 73 0 0 25 0 1 0 511769006 74493952 17984 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17984 231 231 0 17956 0
vsize: 72748
[startup+940.534 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18331 0 0 0 93993 73 0 0 25 0 1 0 511769006 74493952 17984 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17984 231 231 0 17956 0
vsize: 72748
[startup+950.534 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18332 0 0 0 94993 73 0 0 25 0 1 0 511769006 74493952 17985 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17985 231 231 0 17956 0
vsize: 72748
[startup+960.534 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18333 0 0 0 95993 73 0 0 25 0 1 0 511769006 74493952 17986 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17986 231 231 0 17956 0
vsize: 72748
[startup+970.535 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18339 0 0 0 96994 73 0 0 25 0 1 0 511769006 74493952 17992 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17992 231 231 0 17956 0
vsize: 72748
[startup+980.535 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18341 0 0 0 97993 74 0 0 25 0 1 0 511769006 74493952 17994 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 17994 231 231 0 17956 0
vsize: 72748
[startup+990.535 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18361 0 0 0 98992 75 0 0 25 0 1 0 511769006 74629120 18014 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18014 231 231 0 17989 0
vsize: 72880
[startup+1000.54 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18364 0 0 0 99992 75 0 0 25 0 1 0 511769006 74629120 18017 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18017 231 231 0 17989 0
vsize: 72880
[startup+1010.53 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18372 0 0 0 100992 75 0 0 25 0 1 0 511769006 74629120 18025 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18025 231 231 0 17989 0
vsize: 72880
[startup+1020.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18376 0 0 0 101991 76 0 0 25 0 1 0 511769006 74629120 18029 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18029 231 231 0 17989 0
vsize: 72880
[startup+1030.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18382 0 0 0 102991 77 0 0 25 0 1 0 511769006 74629120 18035 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18035 231 231 0 17989 0
vsize: 72880
[startup+1040.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18385 0 0 0 103990 78 0 0 25 0 1 0 511769006 74629120 18038 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18038 231 231 0 17989 0
vsize: 72880
[startup+1050.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18390 0 0 0 104989 79 0 0 25 0 1 0 511769006 74629120 18043 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18043 231 231 0 17989 0
vsize: 72880
[startup+1060.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18393 0 0 0 105989 79 0 0 25 0 1 0 511769006 74629120 18046 4294967295 134512640 135450300 3221224640 3221223104 134532591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18046 231 231 0 17989 0
vsize: 72880
[startup+1070.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18405 0 0 0 106989 79 0 0 25 0 1 0 511769006 74629120 18058 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18058 231 231 0 17989 0
vsize: 72880
[startup+1080.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18407 0 0 0 107989 79 0 0 25 0 1 0 511769006 74629120 18060 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18060 231 231 0 17989 0
vsize: 72880
[startup+1090.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18412 0 0 0 108988 80 0 0 25 0 1 0 511769006 74629120 18065 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18065 231 231 0 17989 0
vsize: 72880
[startup+1100.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18414 0 0 0 109988 81 0 0 25 0 1 0 511769006 74629120 18067 4294967295 134512640 135450300 3221224640 3221223360 134535971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18220 18067 231 231 0 17989 0
vsize: 72880
[startup+1110.54 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18809 0 0 0 110988 82 0 0 25 0 1 0 511769006 76333056 18077 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18077 231 231 0 18405 0
vsize: 74544
[startup+1120.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18811 0 0 0 111987 82 0 0 25 0 1 0 511769006 76333056 18079 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18079 231 231 0 18405 0
vsize: 74544
[startup+1130.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18819 0 0 0 112988 82 0 0 25 0 1 0 511769006 76333056 18087 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18087 231 231 0 18405 0
vsize: 74544
[startup+1140.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18821 0 0 0 113987 82 0 0 25 0 1 0 511769006 76333056 18089 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18089 231 231 0 18405 0
vsize: 74544
[startup+1150.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18823 0 0 0 114987 82 0 0 25 0 1 0 511769006 76333056 18091 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18091 231 231 0 18405 0
vsize: 74544
[startup+1160.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18828 0 0 0 115987 83 0 0 25 0 1 0 511769006 76333056 18096 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18096 231 231 0 18405 0
vsize: 74544
[startup+1170.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18832 0 0 0 116987 83 0 0 25 0 1 0 511769006 76333056 18100 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18100 231 231 0 18405 0
vsize: 74544
[startup+1180.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18845 0 0 0 117987 84 0 0 25 0 1 0 511769006 76333056 18113 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18113 231 231 0 18405 0
vsize: 74544
[startup+1190.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18847 0 0 0 118987 84 0 0 25 0 1 0 511769006 76333056 18115 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18636 18115 231 231 0 18405 0
vsize: 74544
[startup+1200.54 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 16470
Raw data (stat): 16413 (PBS4) R 16412 23176 23175 0 -1 0 18853 0 0 0 119986 84 0 0 25 0 1 0 511769006 76480512 18121 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18672 18121 231 231 0 18441 0
vsize: 74688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.58 s]
Raw data (loadavg): 1.00 1.00 0.88 1/54 16470
Raw data (stat): 16413 (PBS4) Z 16412 23176 23175 0 -1 1036 18853 0 0 0 119986 88 0 0 25 0 1 0 511769006 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.57
CPU time (s): 1200.75
CPU user time (s): 1199.87
CPU system time (s): 0.882865
CPU usage (%): 100.015
Max. virtual memory (Kb): 74688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####