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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUM	0e5bfa52e1e730089f4eefb216f69dfd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	73
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	262
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	21380
Total number of constraints	60984
Number of constraints which are clauses	58828
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2156
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 7877

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-17 16:51:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2697 boxname=wulflinc8 idbench=300 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 2697
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        830952 kB
Buffers:         38708 kB
Cached:         141492 kB
SwapCached:          0 kB
Active:          91872 kB
Inactive:        93056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830700 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            13084 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:11:22 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2697 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.burch_dill.8.accl.ucl.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.79 0.90 0.89 2/54 19286
Raw data (stat): 19286 (runsolver) R 19285 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 440307893 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.83 0.90 0.89 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 3005 0 0 0 989 10 0 0 25 0 1 0 440307893 12021760 2620 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2935 2620 231 231 0 2704 0
vsize: 11740
[startup+20.0006 s]
Raw data (loadavg): 0.85 0.90 0.89 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 3234 0 0 0 1986 13 0 0 25 0 1 0 440307893 14794752 2849 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3612 2849 231 231 0 3381 0
vsize: 14448
[startup+30.0007 s]
Raw data (loadavg): 0.87 0.91 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 3367 0 0 0 2984 16 0 0 25 0 1 0 440307893 14942208 2982 4294967295 134512640 135450300 3221224624 3221223360 134538607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3648 2982 231 231 0 3417 0
vsize: 14592
[startup+40.0015 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 4044 0 0 0 3981 18 0 0 25 0 1 0 440307893 17006592 3190 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3190 231 231 0 3921 0
vsize: 16608
[startup+50.0019 s]
Raw data (loadavg): 0.91 0.91 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 4322 0 0 0 4980 20 0 0 25 0 1 0 440307893 17530880 3384 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4280 3384 231 231 0 4049 0
vsize: 17120
[startup+60.002 s]
Raw data (loadavg): 0.92 0.91 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 4493 0 0 0 5977 22 0 0 25 0 1 0 440307893 17694720 3471 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4320 3471 231 231 0 4089 0
vsize: 17280
[startup+70.0028 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 4687 0 0 0 6976 24 0 0 25 0 1 0 440307893 17694720 3539 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4320 3539 231 231 0 4089 0
vsize: 17280
[startup+80.0033 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 4918 0 0 0 7973 27 0 0 25 0 1 0 440307893 17948672 3644 4294967295 134512640 135450300 3221224624 3221223456 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4382 3644 231 231 0 4151 0
vsize: 17528
[startup+90.0034 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 5029 0 0 0 8972 29 0 0 25 0 1 0 440307893 18112512 3713 4294967295 134512640 135450300 3221224624 3221223520 134539774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4422 3713 231 231 0 4191 0
vsize: 17688
[startup+100.003 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 5507 0 0 0 9968 32 0 0 25 0 1 0 440307893 22454272 4065 4294967295 134512640 135450300 3221224624 3221223360 134538601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4065 231 231 0 5251 0
vsize: 21928
[startup+110.003 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 5685 0 0 0 10967 33 0 0 25 0 1 0 440307893 22765568 4159 4294967295 134512640 135450300 3221224624 3221223440 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5558 4159 231 231 0 5327 0
vsize: 22232
[startup+120.004 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6077 0 0 0 11965 36 0 0 25 0 1 0 440307893 22765568 4467 4294967295 134512640 135450300 3221224624 3221223440 134537285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5558 4467 231 231 0 5327 0
vsize: 22232
[startup+130.004 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6193 0 0 0 12963 38 0 0 25 0 1 0 440307893 22896640 4499 4294967295 134512640 135450300 3221224624 3221223360 134538785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5590 4499 231 231 0 5359 0
vsize: 22360
[startup+140.004 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6326 0 0 0 13961 40 0 0 25 0 1 0 440307893 23044096 4548 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5626 4548 231 231 0 5395 0
vsize: 22504
[startup+150.004 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6409 0 0 0 14960 42 0 0 25 0 1 0 440307893 23240704 4589 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4589 231 231 0 5443 0
vsize: 22696
[startup+160.004 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6569 0 0 0 15958 43 0 0 25 0 1 0 440307893 23240704 4623 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4623 231 231 0 5443 0
vsize: 22696
[startup+170.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6725 0 0 0 16957 45 0 0 25 0 1 0 440307893 23396352 4695 4294967295 134512640 135450300 3221224624 3221223440 134546776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5712 4695 231 231 0 5481 0
vsize: 22848
[startup+180.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6818 0 0 0 17956 46 0 0 25 0 1 0 440307893 23396352 4746 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5712 4746 231 231 0 5481 0
vsize: 22848
[startup+190.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 6942 0 0 0 18954 48 0 0 25 0 1 0 440307893 23572480 4786 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5755 4786 231 231 0 5524 0
vsize: 23020
[startup+200.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 7147 0 0 0 19952 50 0 0 25 0 1 0 440307893 23724032 4907 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5792 4907 231 231 0 5561 0
vsize: 23168
[startup+210.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 7298 0 0 0 20951 51 0 0 25 0 1 0 440307893 23724032 4974 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 4974 231 231 0 5561 0
vsize: 23168
[startup+220.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 7375 0 0 0 21949 53 0 0 25 0 1 0 440307893 23871488 5051 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5828 5051 231 231 0 5597 0
vsize: 23312
[startup+230.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 7584 0 0 0 22947 55 0 0 25 0 1 0 440307893 23871488 5176 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5828 5176 231 231 0 5597 0
vsize: 23312
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 7772 0 0 0 23945 57 0 0 25 0 1 0 440307893 32415744 5280 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5280 231 231 0 7683 0
vsize: 31656
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 8129 0 0 0 24944 59 0 0 25 0 1 0 440307893 32555008 5553 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5553 231 231 0 7717 0
vsize: 31792
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 8352 0 0 0 25943 60 0 0 25 0 1 0 440307893 32555008 5734 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5734 231 231 0 7717 0
vsize: 31792
[startup+270.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 8582 0 0 0 26941 62 0 0 25 0 1 0 440307893 32690176 5922 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7981 5922 231 231 0 7750 0
vsize: 31924
[startup+280.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 8675 0 0 0 27939 64 0 0 25 0 1 0 440307893 32690176 5973 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7981 5973 231 231 0 7750 0
vsize: 31924
[startup+290.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 8735 0 0 0 28938 65 0 0 25 0 1 0 440307893 32690176 5991 4294967295 134512640 135450300 3221224624 3221223440 134536411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7981 5991 231 231 0 7750 0
vsize: 31924
[startup+300.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 8834 0 0 0 29937 66 0 0 25 0 1 0 440307893 32690176 6006 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7981 6006 231 231 0 7750 0
vsize: 31924
[startup+310.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 8945 0 0 0 30936 68 0 0 25 0 1 0 440307893 32837632 6033 4294967295 134512640 135450300 3221224624 3221223564 134530378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8017 6033 231 231 0 7786 0
vsize: 32068
[startup+320.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9050 0 0 0 31934 70 0 0 25 0 1 0 440307893 32972800 6054 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8050 6054 231 231 0 7819 0
vsize: 32200
[startup+330.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9231 0 0 0 32933 71 0 0 25 0 1 0 440307893 32972800 6151 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8050 6151 231 231 0 7819 0
vsize: 32200
[startup+340.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9362 0 0 0 33931 73 0 0 25 0 1 0 440307893 32972800 6198 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8050 6198 231 231 0 7819 0
vsize: 32200
[startup+350.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9429 0 0 0 34930 74 0 0 25 0 1 0 440307893 32972800 6223 4294967295 134512640 135450300 3221224624 3221223456 134550227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8050 6223 231 231 0 7819 0
vsize: 32200
[startup+360.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9527 0 0 0 35929 76 0 0 25 0 1 0 440307893 33112064 6237 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 6237 231 231 0 7853 0
vsize: 32336
[startup+370.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9583 0 0 0 36928 77 0 0 25 0 1 0 440307893 33112064 6251 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 6251 231 231 0 7853 0
vsize: 32336
[startup+380.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9645 0 0 0 37926 79 0 0 25 0 1 0 440307893 33112064 6271 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 6271 231 231 0 7853 0
vsize: 32336
[startup+390.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 9909 0 0 0 38923 82 0 0 25 0 1 0 440307893 33271808 6493 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8123 6493 231 231 0 7892 0
vsize: 32492
[startup+400.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 10363 0 0 0 39922 84 0 0 25 0 1 0 440307893 33411072 6863 4294967295 134512640 135450300 3221224624 3221223360 134538219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 6863 231 231 0 7926 0
vsize: 32628
[startup+410.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 10564 0 0 0 40920 85 0 0 25 0 1 0 440307893 33411072 7022 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 7022 231 231 0 7926 0
vsize: 32628
[startup+420.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 10664 0 0 0 41919 86 0 0 25 0 1 0 440307893 33411072 7038 4294967295 134512640 135450300 3221224624 3221223484 134539316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 7038 231 231 0 7926 0
vsize: 32628
[startup+430.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 10776 0 0 0 42917 88 0 0 25 0 1 0 440307893 33411072 7108 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 7108 231 231 0 7926 0
vsize: 32628
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 11233 0 0 0 43916 90 0 0 25 0 1 0 440307893 33542144 7481 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8189 7481 231 231 0 7958 0
vsize: 32756
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 11528 0 0 0 44914 92 0 0 25 0 1 0 440307893 33542144 7692 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8189 7692 231 231 0 7958 0
vsize: 32756
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 11972 0 0 0 45912 94 0 0 25 0 1 0 440307893 50319360 8052 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 8052 231 231 0 12054 0
vsize: 49140
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 12102 0 0 0 46911 95 0 0 25 0 1 0 440307893 50606080 8098 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12355 8098 231 231 0 12124 0
vsize: 49420
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 12123 0 0 0 47910 96 0 0 25 0 1 0 440307893 50606080 8119 4294967295 134512640 135450300 3221224624 3221223440 134536841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12355 8119 231 231 0 12124 0
vsize: 49420
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 12542 0 0 0 48908 99 0 0 25 0 1 0 440307893 50606080 8454 4294967295 134512640 135450300 3221224624 3221223476 134539321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12355 8454 231 231 0 12124 0
vsize: 49420
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 12942 0 0 0 49907 100 0 0 25 0 1 0 440307893 50774016 8770 4294967295 134512640 135450300 3221224624 3221223056 134533497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12396 8770 231 231 0 12165 0
vsize: 49584
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 13019 0 0 0 50906 101 0 0 25 0 1 0 440307893 50925568 8805 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12433 8805 231 231 0 12202 0
vsize: 49732
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 13132 0 0 0 51906 102 0 0 25 0 1 0 440307893 51060736 8834 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12466 8834 231 231 0 12235 0
vsize: 49864
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19323
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 13381 0 0 0 52904 104 0 0 25 0 1 0 440307893 51060736 9041 4294967295 134512640 135450300 3221224624 3221223532 134539771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12466 9041 231 231 0 12235 0
vsize: 49864
[startup+540.025 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 19330
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 13497 0 0 0 53902 106 0 0 25 0 1 0 440307893 51060736 9073 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12466 9073 231 231 0 12235 0
vsize: 49864
[startup+550.026 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 19339
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 13596 0 0 0 54901 107 0 0 25 0 1 0 440307893 51228672 9130 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12507 9130 231 231 0 12276 0
vsize: 50028
[startup+560.026 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 19339
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 14681 0 0 0 55898 111 0 0 25 0 1 0 440307893 54374400 9404 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13275 9404 231 231 0 13044 0
vsize: 53100
[startup+570.027 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19339
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 14890 0 0 0 56896 112 0 0 25 0 1 0 440307893 54374400 9571 4294967295 134512640 135450300 3221224624 3221223360 134538092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13275 9571 231 231 0 13044 0
vsize: 53100
[startup+580.027 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 19339
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 15034 0 0 0 57895 114 0 0 25 0 1 0 440307893 54374400 9673 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13275 9673 231 231 0 13044 0
vsize: 53100
[startup+590.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19339
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 15101 0 0 0 58894 115 0 0 25 0 1 0 440307893 54562816 9698 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13321 9698 231 231 0 13090 0
vsize: 53284
[startup+600.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19339
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 15200 0 0 0 59893 116 0 0 25 0 1 0 440307893 54562816 9713 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13321 9713 231 231 0 13090 0
vsize: 53284
[startup+610.028 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19339
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 15358 0 0 0 60892 118 0 0 25 0 1 0 440307893 54738944 9829 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13364 9829 231 231 0 13133 0
vsize: 53456
[startup+620.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 15654 0 0 0 61890 120 0 0 25 0 1 0 440307893 54738944 10083 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13364 10083 231 231 0 13133 0
vsize: 53456
[startup+630.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 15750 0 0 0 62889 121 0 0 25 0 1 0 440307893 54738944 10095 4294967295 134512640 135450300 3221224624 3221223552 134539627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13364 10095 231 231 0 13133 0
vsize: 53456
[startup+640.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 15804 0 0 0 63888 122 0 0 25 0 1 0 440307893 54878208 10107 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13398 10107 231 231 0 13167 0
vsize: 53592
[startup+650.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 16374 0 0 0 64886 124 0 0 25 0 1 0 440307893 54878208 10635 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13398 10635 231 231 0 13167 0
vsize: 53592
[startup+660.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 16671 0 0 0 65884 126 0 0 25 0 1 0 440307893 54878208 10848 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13398 10848 231 231 0 13167 0
vsize: 53592
[startup+670.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 16881 0 0 0 66883 128 0 0 25 0 1 0 440307893 54878208 11016 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13398 11016 231 231 0 13167 0
vsize: 53592
[startup+680.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 17096 0 0 0 67881 130 0 0 25 0 1 0 440307893 55066624 11189 4294967295 134512640 135450300 3221224624 3221223100 134572324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13444 11189 231 231 0 13213 0
vsize: 53776
[startup+690.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 17396 0 0 0 68879 132 0 0 25 0 1 0 440307893 55066624 11447 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13444 11447 231 231 0 13213 0
vsize: 53776
[startup+700.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 17611 0 0 0 69877 134 0 0 25 0 1 0 440307893 55066624 11620 4294967295 134512640 135450300 3221224624 3221223104 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13444 11620 231 231 0 13213 0
vsize: 53776
[startup+710.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 17668 0 0 0 70877 135 0 0 25 0 1 0 440307893 55066624 11635 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13444 11635 231 231 0 13213 0
vsize: 53776
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 17731 0 0 0 71876 136 0 0 25 0 1 0 440307893 55238656 11656 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13486 11656 231 231 0 13255 0
vsize: 53944
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 17782 0 0 0 72875 137 0 0 25 0 1 0 440307893 55238656 11665 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13486 11665 231 231 0 13255 0
vsize: 53944
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 18298 0 0 0 73873 139 0 0 25 0 1 0 440307893 55238656 12097 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13486 12097 231 231 0 13255 0
vsize: 53944
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 18771 0 0 0 74871 141 0 0 25 0 1 0 440307893 88793088 12528 4294967295 134512640 135450300 3221224624 3221223084 134533432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21678 12528 231 231 0 21447 0
vsize: 86712
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 19114 0 0 0 75869 143 0 0 25 0 1 0 440307893 88793088 12829 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21678 12829 231 231 0 21447 0
vsize: 86712
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 19595 0 0 0 76867 145 0 0 25 0 1 0 440307893 88793088 13310 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21678 13310 231 231 0 21447 0
vsize: 86712
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20068 0 0 0 77866 147 0 0 25 0 1 0 440307893 88793088 13783 4294967295 134512640 135450300 3221224624 3221223344 134538175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21678 13783 231 231 0 21447 0
vsize: 86712
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20389 0 0 0 78864 149 0 0 25 0 1 0 440307893 88793088 14062 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21678 14062 231 231 0 21447 0
vsize: 86712
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20666 0 0 0 79862 151 0 0 25 0 1 0 440307893 88928256 14297 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21711 14297 231 231 0 21480 0
vsize: 86844
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20798 0 0 0 80862 152 0 0 25 0 1 0 440307893 88928256 14387 4294967295 134512640 135450300 3221224624 3221223440 134546796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21711 14387 231 231 0 21480 0
vsize: 86844
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20864 0 0 0 81861 152 0 0 25 0 1 0 440307893 88928256 14411 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21711 14411 231 231 0 21480 0
vsize: 86844
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20928 0 0 0 82860 154 0 0 25 0 1 0 440307893 89124864 14433 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21759 14433 231 231 0 21528 0
vsize: 87036
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20973 0 0 0 83860 154 0 0 25 0 1 0 440307893 89124864 14436 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21759 14436 231 231 0 21528 0
vsize: 87036
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 20980 0 0 0 84859 155 0 0 25 0 1 0 440307893 89124864 14443 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21759 14443 231 231 0 21528 0
vsize: 87036
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21098 0 0 0 85858 157 0 0 25 0 1 0 440307893 89313280 14477 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21805 14477 231 231 0 21574 0
vsize: 87220
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19341
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21150 0 0 0 86857 157 0 0 25 0 1 0 440307893 89313280 14487 4294967295 134512640 135450300 3221224624 3221223456 134549453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21805 14487 231 231 0 21574 0
vsize: 87220
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21211 0 0 0 87857 158 0 0 25 0 1 0 440307893 89313280 14506 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21805 14506 231 231 0 21574 0
vsize: 87220
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21263 0 0 0 88856 159 0 0 25 0 1 0 440307893 89313280 14516 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21805 14516 231 231 0 21574 0
vsize: 87220
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21323 0 0 0 89854 161 0 0 25 0 1 0 440307893 89313280 14534 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21805 14534 231 231 0 21574 0
vsize: 87220
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21383 0 0 0 90854 161 0 0 25 0 1 0 440307893 89497600 14552 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21850 14552 231 231 0 21619 0
vsize: 87400
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21397 0 0 0 91853 162 0 0 25 0 1 0 440307893 89497600 14566 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21850 14566 231 231 0 21619 0
vsize: 87400
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21498 0 0 0 92852 163 0 0 25 0 1 0 440307893 89698304 14583 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21899 14583 231 231 0 21668 0
vsize: 87596
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21559 0 0 0 93851 165 0 0 25 0 1 0 440307893 89698304 14602 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21899 14602 231 231 0 21668 0
vsize: 87596
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21607 0 0 0 94849 167 0 0 25 0 1 0 440307893 89698304 14608 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21899 14608 231 231 0 21668 0
vsize: 87596
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21655 0 0 0 95849 167 0 0 25 0 1 0 440307893 89698304 14614 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21899 14614 231 231 0 21668 0
vsize: 87596
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21705 0 0 0 96848 168 0 0 25 0 1 0 440307893 89698304 14622 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21899 14622 231 231 0 21668 0
vsize: 87596
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 21841 0 0 0 97848 169 0 0 25 0 1 0 440307893 89870336 14716 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21941 14716 231 231 0 21710 0
vsize: 87764
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 22570 0 0 0 98847 170 0 0 25 0 1 0 440307893 89870336 15403 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21941 15403 231 231 0 21710 0
vsize: 87764
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 23508 0 0 0 99844 173 0 0 25 0 1 0 440307893 89870336 16299 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21941 16299 231 231 0 21710 0
vsize: 87764
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 23668 0 0 0 100843 174 0 0 25 0 1 0 440307893 89870336 16417 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21941 16417 231 231 0 21710 0
vsize: 87764
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 23720 0 0 0 101842 175 0 0 25 0 1 0 440307893 90083328 16427 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21993 16427 231 231 0 21762 0
vsize: 87972
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 23773 0 0 0 102842 176 0 0 25 0 1 0 440307893 90083328 16438 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21993 16438 231 231 0 21762 0
vsize: 87972
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 23820 0 0 0 103841 177 0 0 25 0 1 0 440307893 90083328 16443 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21993 16443 231 231 0 21762 0
vsize: 87972
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 24396 0 0 0 104840 178 0 0 25 0 1 0 440307893 90083328 16977 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21993 16977 231 231 0 21762 0
vsize: 87972
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 24743 0 0 0 105839 179 0 0 25 0 1 0 440307893 90083328 17282 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21993 17282 231 231 0 21762 0
vsize: 87972
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 24811 0 0 0 106838 180 0 0 25 0 1 0 440307893 90218496 17308 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22026 17308 231 231 0 21795 0
vsize: 88104
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 25132 0 0 0 107837 182 0 0 25 0 1 0 440307893 90218496 17587 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22026 17587 231 231 0 21795 0
vsize: 88104
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 25903 0 0 0 108834 185 0 0 25 0 1 0 440307893 90218496 18316 4294967295 134512640 135450300 3221224624 3221223056 134533440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22026 18316 231 231 0 21795 0
vsize: 88104
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 26277 0 0 0 109833 186 0 0 25 0 1 0 440307893 90402816 18648 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 18648 231 231 0 21840 0
vsize: 88284
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 26340 0 0 0 110833 186 0 0 25 0 1 0 440307893 90402816 18669 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 18669 231 231 0 21840 0
vsize: 88284
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 26406 0 0 0 111832 187 0 0 25 0 1 0 440307893 90402816 18693 4294967295 134512640 135450300 3221224624 3221223488 134539179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 18693 231 231 0 21840 0
vsize: 88284
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 26659 0 0 0 112831 188 0 0 25 0 1 0 440307893 90402816 18904 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 18904 231 231 0 21840 0
vsize: 88284
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 27051 0 0 0 113829 190 0 0 25 0 1 0 440307893 90402816 19254 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 19254 231 231 0 21840 0
vsize: 88284
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 27775 0 0 0 114827 193 0 0 25 0 1 0 440307893 90402816 19936 4294967295 134512640 135450300 3221224624 3221223344 134535989 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 19936 231 231 0 21840 0
vsize: 88284
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 28389 0 0 0 115825 195 0 0 25 0 1 0 440307893 90402816 20508 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 20508 231 231 0 21840 0
vsize: 88284
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 28439 0 0 0 116825 196 0 0 25 0 1 0 440307893 90402816 20516 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 20516 231 231 0 21840 0
vsize: 88284
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 28488 0 0 0 117825 196 0 0 25 0 1 0 440307893 90402816 20523 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 20523 231 231 0 21840 0
vsize: 88284
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 28495 0 0 0 118824 197 0 0 25 0 1 0 440307893 90628096 20530 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20530 231 231 0 21895 0
vsize: 88504
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19343
Raw data (stat): 19286 (PBS4) R 19285 26667 26666 0 -1 0 28593 0 0 0 119824 197 0 0 25 0 1 0 440307893 90628096 20544 4294967295 134512640 135450300 3221224624 3221223360 134538714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20544 231 231 0 21895 0
vsize: 88504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19343
Raw data (stat): 19286 (PBS4) Z 19285 26667 26666 0 -1 1036 28593 0 0 0 119824 201 0 0 25 0 1 0 440307893 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.09
CPU time (s): 1200.26
CPU user time (s): 1198.25
CPU system time (s): 2.01469
CPU usage (%): 100.014
Max. virtual memory (Kb): 88504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####