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/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUM	ed1ca962177baf0f135b785abad8adea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	1150
Total number of constraints	80072
Number of constraints which are clauses	80072
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 7905

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-17 17:05:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3003 boxname=wulflinc25 idbench=334 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ed1ca962177baf0f135b785abad8adea  /oldhome/oroussel/tmp/wulflinc25/normalized-frb50-23-1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-frb50-23-1.opb
IDLAUNCH: 3003
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        790592 kB
Buffers:         36520 kB
Cached:         171184 kB
SwapCached:         36 kB
Active:          74536 kB
Inactive:       136028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        790340 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            27788 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:25:17 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 3003 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-frb50-23-1.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.85 0.97 0.91 2/54 22637
Raw data (stat): 22637 (runsolver) R 22636 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512187493 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.0003 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 22637
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 3879 0 0 0 989 10 0 0 25 0 1 0 512187493 22642688 3145 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5528 3145 231 231 0 5297 0
vsize: 22112
[startup+19.9996 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 22637
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 5962 0 0 0 1983 16 0 0 25 0 1 0 512187493 39419904 5228 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9624 5228 231 231 0 9393 0
vsize: 38496
[startup+30.0005 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 22637
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 7801 0 0 0 2979 20 0 0 25 0 1 0 512187493 39567360 7067 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9660 7067 231 231 0 9429 0
vsize: 38640
[startup+40.0001 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 22637
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 9675 0 0 0 3974 24 0 0 25 0 1 0 512187493 39841792 8941 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9727 8941 231 231 0 9496 0
vsize: 38908
[startup+50.0005 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 22637
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 11804 0 0 0 4971 28 0 0 25 0 1 0 512187493 73396224 11070 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17919 11070 231 231 0 17688 0
vsize: 71676
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22637
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 13602 0 0 0 5966 33 0 0 25 0 1 0 512187493 73531392 12868 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17952 12868 231 231 0 17721 0
vsize: 71808
[startup+70.0001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22637
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 15046 0 0 0 6962 37 0 0 25 0 1 0 512187493 73674752 14312 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17987 14312 231 231 0 17756 0
vsize: 71948
[startup+80.0004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 16091 0 0 0 7960 39 0 0 25 0 1 0 512187493 73674752 15357 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17987 15357 231 231 0 17756 0
vsize: 71948
[startup+90.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 17246 0 0 0 8957 43 0 0 25 0 1 0 512187493 73822208 16512 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18023 16512 231 231 0 17792 0
vsize: 72092
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 18818 0 0 0 9953 47 0 0 25 0 1 0 512187493 141484032 18084 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34542 18084 231 231 0 34311 0
vsize: 138168
[startup+110.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 20309 0 0 0 10949 51 0 0 25 0 1 0 512187493 142069760 19575 4294967295 134512640 135450300 3221224640 3221223104 134532777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34685 19575 231 231 0 34454 0
vsize: 138740
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 21770 0 0 0 11946 55 0 0 25 0 1 0 512187493 142528512 21036 4294967295 134512640 135450300 3221224640 3221223104 134532865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34797 21036 231 231 0 34566 0
vsize: 139188
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 22780 0 0 0 12944 57 0 0 25 0 1 0 512187493 142958592 22046 4294967295 134512640 135450300 3221224640 3221222944 134844364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34902 22046 231 231 0 34671 0
vsize: 139608
[startup+140.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 22871 0 0 0 13943 57 0 0 25 0 1 0 512187493 143392768 22137 4294967295 134512640 135450300 3221224640 3221223024 134579458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35008 22137 231 231 0 34777 0
vsize: 140032
[startup+150.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 22931 0 0 0 14943 58 0 0 25 0 1 0 512187493 143683584 22197 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35079 22197 231 231 0 34848 0
vsize: 140316
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 23405 0 0 0 15942 59 0 0 25 0 1 0 512187493 143822848 22671 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35113 22671 231 231 0 34882 0
vsize: 140452
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 24989 0 0 0 16938 63 0 0 25 0 1 0 512187493 143958016 24255 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35146 24255 231 231 0 34915 0
vsize: 140584
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 25146 0 0 0 17937 64 0 0 25 0 1 0 512187493 144740352 24412 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35337 24412 231 231 0 35106 0
vsize: 141348
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 25185 0 0 0 18937 65 0 0 25 0 1 0 512187493 144887808 24451 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35373 24451 231 231 0 35142 0
vsize: 141492
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 25190 0 0 0 19937 65 0 0 25 0 1 0 512187493 144887808 24456 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35373 24456 231 231 0 35142 0
vsize: 141492
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 25244 0 0 0 20936 66 0 0 25 0 1 0 512187493 145051648 24510 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35413 24510 231 231 0 35182 0
vsize: 141652
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 26496 0 0 0 21934 68 0 0 25 0 1 0 512187493 146104320 25762 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35670 25762 231 231 0 35439 0
vsize: 142680
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 26993 0 0 0 22933 69 0 0 25 0 1 0 512187493 146239488 26259 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35703 26259 231 231 0 35472 0
vsize: 142812
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 26998 0 0 0 23933 69 0 0 25 0 1 0 512187493 146239488 26264 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35703 26264 231 231 0 35472 0
vsize: 142812
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 27053 0 0 0 24933 70 0 0 25 0 1 0 512187493 146386944 26319 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35739 26319 231 231 0 35508 0
vsize: 142956
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 27112 0 0 0 25933 70 0 0 25 0 1 0 512187493 146673664 26378 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35809 26378 231 231 0 35578 0
vsize: 143236
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 27490 0 0 0 26932 71 0 0 25 0 1 0 512187493 146812928 26756 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35843 26757 231 231 0 35612 0
vsize: 143372
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 28536 0 0 0 27930 74 0 0 25 0 1 0 512187493 147083264 27802 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35909 27802 231 231 0 35678 0
vsize: 143636
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 29932 0 0 0 28927 76 0 0 25 0 1 0 512187493 147083264 29198 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35909 29198 231 231 0 35678 0
vsize: 143636
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 29969 0 0 0 29927 77 0 0 25 0 1 0 512187493 147218432 29235 4294967295 134512640 135450300 3221224640 3221222944 134844220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35942 29235 231 231 0 35711 0
vsize: 143768
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 30012 0 0 0 30927 77 0 0 25 0 1 0 512187493 147353600 29278 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35975 29278 231 231 0 35744 0
vsize: 143900
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 30111 0 0 0 31926 78 0 0 25 0 1 0 512187493 147775488 29377 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36078 29377 231 231 0 35847 0
vsize: 144312
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 30137 0 0 0 32926 79 0 0 25 0 1 0 512187493 147775488 29403 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36078 29403 231 231 0 35847 0
vsize: 144312
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 30205 0 0 0 33925 79 0 0 25 0 1 0 512187493 148070400 29471 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36150 29471 231 231 0 35919 0
vsize: 144600
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 30682 0 0 0 34924 80 0 0 25 0 1 0 512187493 148381696 29948 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36226 29948 231 231 0 35995 0
vsize: 144904
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31434 0 0 0 35923 82 0 0 25 0 1 0 512187493 148381696 30700 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36226 30700 231 231 0 35995 0
vsize: 144904
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31471 0 0 0 36923 82 0 0 25 0 1 0 512187493 148529152 30737 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36262 30737 231 231 0 36031 0
vsize: 145048
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31511 0 0 0 37923 82 0 0 25 0 1 0 512187493 148840448 30777 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36338 30777 231 231 0 36107 0
vsize: 145352
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31514 0 0 0 38923 82 0 0 25 0 1 0 512187493 148840448 30780 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36338 30780 231 231 0 36107 0
vsize: 145352
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31558 0 0 0 39923 83 0 0 25 0 1 0 512187493 149004288 30824 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36378 30824 231 231 0 36147 0
vsize: 145512
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31587 0 0 0 40923 83 0 0 25 0 1 0 512187493 149004288 30853 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36378 30853 231 231 0 36147 0
vsize: 145512
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31596 0 0 0 41923 83 0 0 25 0 1 0 512187493 149151744 30862 4294967295 134512640 135450300 3221224640 3221223456 134547513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36414 30862 231 231 0 36183 0
vsize: 145656
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 31854 0 0 0 42923 84 0 0 25 0 1 0 512187493 149299200 31120 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36450 31120 231 231 0 36219 0
vsize: 145800
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 32499 0 0 0 43921 86 0 0 25 0 1 0 512187493 149434368 31765 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36483 31765 231 231 0 36252 0
vsize: 145932
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 32503 0 0 0 44921 86 0 0 25 0 1 0 512187493 149434368 31769 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36483 31769 231 231 0 36252 0
vsize: 145932
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 32552 0 0 0 45921 86 0 0 25 0 1 0 512187493 149729280 31818 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36555 31818 231 231 0 36324 0
vsize: 146220
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 32584 0 0 0 46921 86 0 0 25 0 1 0 512187493 149864448 31850 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36588 31850 231 231 0 36357 0
vsize: 146352
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 32614 0 0 0 47921 87 0 0 25 0 1 0 512187493 150003712 31880 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36622 31880 231 231 0 36391 0
vsize: 146488
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 32682 0 0 0 48921 87 0 0 25 0 1 0 512187493 150294528 31948 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36693 31948 231 231 0 36462 0
vsize: 146772
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 32719 0 0 0 49921 87 0 0 25 0 1 0 512187493 150446080 31985 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36730 31985 231 231 0 36499 0
vsize: 146920
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 33322 0 0 0 50919 89 0 0 25 0 1 0 512187493 150446080 32588 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36730 32588 231 231 0 36499 0
vsize: 146920
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 33366 0 0 0 51920 89 0 0 25 0 1 0 512187493 150609920 32632 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36770 32632 231 231 0 36539 0
vsize: 147080
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 33412 0 0 0 52919 89 0 0 25 0 1 0 512187493 150745088 32678 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36803 32678 231 231 0 36572 0
vsize: 147212
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 33456 0 0 0 53919 89 0 0 25 0 1 0 512187493 151031808 32722 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36873 32722 231 231 0 36642 0
vsize: 147492
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 33459 0 0 0 54919 90 0 0 25 0 1 0 512187493 151031808 32725 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36873 32725 231 231 0 36642 0
vsize: 147492
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 33539 0 0 0 55919 90 0 0 25 0 1 0 512187493 151330816 32805 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36946 32805 231 231 0 36715 0
vsize: 147784
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 33599 0 0 0 56919 90 0 0 25 0 1 0 512187493 151625728 32865 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37018 32865 231 231 0 36787 0
vsize: 148072
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34065 0 0 0 57918 91 0 0 25 0 1 0 512187493 151625728 33331 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37018 33331 231 231 0 36787 0
vsize: 148072
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34108 0 0 0 58918 92 0 0 25 0 1 0 512187493 151625728 33374 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37018 33374 231 231 0 36787 0
vsize: 148072
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34155 0 0 0 59918 92 0 0 25 0 1 0 512187493 151949312 33421 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37097 33421 231 231 0 36866 0
vsize: 148388
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34198 0 0 0 60918 92 0 0 25 0 1 0 512187493 152096768 33464 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37133 33464 231 231 0 36902 0
vsize: 148532
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34214 0 0 0 61918 93 0 0 25 0 1 0 512187493 152096768 33480 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37133 33480 231 231 0 36902 0
vsize: 148532
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34236 0 0 0 62918 93 0 0 25 0 1 0 512187493 152096768 33502 4294967295 134512640 135450300 3221224640 3221223120 134580023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37133 33502 231 231 0 36902 0
vsize: 148532
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34280 0 0 0 63917 93 0 0 25 0 1 0 512187493 152391680 33546 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37205 33546 231 231 0 36974 0
vsize: 148820
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34586 0 0 0 64917 94 0 0 25 0 1 0 512187493 152391680 33852 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37205 33852 231 231 0 36974 0
vsize: 148820
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34613 0 0 0 65917 94 0 0 25 0 1 0 512187493 152526848 33879 4294967295 134512640 135450300 3221224640 3221223376 134538528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37238 33879 231 231 0 37007 0
vsize: 148952
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34641 0 0 0 66916 95 0 0 25 0 1 0 512187493 152690688 33907 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37278 33907 231 231 0 37047 0
vsize: 149112
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34643 0 0 0 67916 95 0 0 25 0 1 0 512187493 152690688 33909 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37278 33909 231 231 0 37047 0
vsize: 149112
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34672 0 0 0 68916 95 0 0 25 0 1 0 512187493 152858624 33938 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37319 33938 231 231 0 37088 0
vsize: 149276
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34710 0 0 0 69916 95 0 0 25 0 1 0 512187493 152858624 33976 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37319 33976 231 231 0 37088 0
vsize: 149276
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34741 0 0 0 70916 96 0 0 25 0 1 0 512187493 153006080 34007 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37355 34007 231 231 0 37124 0
vsize: 149420
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34960 0 0 0 71915 97 0 0 25 0 1 0 512187493 153006080 34226 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37355 34226 231 231 0 37124 0
vsize: 149420
[startup+730.009 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 34997 0 0 0 72915 98 0 0 25 0 1 0 512187493 153325568 34263 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37433 34263 231 231 0 37202 0
vsize: 149732
[startup+740.008 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35004 0 0 0 73915 98 0 0 25 0 1 0 512187493 153325568 34270 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37433 34270 231 231 0 37202 0
vsize: 149732
[startup+750.009 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35028 0 0 0 74915 98 0 0 25 0 1 0 512187493 153325568 34294 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37433 34294 231 231 0 37202 0
vsize: 149732
[startup+760.01 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35031 0 0 0 75915 98 0 0 25 0 1 0 512187493 153325568 34297 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37433 34297 231 231 0 37202 0
vsize: 149732
[startup+770.009 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35068 0 0 0 76914 99 0 0 25 0 1 0 512187493 153489408 34334 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37473 34334 231 231 0 37242 0
vsize: 149892
[startup+780.009 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35093 0 0 0 77914 99 0 0 25 0 1 0 512187493 153653248 34359 4294967295 134512640 135450300 3221224640 3221223104 134532542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37513 34359 231 231 0 37282 0
vsize: 150052
[startup+790.009 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35254 0 0 0 78914 100 0 0 25 0 1 0 512187493 153653248 34520 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37513 34520 231 231 0 37282 0
vsize: 150052
[startup+800.01 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35268 0 0 0 79914 100 0 0 25 0 1 0 512187493 153812992 34534 4294967295 134512640 135450300 3221224640 3221223472 134549500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37552 34534 231 231 0 37321 0
vsize: 150208
[startup+810.011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35311 0 0 0 80914 100 0 0 25 0 1 0 512187493 153960448 34577 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37588 34577 231 231 0 37357 0
vsize: 150352
[startup+820.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35314 0 0 0 81914 100 0 0 25 0 1 0 512187493 153960448 34580 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37588 34580 231 231 0 37357 0
vsize: 150352
[startup+830.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35349 0 0 0 82914 101 0 0 25 0 1 0 512187493 154124288 34615 4294967295 134512640 135450300 3221224640 3221223248 134537648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37628 34615 231 231 0 37397 0
vsize: 150512
[startup+840.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35385 0 0 0 83914 101 0 0 25 0 1 0 512187493 154284032 34651 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37667 34651 231 231 0 37436 0
vsize: 150668
[startup+850.011 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35402 0 0 0 84914 101 0 0 25 0 1 0 512187493 154284032 34668 4294967295 134512640 135450300 3221224640 3221223116 134571791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37667 34668 231 231 0 37436 0
vsize: 150668
[startup+860.011 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35529 0 0 0 85913 101 0 0 25 0 1 0 512187493 154284032 34795 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37667 34795 231 231 0 37436 0
vsize: 150668
[startup+870.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35544 0 0 0 86913 102 0 0 25 0 1 0 512187493 154284032 34810 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37667 34810 231 231 0 37436 0
vsize: 150668
[startup+880.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35570 0 0 0 87913 102 0 0 25 0 1 0 512187493 154583040 34836 4294967295 134512640 135450300 3221224640 3221223456 134547026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37740 34836 231 231 0 37509 0
vsize: 150960
[startup+890.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35574 0 0 0 88913 102 0 0 25 0 1 0 512187493 154583040 34840 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37740 34840 231 231 0 37509 0
vsize: 150960
[startup+900.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35595 0 0 0 89913 103 0 0 25 0 1 0 512187493 154583040 34861 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37740 34861 231 231 0 37509 0
vsize: 150960
[startup+910.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35604 0 0 0 90913 103 0 0 25 0 1 0 512187493 154583040 34870 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37740 34870 231 231 0 37509 0
vsize: 150960
[startup+920.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35613 0 0 0 91913 103 0 0 25 0 1 0 512187493 154583040 34879 4294967295 134512640 135450300 3221224640 3221223376 134538490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37740 34879 231 231 0 37509 0
vsize: 150960
[startup+930.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35634 0 0 0 92913 103 0 0 25 0 1 0 512187493 154730496 34900 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37776 34900 231 231 0 37545 0
vsize: 151104
[startup+940.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35739 0 0 0 93913 104 0 0 25 0 1 0 512187493 154886144 35005 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37814 35005 231 231 0 37583 0
vsize: 151256
[startup+950.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35742 0 0 0 94913 104 0 0 25 0 1 0 512187493 154886144 35008 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37814 35008 231 231 0 37583 0
vsize: 151256
[startup+960.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 35769 0 0 0 95913 104 0 0 25 0 1 0 512187493 154886144 35035 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37814 35035 231 231 0 37583 0
vsize: 151256
[startup+970.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36580 0 0 0 96911 106 0 0 25 0 1 0 512187493 158359552 35077 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38662 35077 231 231 0 38431 0
vsize: 154648
[startup+980.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36594 0 0 0 97911 106 0 0 25 0 1 0 512187493 158359552 35091 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38662 35091 231 231 0 38431 0
vsize: 154648
[startup+990.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36598 0 0 0 98912 106 0 0 25 0 1 0 512187493 158359552 35095 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38662 35095 231 231 0 38431 0
vsize: 154648
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36638 0 0 0 99912 106 0 0 25 0 1 0 512187493 158507008 35135 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38698 35135 231 231 0 38467 0
vsize: 154792
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36749 0 0 0 100911 107 0 0 25 0 1 0 512187493 158654464 35246 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38734 35246 231 231 0 38503 0
vsize: 154936
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36752 0 0 0 101911 107 0 0 25 0 1 0 512187493 158654464 35249 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38734 35249 231 231 0 38503 0
vsize: 154936
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36766 0 0 0 102911 107 0 0 25 0 1 0 512187493 158797824 35263 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38769 35263 231 231 0 38538 0
vsize: 155076
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36810 0 0 0 103911 108 0 0 25 0 1 0 512187493 158937088 35307 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38803 35307 231 231 0 38572 0
vsize: 155212
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36831 0 0 0 104911 108 0 0 25 0 1 0 512187493 159084544 35328 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38839 35328 231 231 0 38608 0
vsize: 155356
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36833 0 0 0 105911 108 0 0 25 0 1 0 512187493 159084544 35330 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38839 35330 231 231 0 38608 0
vsize: 155356
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36846 0 0 0 106910 109 0 0 25 0 1 0 512187493 159084544 35343 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38839 35343 231 231 0 38608 0
vsize: 155356
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36913 0 0 0 107910 109 0 0 25 0 1 0 512187493 159248384 35410 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38879 35410 231 231 0 38648 0
vsize: 155516
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36916 0 0 0 108910 109 0 0 25 0 1 0 512187493 159248384 35413 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38879 35413 231 231 0 38648 0
vsize: 155516
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36928 0 0 0 109910 110 0 0 25 0 1 0 512187493 159248384 35425 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38879 35425 231 231 0 38648 0
vsize: 155516
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36948 0 0 0 110910 110 0 0 25 0 1 0 512187493 159248384 35445 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38879 35445 231 231 0 38648 0
vsize: 155516
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36952 0 0 0 111910 110 0 0 25 0 1 0 512187493 159248384 35449 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38879 35449 231 231 0 38648 0
vsize: 155516
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 36978 0 0 0 112910 110 0 0 25 0 1 0 512187493 159412224 35475 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38919 35475 231 231 0 38688 0
vsize: 155676
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 37010 0 0 0 113910 110 0 0 25 0 1 0 512187493 159576064 35507 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38959 35507 231 231 0 38728 0
vsize: 155836
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 37046 0 0 0 114910 111 0 0 25 0 1 0 512187493 159576064 35543 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38959 35543 231 231 0 38728 0
vsize: 155836
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 37152 0 0 0 115910 111 0 0 25 0 1 0 512187493 160055296 35649 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39076 35649 231 231 0 38845 0
vsize: 156304
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 37178 0 0 0 116910 111 0 0 25 0 1 0 512187493 160219136 35675 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39116 35675 231 231 0 38885 0
vsize: 156464
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 37242 0 0 0 117910 112 0 0 25 0 1 0 512187493 160382976 35739 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39156 35739 231 231 0 38925 0
vsize: 156624
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 37317 0 0 0 118909 112 0 0 25 0 1 0 512187493 160710656 35814 4294967295 134512640 135450300 3221224640 3221223084 134579555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39236 35814 231 231 0 39005 0
vsize: 156944
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22639
Raw data (stat): 22637 (PBS4) R 22636 28099 28098 0 -1 0 37337 0 0 0 119910 112 0 0 25 0 1 0 512187493 160874496 35834 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39276 35834 231 231 0 39045 0
vsize: 157104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 22639
Raw data (stat): 22637 (PBS4) Z 22636 28099 28098 0 -1 1036 37337 0 0 0 119910 119 0 0 25 0 1 0 512187493 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.08
CPU time (s): 1200.29
CPU user time (s): 1199.1
CPU system time (s): 1.19282
CPU usage (%): 100.018
Max. virtual memory (Kb): 157104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####