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-fpga45_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
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	46
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	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 7679

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        808768 kB
Buffers:         39168 kB
Cached:         165716 kB
SwapCached:          0 kB
Active:         107148 kB
Inactive:       100612 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808516 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12540 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:59:10 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 510 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc7/normalized-fpga45_45_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 15415
Raw data (stat): 15415 (runsolver) R 15414 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453444001 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 1485 0 0 0 989 9 0 0 25 0 1 0 453444001 6971392 1481 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1702 1481 231 231 0 1471 0
vsize: 6808
[startup+20.0007 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 2390 0 0 0 1986 12 0 0 25 0 1 0 453444001 11436032 2386 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2792 2386 231 231 0 2561 0
vsize: 11168
[startup+30.0016 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 3314 0 0 0 2984 15 0 0 25 0 1 0 453444001 20500480 3310 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5005 3310 231 231 0 4774 0
vsize: 20020
[startup+40.0009 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 4126 0 0 0 3982 17 0 0 25 0 1 0 453444001 20770816 4122 4294967295 134512640 135450300 3221224624 3221223344 134535982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5071 4122 231 231 0 4840 0
vsize: 20284
[startup+50.0035 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 5026 0 0 0 4979 20 0 0 25 0 1 0 453444001 37683200 5022 4294967295 134512640 135450300 3221224624 3221223104 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9200 5022 231 231 0 8969 0
vsize: 36800
[startup+60.0035 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 5773 0 0 0 5978 22 0 0 25 0 1 0 453444001 37818368 5769 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9233 5769 231 231 0 9002 0
vsize: 36932
[startup+70.0038 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 6470 0 0 0 6975 25 0 0 25 0 1 0 453444001 38019072 6466 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9282 6466 231 231 0 9051 0
vsize: 37128
[startup+80.0034 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 7226 0 0 0 7971 28 0 0 25 0 1 0 453444001 38559744 7222 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9414 7222 231 231 0 9183 0
vsize: 37656
[startup+90.0034 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 8115 0 0 0 8969 31 0 0 25 0 1 0 453444001 38830080 8111 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 8111 231 231 0 9249 0
vsize: 37920
[startup+100.004 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 8898 0 0 0 9967 33 0 0 25 0 1 0 453444001 38965248 8894 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9513 8894 231 231 0 9282 0
vsize: 38052
[startup+110.003 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 9602 0 0 0 10965 35 0 0 25 0 1 0 453444001 72654848 9598 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17738 9598 231 231 0 17507 0
vsize: 70952
[startup+120.004 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 10479 0 0 0 11962 38 0 0 25 0 1 0 453444001 72794112 10475 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17772 10475 231 231 0 17541 0
vsize: 71088
[startup+130.004 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 11308 0 0 0 12960 41 0 0 25 0 1 0 453444001 72929280 11304 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17805 11304 231 231 0 17574 0
vsize: 71220
[startup+140.003 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 12019 0 0 0 13958 43 0 0 25 0 1 0 453444001 72929280 12015 4294967295 134512640 135450300 3221224624 3221223456 134549466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17805 12015 231 231 0 17574 0
vsize: 71220
[startup+150.004 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 12709 0 0 0 14956 46 0 0 25 0 1 0 453444001 73068544 12705 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17839 12705 231 231 0 17608 0
vsize: 71356
[startup+160.003 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 13422 0 0 0 15953 48 0 0 25 0 1 0 453444001 73068544 13418 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17839 13418 231 231 0 17608 0
vsize: 71356
[startup+170.004 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 14215 0 0 0 16951 51 0 0 25 0 1 0 453444001 73068544 14211 4294967295 134512640 135450300 3221224624 3221223344 134536014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17839 14211 231 231 0 17608 0
vsize: 71356
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 14739 0 0 0 17950 52 0 0 25 0 1 0 453444001 73203712 14735 4294967295 134512640 135450300 3221224624 3221223456 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17872 14735 231 231 0 17641 0
vsize: 71488
[startup+190.004 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 15575 0 0 0 18947 55 0 0 25 0 1 0 453444001 73203712 15571 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17872 15571 231 231 0 17641 0
vsize: 71488
[startup+200.004 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 16277 0 0 0 19944 58 0 0 25 0 1 0 453444001 73203712 16273 4294967295 134512640 135450300 3221224624 3221223344 134536040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17872 16273 231 231 0 17641 0
vsize: 71488
[startup+210.004 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 17019 0 0 0 20942 60 0 0 25 0 1 0 453444001 73670656 16966 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17986 16966 231 231 0 17755 0
vsize: 71944
[startup+220.004 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 17696 0 0 0 21939 63 0 0 25 0 1 0 453444001 73670656 17643 4294967295 134512640 135450300 3221224624 3221223120 134580056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17986 17643 231 231 0 17755 0
vsize: 71944
[startup+230.004 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 18355 0 0 0 22936 67 0 0 25 0 1 0 453444001 140918784 18302 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34404 18302 231 231 0 34173 0
vsize: 137616
[startup+240.004 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19048 0 0 0 23934 68 0 0 25 0 1 0 453444001 141053952 18995 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34437 18995 231 231 0 34206 0
vsize: 137748
[startup+250.004 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19260 0 0 0 24934 69 0 0 25 0 1 0 453444001 141340672 19207 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34507 19207 231 231 0 34276 0
vsize: 138028
[startup+260.004 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19262 0 0 0 25934 69 0 0 25 0 1 0 453444001 141340672 19209 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34507 19209 231 231 0 34276 0
vsize: 138028
[startup+270.005 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19263 0 0 0 26934 69 0 0 25 0 1 0 453444001 141340672 19210 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34507 19210 231 231 0 34276 0
vsize: 138028
[startup+280.004 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19273 0 0 0 27934 69 0 0 25 0 1 0 453444001 141340672 19220 4294967295 134512640 135450300 3221224624 3221223008 134579438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34507 19220 231 231 0 34276 0
vsize: 138028
[startup+290.004 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19279 0 0 0 28934 69 0 0 25 0 1 0 453444001 141340672 19226 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34507 19226 231 231 0 34276 0
vsize: 138028
[startup+300.005 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19280 0 0 0 29934 70 0 0 25 0 1 0 453444001 141340672 19227 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34507 19227 231 231 0 34276 0
vsize: 138028
[startup+310.004 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19283 0 0 0 30935 70 0 0 25 0 1 0 453444001 141340672 19230 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34507 19230 231 231 0 34276 0
vsize: 138028
[startup+320.005 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19312 0 0 0 31935 70 0 0 25 0 1 0 453444001 141475840 19259 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34540 19259 231 231 0 34309 0
vsize: 138160
[startup+330.005 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19314 0 0 0 32935 70 0 0 25 0 1 0 453444001 141475840 19261 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34540 19261 231 231 0 34309 0
vsize: 138160
[startup+340.004 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19315 0 0 0 33935 70 0 0 25 0 1 0 453444001 141475840 19262 4294967295 134512640 135450300 3221224624 3221223152 134544641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34540 19262 231 231 0 34309 0
vsize: 138160
[startup+350.005 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19347 0 0 0 34935 70 0 0 25 0 1 0 453444001 141611008 19294 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34573 19294 231 231 0 34342 0
vsize: 138292
[startup+360.004 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19348 0 0 0 35935 70 0 0 25 0 1 0 453444001 141611008 19295 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34573 19295 231 231 0 34342 0
vsize: 138292
[startup+370.005 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19349 0 0 0 36935 70 0 0 25 0 1 0 453444001 141611008 19296 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34573 19296 231 231 0 34342 0
vsize: 138292
[startup+380.005 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19350 0 0 0 37936 70 0 0 25 0 1 0 453444001 141611008 19297 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34573 19297 231 231 0 34342 0
vsize: 138292
[startup+390.005 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19401 0 0 0 38936 70 0 0 25 0 1 0 453444001 141746176 19348 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34606 19348 231 231 0 34375 0
vsize: 138424
[startup+400.006 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19402 0 0 0 39936 70 0 0 25 0 1 0 453444001 141746176 19349 4294967295 134512640 135450300 3221224624 3221223344 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34606 19349 231 231 0 34375 0
vsize: 138424
[startup+410.006 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19403 0 0 0 40936 70 0 0 25 0 1 0 453444001 141746176 19350 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34606 19350 231 231 0 34375 0
vsize: 138424
[startup+420.006 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19455 0 0 0 41936 70 0 0 25 0 1 0 453444001 142028800 19402 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34675 19402 231 231 0 34444 0
vsize: 138700
[startup+430.006 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19457 0 0 0 42936 70 0 0 25 0 1 0 453444001 142028800 19404 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34675 19404 231 231 0 34444 0
vsize: 138700
[startup+440.005 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19457 0 0 0 43936 70 0 0 25 0 1 0 453444001 142028800 19404 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34675 19404 231 231 0 34444 0
vsize: 138700
[startup+450.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19458 0 0 0 44937 70 0 0 25 0 1 0 453444001 142028800 19405 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34675 19405 231 231 0 34444 0
vsize: 138700
[startup+460.005 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19507 0 0 0 45937 70 0 0 25 0 1 0 453444001 142307328 19454 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34743 19454 231 231 0 34512 0
vsize: 138972
[startup+470.006 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19509 0 0 0 46937 71 0 0 25 0 1 0 453444001 142307328 19456 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34743 19456 231 231 0 34512 0
vsize: 138972
[startup+480.007 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19510 0 0 0 47937 71 0 0 25 0 1 0 453444001 142307328 19457 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34743 19457 231 231 0 34512 0
vsize: 138972
[startup+490.006 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19511 0 0 0 48937 71 0 0 25 0 1 0 453444001 142307328 19458 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34743 19458 231 231 0 34512 0
vsize: 138972
[startup+500.006 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19567 0 0 0 49937 71 0 0 25 0 1 0 453444001 142446592 19514 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34777 19514 231 231 0 34546 0
vsize: 139108
[startup+510.006 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19568 0 0 0 50937 71 0 0 25 0 1 0 453444001 142446592 19515 4294967295 134512640 135450300 3221224624 3221223152 134544124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34777 19515 231 231 0 34546 0
vsize: 139108
[startup+520.006 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 19779 0 0 0 51936 72 0 0 25 0 1 0 453444001 142446592 19726 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34777 19726 231 231 0 34546 0
vsize: 139108
[startup+530.006 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 20172 0 0 0 52936 73 0 0 25 0 1 0 453444001 142585856 20119 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34811 20119 231 231 0 34580 0
vsize: 139244
[startup+540.006 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 20841 0 0 0 53934 75 0 0 25 0 1 0 453444001 142585856 20788 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34811 20788 231 231 0 34580 0
vsize: 139244
[startup+550.006 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 21456 0 0 0 54933 75 0 0 25 0 1 0 453444001 142585856 21403 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34811 21403 231 231 0 34580 0
vsize: 139244
[startup+560.006 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 22023 0 0 0 55932 77 0 0 25 0 1 0 453444001 142585856 21970 4294967295 134512640 135450300 3221224624 3221223344 134535520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34811 21970 231 231 0 34580 0
vsize: 139244
[startup+570.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 22457 0 0 0 56931 78 0 0 25 0 1 0 453444001 142864384 22404 4294967295 134512640 135450300 3221224624 3221223440 134547862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34879 22404 231 231 0 34648 0
vsize: 139516
[startup+580.006 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 23119 0 0 0 57930 79 0 0 25 0 1 0 453444001 142864384 23066 4294967295 134512640 135450300 3221224624 3221223440 134547853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34879 23066 231 231 0 34648 0
vsize: 139516
[startup+590.006 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 23749 0 0 0 58929 80 0 0 25 0 1 0 453444001 142864384 23696 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34879 23696 231 231 0 34648 0
vsize: 139516
[startup+600.007 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24268 0 0 0 59928 82 0 0 25 0 1 0 453444001 142864384 24215 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34879 24215 231 231 0 34648 0
vsize: 139516
[startup+610.006 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24501 0 0 0 60928 82 0 0 25 0 1 0 453444001 143286272 24448 4294967295 134512640 135450300 3221224624 3221223008 134602249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34982 24448 231 231 0 34751 0
vsize: 139928
[startup+620.006 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24599 0 0 0 61928 83 0 0 25 0 1 0 453444001 143679488 24449 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 24449 231 231 0 34847 0
vsize: 140312
[startup+630.006 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24600 0 0 0 62928 83 0 0 25 0 1 0 453444001 143679488 24450 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 24450 231 231 0 34847 0
vsize: 140312
[startup+640.006 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24601 0 0 0 63928 83 0 0 25 0 1 0 453444001 143679488 24451 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 24451 231 231 0 34847 0
vsize: 140312
[startup+650.006 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24668 0 0 0 64927 84 0 0 25 0 1 0 453444001 143974400 24518 4294967295 134512640 135450300 3221224624 3221223088 134532775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35150 24518 231 231 0 34919 0
vsize: 140600
[startup+660.006 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24725 0 0 0 65926 85 0 0 25 0 1 0 453444001 144244736 24575 4294967295 134512640 135450300 3221224624 3221223104 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35216 24575 231 231 0 34985 0
vsize: 140864
[startup+670.007 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 24828 0 0 0 66919 92 0 0 25 0 1 0 453444001 144683008 24678 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35323 24678 231 231 0 35092 0
vsize: 141292
[startup+680.006 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 25336 0 0 0 67918 93 0 0 25 0 1 0 453444001 144683008 25186 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35323 25186 231 231 0 35092 0
vsize: 141292
[startup+690.006 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 26177 0 0 0 68914 97 0 0 25 0 1 0 453444001 144818176 26027 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35356 26027 231 231 0 35125 0
vsize: 141424
[startup+700.007 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27120 0 0 0 69908 103 0 0 25 0 1 0 453444001 145088512 26970 4294967295 134512640 135450300 3221224624 3221223456 134549440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35422 26970 231 231 0 35191 0
vsize: 141688
[startup+710.006 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27485 0 0 0 70907 105 0 0 25 0 1 0 453444001 145223680 27335 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35455 27335 231 231 0 35224 0
vsize: 141820
[startup+720.006 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27524 0 0 0 71903 109 0 0 25 0 1 0 453444001 145371136 27374 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35491 27374 231 231 0 35260 0
vsize: 141964
[startup+730.006 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27530 0 0 0 72903 109 0 0 25 0 1 0 453444001 145371136 27380 4294967295 134512640 135450300 3221224624 3221223344 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35491 27380 231 231 0 35260 0
vsize: 141964
[startup+740.006 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27666 0 0 0 73902 111 0 0 25 0 1 0 453444001 145911808 27516 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27516 231 231 0 35392 0
vsize: 142492
[startup+750.006 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27673 0 0 0 74902 111 0 0 25 0 1 0 453444001 145911808 27523 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27523 231 231 0 35392 0
vsize: 142492
[startup+760.006 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27675 0 0 0 75902 111 0 0 25 0 1 0 453444001 145911808 27525 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27525 231 231 0 35392 0
vsize: 142492
[startup+770.006 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27676 0 0 0 76902 111 0 0 25 0 1 0 453444001 145911808 27526 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27526 231 231 0 35392 0
vsize: 142492
[startup+780.006 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27692 0 0 0 77902 111 0 0 25 0 1 0 453444001 145911808 27542 4294967295 134512640 135450300 3221224624 3221223344 134536046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27542 231 231 0 35392 0
vsize: 142492
[startup+790.005 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27693 0 0 0 78902 111 0 0 25 0 1 0 453444001 145911808 27543 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27543 231 231 0 35392 0
vsize: 142492
[startup+800.006 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27694 0 0 0 79902 111 0 0 25 0 1 0 453444001 145911808 27544 4294967295 134512640 135450300 3221224624 3221223152 134545573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27544 231 231 0 35392 0
vsize: 142492
[startup+810.006 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27695 0 0 0 80902 111 0 0 25 0 1 0 453444001 145911808 27545 4294967295 134512640 135450300 3221224624 3221223344 134535540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35623 27545 231 231 0 35392 0
vsize: 142492
[startup+820.005 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27707 0 0 0 81902 112 0 0 25 0 1 0 453444001 146030592 27557 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35652 27557 231 231 0 35421 0
vsize: 142608
[startup+830.006 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27708 0 0 0 82902 112 0 0 25 0 1 0 453444001 146030592 27558 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35652 27558 231 231 0 35421 0
vsize: 142608
[startup+840.006 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27709 0 0 0 83902 112 0 0 25 0 1 0 453444001 146030592 27559 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35652 27559 231 231 0 35421 0
vsize: 142608
[startup+850.006 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27734 0 0 0 84903 112 0 0 25 0 1 0 453444001 146165760 27584 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35685 27584 231 231 0 35454 0
vsize: 142740
[startup+860.006 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27735 0 0 0 85903 112 0 0 25 0 1 0 453444001 146165760 27585 4294967295 134512640 135450300 3221224624 3221223456 134549298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35685 27585 231 231 0 35454 0
vsize: 142740
[startup+870.006 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27736 0 0 0 86903 112 0 0 25 0 1 0 453444001 146165760 27586 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35685 27586 231 231 0 35454 0
vsize: 142740
[startup+880.005 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27738 0 0 0 87902 112 0 0 25 0 1 0 453444001 146165760 27588 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35685 27588 231 231 0 35454 0
vsize: 142740
[startup+890.005 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27765 0 0 0 88902 113 0 0 25 0 1 0 453444001 146165760 27615 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35685 27615 231 231 0 35454 0
vsize: 142740
[startup+900.005 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27766 0 0 0 89902 113 0 0 25 0 1 0 453444001 146165760 27616 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35685 27616 231 231 0 35454 0
vsize: 142740
[startup+910.005 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27767 0 0 0 90902 113 0 0 25 0 1 0 453444001 146165760 27617 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35685 27617 231 231 0 35454 0
vsize: 142740
[startup+920.005 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27776 0 0 0 91902 113 0 0 25 0 1 0 453444001 146305024 27626 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35719 27626 231 231 0 35488 0
vsize: 142876
[startup+930.005 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27920 0 0 0 92902 114 0 0 25 0 1 0 453444001 146862080 27770 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35855 27770 231 231 0 35624 0
vsize: 143420
[startup+940.005 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27922 0 0 0 93902 114 0 0 25 0 1 0 453444001 146862080 27772 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35855 27772 231 231 0 35624 0
vsize: 143420
[startup+950.005 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27923 0 0 0 94902 114 0 0 25 0 1 0 453444001 146862080 27773 4294967295 134512640 135450300 3221224624 3221223440 134547853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35855 27773 231 231 0 35624 0
vsize: 143420
[startup+960.005 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27949 0 0 0 95902 114 0 0 25 0 1 0 453444001 146862080 27799 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35855 27799 231 231 0 35624 0
vsize: 143420
[startup+970.005 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27957 0 0 0 96902 114 0 0 25 0 1 0 453444001 147001344 27807 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35889 27807 231 231 0 35658 0
vsize: 143556
[startup+980.004 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27958 0 0 0 97902 114 0 0 25 0 1 0 453444001 147001344 27808 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35889 27808 231 231 0 35658 0
vsize: 143556
[startup+990.004 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27959 0 0 0 98903 114 0 0 25 0 1 0 453444001 147001344 27809 4294967295 134512640 135450300 3221224624 3221223344 134535461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35889 27809 231 231 0 35658 0
vsize: 143556
[startup+1000 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 27965 0 0 0 99903 114 0 0 25 0 1 0 453444001 147001344 27815 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35889 27815 231 231 0 35658 0
vsize: 143556
[startup+1010 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28004 0 0 0 100903 114 0 0 25 0 1 0 453444001 147148800 27854 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35925 27854 231 231 0 35694 0
vsize: 143700
[startup+1020 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28006 0 0 0 101903 115 0 0 25 0 1 0 453444001 147148800 27856 4294967295 134512640 135450300 3221224624 3221222928 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35925 27856 231 231 0 35694 0
vsize: 143700
[startup+1030 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28007 0 0 0 102903 115 0 0 25 0 1 0 453444001 147148800 27857 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35925 27857 231 231 0 35694 0
vsize: 143700
[startup+1040 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28007 0 0 0 103903 115 0 0 25 0 1 0 453444001 147148800 27857 4294967295 134512640 135450300 3221224624 3221223008 134602118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35925 27857 231 231 0 35694 0
vsize: 143700
[startup+1050 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28045 0 0 0 104903 115 0 0 25 0 1 0 453444001 147296256 27895 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35961 27895 231 231 0 35730 0
vsize: 143844
[startup+1060 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28046 0 0 0 105903 115 0 0 25 0 1 0 453444001 147296256 27896 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35961 27896 231 231 0 35730 0
vsize: 143844
[startup+1070 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28047 0 0 0 106903 115 0 0 25 0 1 0 453444001 147296256 27897 4294967295 134512640 135450300 3221224624 3221223552 134539682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35961 27897 231 231 0 35730 0
vsize: 143844
[startup+1080 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28048 0 0 0 107903 115 0 0 25 0 1 0 453444001 147296256 27898 4294967295 134512640 135450300 3221224624 3221223440 134547906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35961 27898 231 231 0 35730 0
vsize: 143844
[startup+1090 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28255 0 0 0 108903 116 0 0 25 0 1 0 453444001 148148224 28105 4294967295 134512640 135450300 3221224624 3221223344 134536028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36169 28105 231 231 0 35938 0
vsize: 144676
[startup+1100 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28256 0 0 0 109903 116 0 0 25 0 1 0 453444001 148148224 28106 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36169 28106 231 231 0 35938 0
vsize: 144676
[startup+1110 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28257 0 0 0 110903 116 0 0 25 0 1 0 453444001 148148224 28107 4294967295 134512640 135450300 3221224624 3221223008 134579327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36169 28107 231 231 0 35938 0
vsize: 144676
[startup+1120 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28259 0 0 0 111903 116 0 0 25 0 1 0 453444001 148148224 28109 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36169 28109 231 231 0 35938 0
vsize: 144676
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28287 0 0 0 112903 116 0 0 25 0 1 0 453444001 148295680 28137 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36205 28137 231 231 0 35974 0
vsize: 144820
[startup+1140 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28289 0 0 0 113903 116 0 0 25 0 1 0 453444001 148295680 28139 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36205 28139 231 231 0 35974 0
vsize: 144820
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28290 0 0 0 114904 116 0 0 25 0 1 0 453444001 148295680 28140 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36205 28140 231 231 0 35974 0
vsize: 144820
[startup+1160 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28291 0 0 0 115904 116 0 0 25 0 1 0 453444001 148295680 28141 4294967295 134512640 135450300 3221224624 3221223344 134536014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36205 28141 231 231 0 35974 0
vsize: 144820
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 28439 0 0 0 116903 117 0 0 25 0 1 0 453444001 148860928 28289 4294967295 134512640 135450300 3221224624 3221223152 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36343 28289 231 231 0 36112 0
vsize: 145372
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 29017 0 0 0 117902 118 0 0 25 0 1 0 453444001 148860928 28867 4294967295 134512640 135450300 3221224624 3221223344 134535995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36343 28867 231 231 0 36112 0
vsize: 145372
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 29598 0 0 0 118901 119 0 0 25 0 1 0 453444001 148860928 29448 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36343 29448 231 231 0 36112 0
vsize: 145372
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 15415
Raw data (stat): 15415 (PBS4) R 15414 22932 22931 0 -1 0 30163 0 0 0 119900 120 0 0 25 0 1 0 453444001 148860928 30013 4294967295 134512640 135450300 3221224624 3221223344 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36343 30013 231 231 0 36112 0
vsize: 145372
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 15415
Raw data (stat): 15415 (PBS4) Z 15414 22932 22931 0 -1 1036 30163 0 0 0 119900 126 0 0 25 0 1 0 453444001 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.27
CPU user time (s): 1199.01
CPU system time (s): 1.26381
CPU usage (%): 100.017
Max. virtual memory (Kb): 145372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####