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/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM	409f1cf0658f035df65cb61f3e4f598e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27847
Number of constraints which are clauses	27847
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 7887

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-17 16:59:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2877 boxname=wulflinc5 idbench=320 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-2.opb
IDLAUNCH: 2877
/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:        853676 kB
Buffers:         36740 kB
Cached:         121128 kB
SwapCached:       2272 kB
Active:          67452 kB
Inactive:        95592 kB
HighTotal:      131008 kB
HighFree:         5880 kB
LowTotal:       903652 kB
LowFree:        847796 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12468 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:19:36 (client local time) WITH STATUS 0 IN 1200.98 SECONDS
stats: 2877 7 1200.98 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-2.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.99 0.97 0.92 2/54 15461
Raw data (stat): 15461 (runsolver) R 15460 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453922246 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+9.99997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15461
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 2630 0 0 0 992 7 0 0 25 0 1 0 453922246 10960896 2474 4294967295 134512640 135450300 3221224640 3221222944 134844223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2676 2474 231 231 0 2445 0
vsize: 10704
[startup+19.9997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15461
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 4113 0 0 0 1988 11 0 0 25 0 1 0 453922246 19488768 3957 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 3957 231 231 0 4527 0
vsize: 19032
[startup+30.0001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15461
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 5128 0 0 0 2985 14 0 0 25 0 1 0 453922246 36405248 4972 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8888 4972 231 231 0 8657 0
vsize: 35552
[startup+40.3033 s]
Raw data (loadavg): 1.07 0.99 0.93 3/57 15502
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 6354 0 0 0 4011 18 0 0 25 0 1 0 453922246 36691968 6198 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 6198 231 231 0 8727 0
vsize: 35832
[startup+50.6188 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 7990 0 0 0 5038 23 0 0 25 0 1 0 453922246 37478400 7641 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9150 7641 231 231 0 8919 0
vsize: 36600
[startup+60.699 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 8951 0 0 0 6044 25 0 0 25 0 1 0 453922246 37937152 8602 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9262 8602 231 231 0 9031 0
vsize: 37048
[startup+70.7001 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 10469 0 0 0 7039 30 0 0 25 0 1 0 453922246 72421376 10120 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17681 10120 231 231 0 17450 0
vsize: 70724
[startup+80.7008 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 11915 0 0 0 8035 34 0 0 25 0 1 0 453922246 72851456 11566 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17786 11566 231 231 0 17555 0
vsize: 71144
[startup+90.7006 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 12651 0 0 0 9033 36 0 0 25 0 1 0 453922246 72990720 12302 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17820 12302 231 231 0 17589 0
vsize: 71280
[startup+100.701 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 12723 0 0 0 10033 37 0 0 25 0 1 0 453922246 73269248 12374 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17888 12374 231 231 0 17657 0
vsize: 71552
[startup+110.71 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 13641 0 0 0 11031 39 0 0 25 0 1 0 453922246 73564160 13292 4294967295 134512640 135450300 3221224640 3221223168 134544121 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 13292 231 231 0 17729 0
vsize: 71840
[startup+120.712 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15514
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 14054 0 0 0 12031 40 0 0 25 0 1 0 453922246 73834496 13705 4294967295 134512640 135450300 3221224640 3221223456 134537126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18026 13705 231 231 0 17795 0
vsize: 72104
[startup+130.712 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 14198 0 0 0 13030 41 0 0 25 0 1 0 453922246 74436608 13849 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18173 13849 231 231 0 17942 0
vsize: 72692
[startup+140.711 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 14411 0 0 0 14029 42 0 0 25 0 1 0 453922246 75034624 14062 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18319 14062 231 231 0 18088 0
vsize: 73276
[startup+150.712 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 14502 0 0 0 15029 42 0 0 25 0 1 0 453922246 75341824 14153 4294967295 134512640 135450300 3221224640 3221223120 134579996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18394 14153 231 231 0 18163 0
vsize: 73576
[startup+160.712 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 14581 0 0 0 16029 43 0 0 25 0 1 0 453922246 75751424 14232 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18494 14232 231 231 0 18263 0
vsize: 73976
[startup+170.712 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 15957 0 0 0 17026 46 0 0 25 0 1 0 453922246 76062720 15608 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18570 15608 231 231 0 18339 0
vsize: 74280
[startup+180.712 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 16038 0 0 0 18026 46 0 0 25 0 1 0 453922246 76496896 15689 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18676 15689 231 231 0 18445 0
vsize: 74704
[startup+190.712 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 16087 0 0 0 19025 47 0 0 25 0 1 0 453922246 76636160 15738 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18710 15738 231 231 0 18479 0
vsize: 74840
[startup+200.713 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 16446 0 0 0 20025 48 0 0 25 0 1 0 453922246 76955648 16097 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18788 16097 231 231 0 18557 0
vsize: 75152
[startup+210.712 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 16645 0 0 0 21024 49 0 0 25 0 1 0 453922246 76955648 16296 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18788 16296 231 231 0 18557 0
vsize: 75152
[startup+220.712 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 16723 0 0 0 22023 50 0 0 25 0 1 0 453922246 77234176 16374 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18856 16374 231 231 0 18625 0
vsize: 75424
[startup+230.712 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 16787 0 0 0 23023 50 0 0 25 0 1 0 453922246 77561856 16438 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18936 16438 231 231 0 18705 0
vsize: 75744
[startup+240.712 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17194 0 0 0 24022 51 0 0 25 0 1 0 453922246 77856768 16845 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19008 16845 231 231 0 18777 0
vsize: 76032
[startup+250.712 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17235 0 0 0 25022 51 0 0 25 0 1 0 453922246 78004224 16886 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19044 16886 231 231 0 18813 0
vsize: 76176
[startup+260.713 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17293 0 0 0 26022 52 0 0 25 0 1 0 453922246 78303232 16944 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19117 16944 231 231 0 18886 0
vsize: 76468
[startup+270.713 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17577 0 0 0 27020 53 0 0 25 0 1 0 453922246 78446592 17228 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19152 17228 231 231 0 18921 0
vsize: 76608
[startup+280.714 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17643 0 0 0 28020 54 0 0 25 0 1 0 453922246 78749696 17294 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19226 17294 231 231 0 18995 0
vsize: 76904
[startup+290.715 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17677 0 0 0 29020 54 0 0 25 0 1 0 453922246 78749696 17328 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19226 17328 231 231 0 18995 0
vsize: 76904
[startup+300.715 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17726 0 0 0 30020 55 0 0 25 0 1 0 453922246 79073280 17377 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19305 17377 231 231 0 19074 0
vsize: 77220
[startup+310.715 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17938 0 0 0 31019 55 0 0 25 0 1 0 453922246 79073280 17589 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19305 17589 231 231 0 19074 0
vsize: 77220
[startup+320.715 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 17993 0 0 0 32019 56 0 0 25 0 1 0 453922246 79396864 17644 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 17644 231 231 0 19153 0
vsize: 77536
[startup+330.715 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18032 0 0 0 33019 56 0 0 25 0 1 0 453922246 79544320 17683 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19420 17683 231 231 0 19189 0
vsize: 77680
[startup+340.716 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18608 0 0 0 34018 57 0 0 25 0 1 0 453922246 81281024 17874 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19844 17874 231 231 0 19613 0
vsize: 79376
[startup+350.716 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18626 0 0 0 35018 57 0 0 25 0 1 0 453922246 81281024 17892 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19844 17892 231 231 0 19613 0
vsize: 79376
[startup+360.717 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18695 0 0 0 36017 58 0 0 25 0 1 0 453922246 81592320 17961 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19920 17961 231 231 0 19689 0
vsize: 79680
[startup+370.716 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18806 0 0 0 37017 59 0 0 25 0 1 0 453922246 81592320 18072 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19920 18072 231 231 0 19689 0
vsize: 79680
[startup+380.717 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18832 0 0 0 38017 59 0 0 25 0 1 0 453922246 81731584 18098 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19954 18098 231 231 0 19723 0
vsize: 79816
[startup+390.717 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18876 0 0 0 39017 59 0 0 25 0 1 0 453922246 81895424 18142 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19994 18142 231 231 0 19763 0
vsize: 79976
[startup+400.718 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15516
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18896 0 0 0 40017 60 0 0 25 0 1 0 453922246 81895424 18162 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19994 18162 231 231 0 19763 0
vsize: 79976
[startup+410.718 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 18984 0 0 0 41016 61 0 0 25 0 1 0 453922246 82034688 18250 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20028 18250 231 231 0 19797 0
vsize: 80112
[startup+420.717 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19021 0 0 0 42015 61 0 0 25 0 1 0 453922246 82227200 18287 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20075 18287 231 231 0 19844 0
vsize: 80300
[startup+430.718 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19046 0 0 0 43015 62 0 0 25 0 1 0 453922246 82227200 18312 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20075 18312 231 231 0 19844 0
vsize: 80300
[startup+440.718 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19154 0 0 0 44015 62 0 0 25 0 1 0 453922246 82554880 18420 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20155 18420 231 231 0 19924 0
vsize: 80620
[startup+450.719 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19166 0 0 0 45015 62 0 0 25 0 1 0 453922246 82554880 18432 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20155 18432 231 231 0 19924 0
vsize: 80620
[startup+460.718 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19206 0 0 0 46015 63 0 0 25 0 1 0 453922246 82718720 18472 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20195 18472 231 231 0 19964 0
vsize: 80780
[startup+470.718 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19226 0 0 0 47014 63 0 0 25 0 1 0 453922246 82718720 18492 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20195 18492 231 231 0 19964 0
vsize: 80780
[startup+480.719 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19287 0 0 0 48014 64 0 0 25 0 1 0 453922246 82919424 18553 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20244 18553 231 231 0 20013 0
vsize: 80976
[startup+490.719 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19320 0 0 0 49014 64 0 0 25 0 1 0 453922246 83066880 18586 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20280 18586 231 231 0 20049 0
vsize: 81120
[startup+500.719 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19336 0 0 0 50014 64 0 0 25 0 1 0 453922246 83066880 18602 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20280 18602 231 231 0 20049 0
vsize: 81120
[startup+510.726 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19404 0 0 0 51015 64 0 0 25 0 1 0 453922246 83271680 18670 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20330 18670 231 231 0 20099 0
vsize: 81320
[startup+520.726 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19530 0 0 0 52014 65 0 0 25 0 1 0 453922246 83943424 18796 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20494 18796 231 231 0 20263 0
vsize: 81976
[startup+530.726 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19638 0 0 0 53014 66 0 0 25 0 1 0 453922246 84271104 18904 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20574 18904 231 231 0 20343 0
vsize: 82296
[startup+540.726 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19663 0 0 0 54014 66 0 0 25 0 1 0 453922246 84480000 18929 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20625 18929 231 231 0 20394 0
vsize: 82500
[startup+550.727 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19693 0 0 0 55013 67 0 0 25 0 1 0 453922246 84480000 18959 4294967295 134512640 135450300 3221224640 3221223116 134572369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20625 18959 231 231 0 20394 0
vsize: 82500
[startup+560.727 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19730 0 0 0 56013 67 0 0 25 0 1 0 453922246 84627456 18996 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20661 18996 231 231 0 20430 0
vsize: 82644
[startup+570.727 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19755 0 0 0 57013 67 0 0 25 0 1 0 453922246 84774912 19021 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20697 19021 231 231 0 20466 0
vsize: 82788
[startup+580.727 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19917 0 0 0 58013 68 0 0 25 0 1 0 453922246 85430272 19183 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20857 19183 231 231 0 20626 0
vsize: 83428
[startup+590.727 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19936 0 0 0 59013 68 0 0 25 0 1 0 453922246 85430272 19202 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20857 19202 231 231 0 20626 0
vsize: 83428
[startup+600.727 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19948 0 0 0 60012 68 0 0 25 0 1 0 453922246 85430272 19214 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20857 19214 231 231 0 20626 0
vsize: 83428
[startup+610.728 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19972 0 0 0 61012 69 0 0 25 0 1 0 453922246 85594112 19238 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20897 19238 231 231 0 20666 0
vsize: 83588
[startup+620.728 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19982 0 0 0 62012 69 0 0 25 0 1 0 453922246 85594112 19248 4294967295 134512640 135450300 3221224640 3221223120 134580004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20897 19248 231 231 0 20666 0
vsize: 83588
[startup+630.728 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 19993 0 0 0 63012 69 0 0 25 0 1 0 453922246 85594112 19259 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20897 19259 231 231 0 20666 0
vsize: 83588
[startup+640.728 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20006 0 0 0 64012 70 0 0 25 0 1 0 453922246 85594112 19272 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20897 19272 231 231 0 20666 0
vsize: 83588
[startup+650.729 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20021 0 0 0 65012 70 0 0 25 0 1 0 453922246 85778432 19287 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20942 19287 231 231 0 20711 0
vsize: 83768
[startup+660.73 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20039 0 0 0 66012 70 0 0 25 0 1 0 453922246 85778432 19305 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20942 19305 231 231 0 20711 0
vsize: 83768
[startup+670.73 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20053 0 0 0 67012 71 0 0 25 0 1 0 453922246 85778432 19319 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20942 19319 231 231 0 20711 0
vsize: 83768
[startup+680.73 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20067 0 0 0 68012 71 0 0 25 0 1 0 453922246 85778432 19333 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20942 19333 231 231 0 20711 0
vsize: 83768
[startup+690.73 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20079 0 0 0 69011 71 0 0 25 0 1 0 453922246 85975040 19345 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20990 19345 231 231 0 20759 0
vsize: 83960
[startup+700.731 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20113 0 0 0 70011 71 0 0 25 0 1 0 453922246 85975040 19379 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20990 19379 231 231 0 20759 0
vsize: 83960
[startup+710.731 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20129 0 0 0 71011 72 0 0 25 0 1 0 453922246 85975040 19395 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20990 19395 231 231 0 20759 0
vsize: 83960
[startup+720.73 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20139 0 0 0 72011 72 0 0 25 0 1 0 453922246 85975040 19405 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20990 19405 231 231 0 20759 0
vsize: 83960
[startup+730.731 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20155 0 0 0 73011 73 0 0 25 0 1 0 453922246 85975040 19421 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20990 19421 231 231 0 20759 0
vsize: 83960
[startup+740.731 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20166 0 0 0 74010 73 0 0 25 0 1 0 453922246 86212608 19432 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21048 19432 231 231 0 20817 0
vsize: 84192
[startup+750.732 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20195 0 0 0 75010 73 0 0 25 0 1 0 453922246 86212608 19461 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21048 19461 231 231 0 20817 0
vsize: 84192
[startup+760.732 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20237 0 0 0 76011 73 0 0 25 0 1 0 453922246 86376448 19503 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21088 19503 231 231 0 20857 0
vsize: 84352
[startup+770.732 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20255 0 0 0 77011 73 0 0 25 0 1 0 453922246 86376448 19521 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21088 19521 231 231 0 20857 0
vsize: 84352
[startup+780.733 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20306 0 0 0 78011 74 0 0 25 0 1 0 453922246 86540288 19572 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21128 19572 231 231 0 20897 0
vsize: 84512
[startup+790.734 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20338 0 0 0 79010 74 0 0 25 0 1 0 453922246 86786048 19604 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21188 19604 231 231 0 20957 0
vsize: 84752
[startup+800.734 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20353 0 0 0 80010 74 0 0 25 0 1 0 453922246 86786048 19619 4294967295 134512640 135450300 3221224640 3221223360 134535929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21188 19619 231 231 0 20957 0
vsize: 84752
[startup+810.734 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20364 0 0 0 81010 75 0 0 25 0 1 0 453922246 86786048 19630 4294967295 134512640 135450300 3221224640 3221223456 134547881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21188 19630 231 231 0 20957 0
vsize: 84752
[startup+820.734 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20374 0 0 0 82010 75 0 0 25 0 1 0 453922246 86786048 19640 4294967295 134512640 135450300 3221224640 3221223456 134537142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21188 19640 231 231 0 20957 0
vsize: 84752
[startup+830.735 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20396 0 0 0 83010 75 0 0 25 0 1 0 453922246 86786048 19662 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21188 19662 231 231 0 20957 0
vsize: 84752
[startup+840.735 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20407 0 0 0 84010 75 0 0 25 0 1 0 453922246 87035904 19673 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21249 19673 231 231 0 21018 0
vsize: 84996
[startup+850.736 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20445 0 0 0 85010 76 0 0 25 0 1 0 453922246 87035904 19711 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21249 19711 231 231 0 21018 0
vsize: 84996
[startup+860.737 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20455 0 0 0 86011 76 0 0 25 0 1 0 453922246 87035904 19721 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21249 19721 231 231 0 21018 0
vsize: 84996
[startup+870.737 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20476 0 0 0 87010 76 0 0 25 0 1 0 453922246 87035904 19742 4294967295 134512640 135450300 3221224640 3221223376 134538619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21249 19742 231 231 0 21018 0
vsize: 84996
[startup+880.736 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20488 0 0 0 88010 76 0 0 25 0 1 0 453922246 87035904 19754 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21249 19754 231 231 0 21018 0
vsize: 84996
[startup+890.736 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20700 0 0 0 89010 77 0 0 25 0 1 0 453922246 87035904 19966 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21249 19966 231 231 0 21018 0
vsize: 84996
[startup+900.737 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20715 0 0 0 90010 77 0 0 25 0 1 0 453922246 87293952 19981 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21312 19981 231 231 0 21081 0
vsize: 85248
[startup+910.737 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20735 0 0 0 91009 78 0 0 25 0 1 0 453922246 87293952 20001 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21312 20001 231 231 0 21081 0
vsize: 85248
[startup+920.736 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20745 0 0 0 92009 78 0 0 25 0 1 0 453922246 87293952 20011 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21312 20011 231 231 0 21081 0
vsize: 85248
[startup+930.737 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20762 0 0 0 93009 78 0 0 25 0 1 0 453922246 87293952 20028 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21312 20028 231 231 0 21081 0
vsize: 85248
[startup+940.737 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20771 0 0 0 94009 78 0 0 25 0 1 0 453922246 87293952 20037 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21312 20037 231 231 0 21081 0
vsize: 85248
[startup+950.738 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20785 0 0 0 95009 78 0 0 25 0 1 0 453922246 87433216 20051 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21346 20051 231 231 0 21115 0
vsize: 85384
[startup+960.739 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20795 0 0 0 96010 79 0 0 25 0 1 0 453922246 87433216 20061 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21346 20061 231 231 0 21115 0
vsize: 85384
[startup+970.738 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20816 0 0 0 97009 79 0 0 25 0 1 0 453922246 87433216 20082 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21346 20082 231 231 0 21115 0
vsize: 85384
[startup+980.739 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20830 0 0 0 98009 79 0 0 25 0 1 0 453922246 87433216 20096 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21346 20096 231 231 0 21115 0
vsize: 85384
[startup+990.739 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20841 0 0 0 99009 79 0 0 25 0 1 0 453922246 87433216 20107 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21346 20107 231 231 0 21115 0
vsize: 85384
[startup+1000.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20849 0 0 0 100009 80 0 0 25 0 1 0 453922246 87433216 20115 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21346 20115 231 231 0 21115 0
vsize: 85384
[startup+1010.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20876 0 0 0 101009 80 0 0 25 0 1 0 453922246 87744512 20142 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21422 20142 231 231 0 21191 0
vsize: 85688
[startup+1020.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20886 0 0 0 102009 81 0 0 25 0 1 0 453922246 87744512 20152 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21422 20152 231 231 0 21191 0
vsize: 85688
[startup+1030.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 20903 0 0 0 103009 81 0 0 25 0 1 0 453922246 87744512 20169 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21422 20169 231 231 0 21191 0
vsize: 85688
[startup+1040.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21692 0 0 0 104007 83 0 0 25 0 1 0 453922246 90890240 20189 4294967295 134512640 135450300 3221224640 3221223220 134622269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22190 20189 231 231 0 21959 0
vsize: 88760
[startup+1050.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21706 0 0 0 105007 83 0 0 25 0 1 0 453922246 90890240 20203 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22190 20203 231 231 0 21959 0
vsize: 88760
[startup+1060.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21724 0 0 0 106007 83 0 0 25 0 1 0 453922246 91037696 20221 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22226 20221 231 231 0 21995 0
vsize: 88904
[startup+1070.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21733 0 0 0 107007 83 0 0 25 0 1 0 453922246 91037696 20230 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22226 20230 231 231 0 21995 0
vsize: 88904
[startup+1080.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21743 0 0 0 108007 84 0 0 25 0 1 0 453922246 91037696 20240 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22226 20240 231 231 0 21995 0
vsize: 88904
[startup+1090.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21754 0 0 0 109006 84 0 0 25 0 1 0 453922246 91193344 20251 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22264 20251 231 231 0 22033 0
vsize: 89056
[startup+1100.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21802 0 0 0 110006 85 0 0 25 0 1 0 453922246 91357184 20299 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22304 20299 231 231 0 22073 0
vsize: 89216
[startup+1110.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21813 0 0 0 111006 85 0 0 25 0 1 0 453922246 91357184 20310 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22304 20310 231 231 0 22073 0
vsize: 89216
[startup+1120.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21831 0 0 0 112007 85 0 0 25 0 1 0 453922246 91357184 20328 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22304 20328 231 231 0 22073 0
vsize: 89216
[startup+1130.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21860 0 0 0 113007 85 0 0 25 0 1 0 453922246 91357184 20357 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22304 20357 231 231 0 22073 0
vsize: 89216
[startup+1140.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21883 0 0 0 114006 85 0 0 25 0 1 0 453922246 91521024 20380 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22344 20380 231 231 0 22113 0
vsize: 89376
[startup+1150.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21899 0 0 0 115006 86 0 0 25 0 1 0 453922246 91521024 20396 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22344 20396 231 231 0 22113 0
vsize: 89376
[startup+1160.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21923 0 0 0 116006 86 0 0 25 0 1 0 453922246 91684864 20420 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22384 20420 231 231 0 22153 0
vsize: 89536
[startup+1170.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21932 0 0 0 117006 86 0 0 25 0 1 0 453922246 91684864 20429 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22384 20429 231 231 0 22153 0
vsize: 89536
[startup+1180.74 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21948 0 0 0 118006 86 0 0 25 0 1 0 453922246 91848704 20445 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22424 20445 231 231 0 22193 0
vsize: 89696
[startup+1190.74 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 21959 0 0 0 119006 87 0 0 25 0 1 0 453922246 91848704 20456 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22424 20456 231 231 0 22193 0
vsize: 89696
[startup+1200.75 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 15518
Raw data (stat): 15461 (PBS4) R 15460 24215 24214 0 -1 0 22007 0 0 0 120005 88 0 0 25 0 1 0 453922246 91848704 20504 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22424 20504 231 231 0 22193 0
vsize: 89696
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.79 s]
Raw data (loadavg): 1.07 1.02 0.94 1/54 15518
Raw data (stat): 15461 (PBS4) Z 15460 24215 24214 0 -1 1036 22007 0 0 0 120005 91 0 0 25 0 1 0 453922246 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.79
CPU time (s): 1200.98
CPU user time (s): 1200.06
CPU system time (s): 0.91986
CPU usage (%): 100.016
Max. virtual memory (Kb): 89696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####