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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb
MD5SUM	697fa5beb3d240bccfa43a29ef9b4fb8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-2048
Optimality of the best value was proved	NO
Number of terms in the objective function	16
Biggest coefficient in the objective function	32768
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	65535
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	49152
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	114687
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	784
Total number of constraints	833
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	816
Number of constraints which are nor clauses,nor cardinality constraints	17
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 15363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-21 04:02:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17868 boxname=wulflinc26 idbench=1375 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  697fa5beb3d240bccfa43a29ef9b4fb8  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-opt1217.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-opt1217.opb
IDLAUNCH: 17868
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        257176 kB
Buffers:         38340 kB
Cached:         698168 kB
SwapCached:          0 kB
Active:         255804 kB
Inactive:       483588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        256924 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6964 kB
Slab:            32276 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 04:22:24 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 17868 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-opt1217.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.80 0.95 0.91 2/54 22976
Raw data (stat): 22976 (runsolver) R 22975 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542049230 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.0001 s]
Raw data (loadavg): 0.83 0.95 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 1490 0 0 0 992 7 0 0 25 0 1 0 542049230 10121216 1486 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1486 231 231 0 2240 0
vsize: 9884
[startup+19.9995 s]
Raw data (loadavg): 0.86 0.95 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 2419 0 0 0 1989 9 0 0 25 0 1 0 542049230 18644992 2415 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4552 2415 231 231 0 4321 0
vsize: 18208
[startup+30.0002 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 3190 0 0 0 2987 11 0 0 25 0 1 0 542049230 18845696 3186 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3186 231 231 0 4370 0
vsize: 18404
[startup+40.0001 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 3861 0 0 0 3986 13 0 0 25 0 1 0 542049230 18845696 3857 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3857 231 231 0 4370 0
vsize: 18404
[startup+50.0006 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 4520 0 0 0 4983 16 0 0 25 0 1 0 542049230 35762176 4516 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8731 4516 231 231 0 8500 0
vsize: 34924
[startup+60.0002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 4919 0 0 0 5983 17 0 0 25 0 1 0 542049230 36044800 4915 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 4915 231 231 0 8569 0
vsize: 35200
[startup+70.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 5114 0 0 0 6982 18 0 0 25 0 1 0 542049230 36315136 5110 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8866 5110 231 231 0 8635 0
vsize: 35464
[startup+80.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 5549 0 0 0 7980 20 0 0 25 0 1 0 542049230 36646912 5496 4294967295 134512640 135450300 3221224624 3221223420 134535392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8947 5496 231 231 0 8716 0
vsize: 35788
[startup+90.0002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 5975 0 0 0 8978 22 0 0 25 0 1 0 542049230 36646912 5922 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8947 5922 231 231 0 8716 0
vsize: 35788
[startup+100 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6014 0 0 0 9978 22 0 0 25 0 1 0 542049230 36782080 5961 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 5961 231 231 0 8749 0
vsize: 35920
[startup+110.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6045 0 0 0 10978 23 0 0 25 0 1 0 542049230 36937728 5992 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9018 5992 231 231 0 8787 0
vsize: 36072
[startup+120 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6061 0 0 0 11977 23 0 0 25 0 1 0 542049230 36937728 6008 4294967295 134512640 135450300 3221224624 3221223152 134544109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9018 6008 231 231 0 8787 0
vsize: 36072
[startup+130 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6080 0 0 0 12977 24 0 0 25 0 1 0 542049230 37072896 6027 4294967295 134512640 135450300 3221224624 3221223440 134547128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9051 6027 231 231 0 8820 0
vsize: 36204
[startup+140 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6203 0 0 0 13976 24 0 0 25 0 1 0 542049230 37466112 6053 4294967295 134512640 135450300 3221224624 3221223488 134539211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9147 6053 231 231 0 8916 0
vsize: 36588
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6220 0 0 0 14977 24 0 0 25 0 1 0 542049230 37601280 6070 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9180 6070 231 231 0 8949 0
vsize: 36720
[startup+160.026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6233 0 0 0 15979 24 0 0 25 0 1 0 542049230 37601280 6083 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9180 6083 231 231 0 8949 0
vsize: 36720
[startup+170.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6259 0 0 0 16979 24 0 0 25 0 1 0 542049230 37601280 6109 4294967295 134512640 135450300 3221224624 3221223344 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9180 6109 231 231 0 8949 0
vsize: 36720
[startup+180.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6282 0 0 0 17979 25 0 0 25 0 1 0 542049230 37736448 6132 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9213 6132 231 231 0 8982 0
vsize: 36852
[startup+190.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6290 0 0 0 18979 25 0 0 25 0 1 0 542049230 37736448 6140 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9213 6140 231 231 0 8982 0
vsize: 36852
[startup+200.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22976
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6341 0 0 0 19976 29 0 0 25 0 1 0 542049230 37900288 6191 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9253 6191 231 231 0 9022 0
vsize: 37012
[startup+210.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6388 0 0 0 20975 30 0 0 25 0 1 0 542049230 38035456 6238 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9286 6238 231 231 0 9055 0
vsize: 37144
[startup+220.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6420 0 0 0 21974 30 0 0 25 0 1 0 542049230 38182912 6270 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9322 6270 231 231 0 9091 0
vsize: 37288
[startup+230.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6484 0 0 0 22972 33 0 0 25 0 1 0 542049230 38330368 6334 4294967295 134512640 135450300 3221224624 3221223488 134539129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9358 6334 231 231 0 9127 0
vsize: 37432
[startup+240.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6715 0 0 0 23971 34 0 0 25 0 1 0 542049230 39251968 6372 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9583 6372 231 231 0 9352 0
vsize: 38332
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6741 0 0 0 24971 35 0 0 25 0 1 0 542049230 39251968 6398 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9583 6398 231 231 0 9352 0
vsize: 38332
[startup+260.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6782 0 0 0 25967 38 0 0 25 0 1 0 542049230 39415808 6439 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9623 6439 231 231 0 9392 0
vsize: 38492
[startup+270.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6836 0 0 0 26965 40 0 0 25 0 1 0 542049230 39591936 6493 4294967295 134512640 135450300 3221224624 3221223440 134547155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9666 6493 231 231 0 9435 0
vsize: 38664
[startup+280.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6850 0 0 0 27965 41 0 0 25 0 1 0 542049230 39591936 6507 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9666 6507 231 231 0 9435 0
vsize: 38664
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6899 0 0 0 28962 44 0 0 25 0 1 0 542049230 39763968 6556 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9708 6556 231 231 0 9477 0
vsize: 38832
[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6935 0 0 0 29963 44 0 0 25 0 1 0 542049230 39763968 6592 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9708 6592 231 231 0 9477 0
vsize: 38832
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6962 0 0 0 30962 44 0 0 25 0 1 0 542049230 39944192 6619 4294967295 134512640 135450300 3221224624 3221223344 134535944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9752 6619 231 231 0 9521 0
vsize: 39008
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 6978 0 0 0 31962 45 0 0 25 0 1 0 542049230 39944192 6635 4294967295 134512640 135450300 3221224624 3221223344 134535548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9752 6635 231 231 0 9521 0
vsize: 39008
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7046 0 0 0 32960 47 0 0 25 0 1 0 542049230 40132608 6703 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9798 6703 231 231 0 9567 0
vsize: 39192
[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7071 0 0 0 33960 47 0 0 25 0 1 0 542049230 40267776 6728 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9831 6728 231 231 0 9600 0
vsize: 39324
[startup+350.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7104 0 0 0 34959 48 0 0 25 0 1 0 542049230 40411136 6761 4294967295 134512640 135450300 3221224624 3221223344 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9866 6761 231 231 0 9635 0
vsize: 39464
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7164 0 0 0 35957 50 0 0 25 0 1 0 542049230 40558592 6821 4294967295 134512640 135450300 3221224624 3221223440 134547886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9902 6821 231 231 0 9671 0
vsize: 39608
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7184 0 0 0 36957 50 0 0 25 0 1 0 542049230 40558592 6841 4294967295 134512640 135450300 3221224624 3221223100 134572086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9902 6841 231 231 0 9671 0
vsize: 39608
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7222 0 0 0 37957 51 0 0 25 0 1 0 542049230 40558592 6879 4294967295 134512640 135450300 3221224624 3221222928 134844220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9902 6879 231 231 0 9671 0
vsize: 39608
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7240 0 0 0 38956 52 0 0 25 0 1 0 542049230 40763392 6897 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 6897 231 231 0 9721 0
vsize: 39808
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7258 0 0 0 39956 52 0 0 25 0 1 0 542049230 40763392 6915 4294967295 134512640 135450300 3221224624 3221223440 134547158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 6915 231 231 0 9721 0
vsize: 39808
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7695 0 0 0 40954 54 0 0 25 0 1 0 542049230 42471424 6967 4294967295 134512640 135450300 3221224624 3221223344 134535821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10369 6967 231 231 0 10138 0
vsize: 41476
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7753 0 0 0 41954 55 0 0 25 0 1 0 542049230 42647552 7025 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10412 7025 231 231 0 10181 0
vsize: 41648
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7769 0 0 0 42953 55 0 0 25 0 1 0 542049230 42647552 7041 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10412 7041 231 231 0 10181 0
vsize: 41648
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7786 0 0 0 43953 56 0 0 25 0 1 0 542049230 42647552 7058 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10412 7058 231 231 0 10181 0
vsize: 41648
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7808 0 0 0 44953 56 0 0 25 0 1 0 542049230 42647552 7080 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10412 7080 231 231 0 10181 0
vsize: 41648
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7863 0 0 0 45952 58 0 0 25 0 1 0 542049230 42823680 7135 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10455 7135 231 231 0 10224 0
vsize: 41820
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7901 0 0 0 46951 59 0 0 25 0 1 0 542049230 42991616 7173 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 7173 231 231 0 10265 0
vsize: 41984
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7920 0 0 0 47951 59 0 0 25 0 1 0 542049230 42991616 7192 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 7192 231 231 0 10265 0
vsize: 41984
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7933 0 0 0 48951 60 0 0 25 0 1 0 542049230 42991616 7205 4294967295 134512640 135450300 3221224624 3221223440 134547168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 7205 231 231 0 10265 0
vsize: 41984
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7936 0 0 0 49951 60 0 0 25 0 1 0 542049230 42991616 7208 4294967295 134512640 135450300 3221224624 3221223440 134546485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 7208 231 231 0 10265 0
vsize: 41984
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7962 0 0 0 50950 60 0 0 25 0 1 0 542049230 43126784 7234 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10529 7234 231 231 0 10298 0
vsize: 42116
[startup+520.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 7975 0 0 0 51951 61 0 0 25 0 1 0 542049230 43126784 7247 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10529 7247 231 231 0 10298 0
vsize: 42116
[startup+530.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8008 0 0 0 52953 61 0 0 25 0 1 0 542049230 43126784 7280 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10529 7280 231 231 0 10298 0
vsize: 42116
[startup+540.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8024 0 0 0 53952 62 0 0 25 0 1 0 542049230 43270144 7296 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7296 231 231 0 10333 0
vsize: 42256
[startup+550.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8040 0 0 0 54956 63 0 0 25 0 1 0 542049230 43270144 7312 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7312 231 231 0 10333 0
vsize: 42256
[startup+560.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8053 0 0 0 55955 63 0 0 25 0 1 0 542049230 43270144 7325 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7325 231 231 0 10333 0
vsize: 42256
[startup+570.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8071 0 0 0 56955 64 0 0 25 0 1 0 542049230 43270144 7343 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7343 231 231 0 10333 0
vsize: 42256
[startup+580.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8107 0 0 0 57955 65 0 0 25 0 1 0 542049230 43409408 7379 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10598 7379 231 231 0 10367 0
vsize: 42392
[startup+590.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8144 0 0 0 58958 66 0 0 25 0 1 0 542049230 43560960 7416 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10635 7416 231 231 0 10404 0
vsize: 42540
[startup+600.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8164 0 0 0 59960 66 0 0 25 0 1 0 542049230 43560960 7436 4294967295 134512640 135450300 3221224624 3221223404 134535630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10635 7436 231 231 0 10404 0
vsize: 42540
[startup+610.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8203 0 0 0 60959 67 0 0 25 0 1 0 542049230 43720704 7475 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10674 7475 231 231 0 10443 0
vsize: 42696
[startup+620.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8207 0 0 0 61959 67 0 0 25 0 1 0 542049230 43720704 7479 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10674 7479 231 231 0 10443 0
vsize: 42696
[startup+630.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8222 0 0 0 62959 68 0 0 25 0 1 0 542049230 43720704 7494 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10674 7494 231 231 0 10443 0
vsize: 42696
[startup+640.177 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8240 0 0 0 63959 68 0 0 25 0 1 0 542049230 43720704 7512 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10674 7512 231 231 0 10443 0
vsize: 42696
[startup+650.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8275 0 0 0 64957 71 0 0 25 0 1 0 542049230 43892736 7547 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10716 7547 231 231 0 10485 0
vsize: 42864
[startup+660.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8283 0 0 0 65957 71 0 0 25 0 1 0 542049230 43892736 7555 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10716 7555 231 231 0 10485 0
vsize: 42864
[startup+670.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8305 0 0 0 66956 72 0 0 25 0 1 0 542049230 43892736 7577 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10716 7577 231 231 0 10485 0
vsize: 42864
[startup+680.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8348 0 0 0 67953 75 0 0 25 0 1 0 542049230 43892736 7620 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10716 7620 231 231 0 10485 0
vsize: 42864
[startup+690.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8355 0 0 0 68953 76 0 0 25 0 1 0 542049230 43892736 7627 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10716 7627 231 231 0 10485 0
vsize: 42864
[startup+700.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8389 0 0 0 69951 78 0 0 25 0 1 0 542049230 44072960 7661 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10760 7661 231 231 0 10529 0
vsize: 43040
[startup+710.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8406 0 0 0 70950 79 0 0 25 0 1 0 542049230 44072960 7678 4294967295 134512640 135450300 3221224624 3221223232 134537600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10760 7678 231 231 0 10529 0
vsize: 43040
[startup+720.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8437 0 0 0 71949 81 0 0 25 0 1 0 542049230 44208128 7709 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10793 7709 231 231 0 10562 0
vsize: 43172
[startup+730.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8479 0 0 0 72948 82 0 0 25 0 1 0 542049230 44400640 7751 4294967295 134512640 135450300 3221224624 3221223456 134549298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10840 7751 231 231 0 10609 0
vsize: 43360
[startup+740.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 8520 0 0 0 73946 84 0 0 25 0 1 0 542049230 44400640 7792 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10840 7792 231 231 0 10609 0
vsize: 43360
[startup+750.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9319 0 0 0 74944 86 0 0 25 0 1 0 542049230 47546368 7822 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11608 7822 231 231 0 11377 0
vsize: 46432
[startup+760.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9351 0 0 0 75942 88 0 0 25 0 1 0 542049230 47751168 7854 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11658 7854 231 231 0 11427 0
vsize: 46632
[startup+770.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9380 0 0 0 76937 93 0 0 25 0 1 0 542049230 47751168 7883 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11658 7883 231 231 0 11427 0
vsize: 46632
[startup+780.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9406 0 0 0 77937 95 0 0 25 0 1 0 542049230 47751168 7909 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11658 7909 231 231 0 11427 0
vsize: 46632
[startup+790.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9420 0 0 0 78936 95 0 0 25 0 1 0 542049230 47751168 7923 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11658 7923 231 231 0 11427 0
vsize: 46632
[startup+800.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9443 0 0 0 79935 97 0 0 25 0 1 0 542049230 47968256 7946 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11711 7946 231 231 0 11480 0
vsize: 46844
[startup+810.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9473 0 0 0 80932 100 0 0 25 0 1 0 542049230 47968256 7976 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11711 7976 231 231 0 11480 0
vsize: 46844
[startup+820.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9500 0 0 0 81930 103 0 0 25 0 1 0 542049230 47968256 8003 4294967295 134512640 135450300 3221224624 3221223360 134538498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11711 8003 231 231 0 11480 0
vsize: 46844
[startup+830.204 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9505 0 0 0 82931 103 0 0 25 0 1 0 542049230 47968256 8008 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11711 8008 231 231 0 11480 0
vsize: 46844
[startup+840.205 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9540 0 0 0 83929 105 0 0 25 0 1 0 542049230 47968256 8043 4294967295 134512640 135450300 3221224624 3221223344 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11711 8043 231 231 0 11480 0
vsize: 46844
[startup+850.205 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9552 0 0 0 84928 106 0 0 25 0 1 0 542049230 48201728 8055 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11768 8055 231 231 0 11537 0
vsize: 47072
[startup+860.206 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9564 0 0 0 85925 109 0 0 25 0 1 0 542049230 48201728 8067 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11768 8067 231 231 0 11537 0
vsize: 47072
[startup+870.206 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9612 0 0 0 86922 113 0 0 25 0 1 0 542049230 48336896 8115 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 8115 231 231 0 11570 0
vsize: 47204
[startup+880.206 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9649 0 0 0 87922 113 0 0 25 0 1 0 542049230 48336896 8152 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 8152 231 231 0 11570 0
vsize: 47204
[startup+890.206 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9667 0 0 0 88921 114 0 0 25 0 1 0 542049230 48336896 8170 4294967295 134512640 135450300 3221224624 3221223440 134547182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 8170 231 231 0 11570 0
vsize: 47204
[startup+900.207 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9686 0 0 0 89921 114 0 0 25 0 1 0 542049230 48582656 8189 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11861 8189 231 231 0 11630 0
vsize: 47444
[startup+910.207 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9723 0 0 0 90920 115 0 0 25 0 1 0 542049230 48582656 8226 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11861 8226 231 231 0 11630 0
vsize: 47444
[startup+920.207 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9731 0 0 0 91920 115 0 0 25 0 1 0 542049230 48582656 8234 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11861 8234 231 231 0 11630 0
vsize: 47444
[startup+930.208 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9752 0 0 0 92920 116 0 0 25 0 1 0 542049230 48582656 8255 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11861 8255 231 231 0 11630 0
vsize: 47444
[startup+940.207 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9772 0 0 0 93920 116 0 0 25 0 1 0 542049230 48582656 8275 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11861 8275 231 231 0 11630 0
vsize: 47444
[startup+950.207 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9803 0 0 0 94919 117 0 0 25 0 1 0 542049230 48844800 8306 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8306 231 231 0 11694 0
vsize: 47700
[startup+960.208 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9829 0 0 0 95918 119 0 0 25 0 1 0 542049230 48844800 8332 4294967295 134512640 135450300 3221224624 3221223360 134537984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8332 231 231 0 11694 0
vsize: 47700
[startup+970.207 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9853 0 0 0 96917 119 0 0 25 0 1 0 542049230 48844800 8356 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8356 231 231 0 11694 0
vsize: 47700
[startup+980.207 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9873 0 0 0 97917 120 0 0 25 0 1 0 542049230 48844800 8376 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8376 231 231 0 11694 0
vsize: 47700
[startup+990.208 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9885 0 0 0 98916 120 0 0 25 0 1 0 542049230 48844800 8388 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8388 231 231 0 11694 0
vsize: 47700
[startup+1000.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9915 0 0 0 99914 123 0 0 25 0 1 0 542049230 48844800 8418 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8418 231 231 0 11694 0
vsize: 47700
[startup+1010.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9924 0 0 0 100914 123 0 0 25 0 1 0 542049230 48844800 8427 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8427 231 231 0 11694 0
vsize: 47700
[startup+1020.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9942 0 0 0 101913 124 0 0 25 0 1 0 542049230 48844800 8445 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11925 8445 231 231 0 11694 0
vsize: 47700
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 9985 0 0 0 102911 126 0 0 25 0 1 0 542049230 49123328 8488 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11993 8488 231 231 0 11762 0
vsize: 47972
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10001 0 0 0 103911 127 0 0 25 0 1 0 542049230 49123328 8504 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11993 8504 231 231 0 11762 0
vsize: 47972
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10045 0 0 0 104910 128 0 0 25 0 1 0 542049230 49250304 8548 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12024 8548 231 231 0 11793 0
vsize: 48096
[startup+1060.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10051 0 0 0 105909 129 0 0 25 0 1 0 542049230 49250304 8554 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12024 8554 231 231 0 11793 0
vsize: 48096
[startup+1070.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10058 0 0 0 106909 129 0 0 25 0 1 0 542049230 49250304 8561 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12024 8561 231 231 0 11793 0
vsize: 48096
[startup+1080.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10090 0 0 0 107907 131 0 0 25 0 1 0 542049230 49545216 8593 4294967295 134512640 135450300 3221224624 3221223360 134537943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12096 8593 231 231 0 11865 0
vsize: 48384
[startup+1090.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10105 0 0 0 108907 132 0 0 25 0 1 0 542049230 49545216 8608 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12096 8608 231 231 0 11865 0
vsize: 48384
[startup+1100.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10140 0 0 0 109907 132 0 0 25 0 1 0 542049230 49545216 8643 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12096 8643 231 231 0 11865 0
vsize: 48384
[startup+1110.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10162 0 0 0 110906 133 0 0 25 0 1 0 542049230 49545216 8665 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12096 8665 231 231 0 11865 0
vsize: 48384
[startup+1120.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10179 0 0 0 111906 133 0 0 25 0 1 0 542049230 49545216 8682 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12096 8682 231 231 0 11865 0
vsize: 48384
[startup+1130.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10235 0 0 0 112904 135 0 0 25 0 1 0 542049230 49680384 8738 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12129 8738 231 231 0 11898 0
vsize: 48516
[startup+1140.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10260 0 0 0 113903 136 0 0 25 0 1 0 542049230 49680384 8763 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12129 8763 231 231 0 11898 0
vsize: 48516
[startup+1150.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10289 0 0 0 114902 138 0 0 25 0 1 0 542049230 49991680 8792 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 8792 231 231 0 11974 0
vsize: 48820
[startup+1160.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10311 0 0 0 115900 140 0 0 25 0 1 0 542049230 49991680 8814 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 8814 231 231 0 11974 0
vsize: 48820
[startup+1170.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10327 0 0 0 116900 140 0 0 25 0 1 0 542049230 49991680 8830 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 8830 231 231 0 11974 0
vsize: 48820
[startup+1180.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10351 0 0 0 117900 141 0 0 25 0 1 0 542049230 49991680 8854 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 8854 231 231 0 11974 0
vsize: 48820
[startup+1190.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10377 0 0 0 118899 142 0 0 25 0 1 0 542049230 49991680 8880 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 8880 231 231 0 11974 0
vsize: 48820
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22978
Raw data (stat): 22976 (PBS4) R 22975 22612 22611 0 -1 0 10391 0 0 0 119899 142 0 0 25 0 1 0 542049230 49991680 8894 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 8894 231 231 0 11974 0
vsize: 48820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 22978
Raw data (stat): 22976 (PBS4) Z 22975 22612 22611 0 -1 1036 10391 0 0 0 119899 144 0 0 24 0 1 0 542049230 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.3
CPU time (s): 1200.44
CPU user time (s): 1198.99
CPU system time (s): 1.44478
CPU usage (%): 100.011
Max. virtual memory (Kb): 48820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####