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-misc07.opb
MD5SUM	a3dd3cd7dd293e24bffaff8bb73da54c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1408128
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11486079
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	280
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	253
Trace number 18652

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        713856 kB
Buffers:         27960 kB
Cached:         270424 kB
SwapCached:          0 kB
Active:          37612 kB
Inactive:       263572 kB
HighTotal:      131008 kB
HighFree:        65996 kB
LowTotal:       903652 kB
LowFree:        647860 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6844 kB
Slab:            14024 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 16:16:57 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 17686 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-misc07.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.92 0.99 0.95 2/54 13809
Raw data (stat): 13809 (runsolver) R 13808 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488106239 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.94 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 826 0 0 0 994 5 0 0 25 0 1 0 488106239 5984256 822 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1461 822 231 231 0 1230 0
vsize: 5844
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 1394 0 0 0 1991 8 0 0 25 0 1 0 488106239 6590464 1341 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1609 1341 231 231 0 1378 0
vsize: 6436
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 2184 0 0 0 2986 12 0 0 25 0 1 0 488106239 11448320 2034 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 2034 231 231 0 2564 0
vsize: 11180
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 2470 0 0 0 3985 14 0 0 25 0 1 0 488106239 11730944 2320 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2864 2320 231 231 0 2633 0
vsize: 11456
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 2535 0 0 0 4984 15 0 0 25 0 1 0 488106239 12005376 2385 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2931 2385 231 231 0 2700 0
vsize: 11724
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 2902 0 0 0 5983 17 0 0 25 0 1 0 488106239 12283904 2752 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2752 231 231 0 2768 0
vsize: 11996
[startup+70.003 s]
Raw data (loadavg): 0.97 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 3141 0 0 0 6982 18 0 0 25 0 1 0 488106239 13205504 2798 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3224 2798 231 231 0 2993 0
vsize: 12896
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 3239 0 0 0 7981 19 0 0 25 0 1 0 488106239 13205504 2896 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3224 2896 231 231 0 2993 0
vsize: 12896
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 3808 0 0 0 8979 21 0 0 25 0 1 0 488106239 21868544 3465 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5339 3465 231 231 0 5108 0
vsize: 21356
[startup+100.004 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 4216 0 0 0 9976 24 0 0 25 0 1 0 488106239 22011904 3873 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5374 3873 231 231 0 5143 0
vsize: 21496
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 4449 0 0 0 10975 25 0 0 25 0 1 0 488106239 22167552 4106 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5412 4106 231 231 0 5181 0
vsize: 21648
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 4480 0 0 0 11975 26 0 0 25 0 1 0 488106239 22306816 4137 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5446 4137 231 231 0 5215 0
vsize: 21784
[startup+130.004 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 4526 0 0 0 12975 26 0 0 25 0 1 0 488106239 22446080 4183 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5480 4183 231 231 0 5249 0
vsize: 21920
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 4943 0 0 0 13973 28 0 0 25 0 1 0 488106239 22589440 4600 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5515 4600 231 231 0 5284 0
vsize: 22060
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 5080 0 0 0 14972 29 0 0 25 0 1 0 488106239 22724608 4737 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5548 4737 231 231 0 5317 0
vsize: 22192
[startup+160.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 5219 0 0 0 15971 30 0 0 25 0 1 0 488106239 22863872 4876 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5582 4876 231 231 0 5351 0
vsize: 22328
[startup+170.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 6143 0 0 0 16968 34 0 0 25 0 1 0 488106239 24576000 5415 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6000 5415 231 231 0 5769 0
vsize: 24000
[startup+180.004 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 13809
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 6610 0 0 0 17964 37 0 0 25 0 1 0 488106239 41648128 5882 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10168 5882 231 231 0 9937 0
vsize: 40672
[startup+190.006 s]
Raw data (loadavg): 0.99 0.99 0.95 3/57 13846
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 7007 0 0 0 18963 39 0 0 25 0 1 0 488106239 41795584 6279 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10204 6279 231 231 0 9973 0
vsize: 40816
[startup+200.007 s]
Raw data (loadavg): 1.07 1.01 0.96 2/54 13862
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 7320 0 0 0 19961 41 0 0 25 0 1 0 488106239 41934848 6592 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10238 6592 231 231 0 10007 0
vsize: 40952
[startup+210.006 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 13862
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 7363 0 0 0 20960 42 0 0 25 0 1 0 488106239 42098688 6635 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10278 6635 231 231 0 10047 0
vsize: 41112
[startup+220.007 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 13862
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 7403 0 0 0 21959 43 0 0 25 0 1 0 488106239 42098688 6675 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10278 6675 231 231 0 10047 0
vsize: 41112
[startup+230.007 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 13862
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 7752 0 0 0 22957 45 0 0 25 0 1 0 488106239 42401792 7024 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10352 7024 231 231 0 10121 0
vsize: 41408
[startup+240.008 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 13862
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 8212 0 0 0 23956 46 0 0 25 0 1 0 488106239 42557440 7484 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10390 7484 231 231 0 10159 0
vsize: 41560
[startup+250.007 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 13862
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 8510 0 0 0 24955 47 0 0 25 0 1 0 488106239 42704896 7782 4294967295 134512640 135450300 3221224640 3221223376 134538699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7782 231 231 0 10195 0
vsize: 41704
[startup+260.007 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 8926 0 0 0 25954 49 0 0 25 0 1 0 488106239 42852352 8198 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 8198 231 231 0 10231 0
vsize: 41848
[startup+270.008 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 9312 0 0 0 26952 50 0 0 25 0 1 0 488106239 43016192 8584 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10502 8584 231 231 0 10271 0
vsize: 42008
[startup+280.008 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 9746 0 0 0 27951 52 0 0 25 0 1 0 488106239 43163648 9018 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10538 9018 231 231 0 10307 0
vsize: 42152
[startup+290.008 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 10084 0 0 0 28950 53 0 0 25 0 1 0 488106239 43454464 9356 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10609 9356 231 231 0 10378 0
vsize: 42436
[startup+300.009 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 10390 0 0 0 29949 55 0 0 25 0 1 0 488106239 43589632 9662 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10642 9662 231 231 0 10411 0
vsize: 42568
[startup+310.008 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 10488 0 0 0 30948 56 0 0 25 0 1 0 488106239 44048384 9760 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 9760 231 231 0 10523 0
vsize: 43016
[startup+320.008 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 10611 0 0 0 31947 57 0 0 25 0 1 0 488106239 44212224 9883 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10794 9883 231 231 0 10563 0
vsize: 43176
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 11033 0 0 0 32946 58 0 0 25 0 1 0 488106239 44359680 10305 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10830 10305 231 231 0 10599 0
vsize: 43320
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 11455 0 0 0 33944 60 0 0 25 0 1 0 488106239 78209024 10727 4294967295 134512640 135450300 3221224640 3221223376 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19094 10727 231 231 0 18863 0
vsize: 76376
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 11760 0 0 0 34943 61 0 0 25 0 1 0 488106239 78209024 11032 4294967295 134512640 135450300 3221224640 3221223376 134538803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19094 11032 231 231 0 18863 0
vsize: 76376
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 12100 0 0 0 35942 62 0 0 25 0 1 0 488106239 78569472 11372 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19182 11372 231 231 0 18951 0
vsize: 76728
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 12467 0 0 0 36941 63 0 0 25 0 1 0 488106239 78733312 11739 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19222 11739 231 231 0 18991 0
vsize: 76888
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 12763 0 0 0 37941 64 0 0 25 0 1 0 488106239 78733312 12035 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19222 12035 231 231 0 18991 0
vsize: 76888
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13054 0 0 0 38940 65 0 0 25 0 1 0 488106239 78913536 12326 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19266 12326 231 231 0 19035 0
vsize: 77064
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13349 0 0 0 39939 67 0 0 25 0 1 0 488106239 79581184 12621 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 12621 231 231 0 19198 0
vsize: 77716
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13394 0 0 0 40938 68 0 0 25 0 1 0 488106239 79581184 12666 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 12666 231 231 0 19198 0
vsize: 77716
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13406 0 0 0 41938 68 0 0 25 0 1 0 488106239 79581184 12678 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 12678 231 231 0 19198 0
vsize: 77716
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13427 0 0 0 42937 69 0 0 25 0 1 0 488106239 79581184 12699 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 12699 231 231 0 19198 0
vsize: 77716
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13443 0 0 0 43937 69 0 0 25 0 1 0 488106239 79581184 12715 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 12715 231 231 0 19198 0
vsize: 77716
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13471 0 0 0 44937 69 0 0 25 0 1 0 488106239 79745024 12743 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19469 12743 231 231 0 19238 0
vsize: 77876
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13507 0 0 0 45937 70 0 0 25 0 1 0 488106239 79880192 12779 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19502 12779 231 231 0 19271 0
vsize: 78008
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13525 0 0 0 46936 71 0 0 25 0 1 0 488106239 79880192 12797 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19502 12797 231 231 0 19271 0
vsize: 78008
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13575 0 0 0 47935 72 0 0 25 0 1 0 488106239 80044032 12847 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19542 12847 231 231 0 19311 0
vsize: 78168
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13864
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13605 0 0 0 48935 72 0 0 25 0 1 0 488106239 80216064 12877 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19584 12877 231 231 0 19353 0
vsize: 78336
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13615 0 0 0 49935 72 0 0 25 0 1 0 488106239 80216064 12887 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19584 12887 231 231 0 19353 0
vsize: 78336
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 13629 0 0 0 50935 73 0 0 25 0 1 0 488106239 80216064 12901 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19584 12901 231 231 0 19353 0
vsize: 78336
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14408 0 0 0 51933 75 0 0 25 0 1 0 488106239 83361792 12911 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20352 12911 231 231 0 20121 0
vsize: 81408
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14430 0 0 0 52933 75 0 0 25 0 1 0 488106239 83361792 12933 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20352 12933 231 231 0 20121 0
vsize: 81408
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14439 0 0 0 53932 76 0 0 25 0 1 0 488106239 83361792 12942 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20352 12942 231 231 0 20121 0
vsize: 81408
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14467 0 0 0 54932 76 0 0 25 0 1 0 488106239 83525632 12970 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20392 12970 231 231 0 20161 0
vsize: 81568
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14483 0 0 0 55932 77 0 0 25 0 1 0 488106239 83525632 12986 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20392 12986 231 231 0 20161 0
vsize: 81568
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14511 0 0 0 56931 77 0 0 25 0 1 0 488106239 83689472 13014 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20432 13014 231 231 0 20201 0
vsize: 81728
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14519 0 0 0 57931 78 0 0 25 0 1 0 488106239 83689472 13022 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20432 13022 231 231 0 20201 0
vsize: 81728
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14554 0 0 0 58930 79 0 0 25 0 1 0 488106239 83853312 13057 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20472 13057 231 231 0 20241 0
vsize: 81888
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14579 0 0 0 59930 80 0 0 25 0 1 0 488106239 83853312 13082 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20472 13082 231 231 0 20241 0
vsize: 81888
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14624 0 0 0 60929 80 0 0 25 0 1 0 488106239 84017152 13127 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20512 13127 231 231 0 20281 0
vsize: 82048
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14658 0 0 0 61929 81 0 0 25 0 1 0 488106239 84213760 13161 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 13161 231 231 0 20329 0
vsize: 82240
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14666 0 0 0 62929 81 0 0 25 0 1 0 488106239 84213760 13169 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 13169 231 231 0 20329 0
vsize: 82240
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14698 0 0 0 63928 82 0 0 25 0 1 0 488106239 84377600 13201 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20600 13201 231 231 0 20369 0
vsize: 82400
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 14860 0 0 0 64927 83 0 0 25 0 1 0 488106239 84520960 13363 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20635 13363 231 231 0 20404 0
vsize: 82540
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15039 0 0 0 65927 84 0 0 25 0 1 0 488106239 84520960 13542 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20635 13542 231 231 0 20404 0
vsize: 82540
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15073 0 0 0 66927 84 0 0 25 0 1 0 488106239 84701184 13576 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20679 13576 231 231 0 20448 0
vsize: 82716
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15084 0 0 0 67926 85 0 0 25 0 1 0 488106239 84701184 13587 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20679 13587 231 231 0 20448 0
vsize: 82716
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15117 0 0 0 68926 85 0 0 25 0 1 0 488106239 84897792 13620 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20727 13620 231 231 0 20496 0
vsize: 82908
[startup+700.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15147 0 0 0 69925 86 0 0 25 0 1 0 488106239 85032960 13650 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20760 13650 231 231 0 20529 0
vsize: 83040
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15177 0 0 0 70925 86 0 0 25 0 1 0 488106239 85032960 13680 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20760 13680 231 231 0 20529 0
vsize: 83040
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15425 0 0 0 71925 87 0 0 25 0 1 0 488106239 85032960 13928 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20760 13928 231 231 0 20529 0
vsize: 83040
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15659 0 0 0 72923 88 0 0 25 0 1 0 488106239 85196800 14162 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20800 14162 231 231 0 20569 0
vsize: 83200
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 15985 0 0 0 73922 90 0 0 25 0 1 0 488106239 85196800 14488 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20800 14488 231 231 0 20569 0
vsize: 83200
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 16222 0 0 0 74921 92 0 0 25 0 1 0 488106239 85360640 14725 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20840 14725 231 231 0 20609 0
vsize: 83360
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 16497 0 0 0 75920 93 0 0 25 0 1 0 488106239 85360640 15000 4294967295 134512640 135450300 3221224640 3221223456 134536559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20840 15000 231 231 0 20609 0
vsize: 83360
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 16747 0 0 0 76919 94 0 0 25 0 1 0 488106239 85557248 15250 4294967295 134512640 135450300 3221224640 3221223344 134537525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20888 15250 231 231 0 20657 0
vsize: 83552
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 16789 0 0 0 77918 94 0 0 25 0 1 0 488106239 85557248 15292 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20888 15292 231 231 0 20657 0
vsize: 83552
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 16807 0 0 0 78919 94 0 0 25 0 1 0 488106239 85753856 15310 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20936 15310 231 231 0 20705 0
vsize: 83744
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 16942 0 0 0 79918 95 0 0 25 0 1 0 488106239 85753856 15445 4294967295 134512640 135450300 3221224640 3221223376 134538878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20936 15445 231 231 0 20705 0
vsize: 83744
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 17134 0 0 0 80917 96 0 0 25 0 1 0 488106239 85753856 15637 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20936 15637 231 231 0 20705 0
vsize: 83744
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 17393 0 0 0 81916 97 0 0 25 0 1 0 488106239 85753856 15896 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20936 15896 231 231 0 20705 0
vsize: 83744
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 17675 0 0 0 82916 98 0 0 25 0 1 0 488106239 85753856 16178 4294967295 134512640 135450300 3221224640 3221223376 134538759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20936 16178 231 231 0 20705 0
vsize: 83744
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 17899 0 0 0 83915 98 0 0 25 0 1 0 488106239 85753856 16402 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20936 16402 231 231 0 20705 0
vsize: 83744
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18200 0 0 0 84915 99 0 0 25 0 1 0 488106239 85950464 16703 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20984 16703 231 231 0 20753 0
vsize: 83936
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18481 0 0 0 85913 101 0 0 25 0 1 0 488106239 85950464 16984 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20984 16984 231 231 0 20753 0
vsize: 83936
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18649 0 0 0 86913 101 0 0 25 0 1 0 488106239 86106112 17152 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21022 17152 231 231 0 20791 0
vsize: 84088
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18683 0 0 0 87913 102 0 0 25 0 1 0 488106239 86331392 17186 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 17186 231 231 0 20846 0
vsize: 84308
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18703 0 0 0 88912 102 0 0 25 0 1 0 488106239 86331392 17206 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 17206 231 231 0 20846 0
vsize: 84308
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18715 0 0 0 89912 103 0 0 25 0 1 0 488106239 86331392 17218 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 17218 231 231 0 20846 0
vsize: 84308
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18737 0 0 0 90912 103 0 0 25 0 1 0 488106239 86331392 17240 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 17240 231 231 0 20846 0
vsize: 84308
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18782 0 0 0 91912 104 0 0 25 0 1 0 488106239 86495232 17285 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21117 17285 231 231 0 20886 0
vsize: 84468
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18805 0 0 0 92911 104 0 0 25 0 1 0 488106239 86691840 17308 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21165 17308 231 231 0 20934 0
vsize: 84660
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18828 0 0 0 93911 105 0 0 25 0 1 0 488106239 86691840 17331 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21165 17331 231 231 0 20934 0
vsize: 84660
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 18874 0 0 0 94911 105 0 0 25 0 1 0 488106239 86839296 17377 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21201 17377 231 231 0 20970 0
vsize: 84804
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19086 0 0 0 95910 106 0 0 25 0 1 0 488106239 87035904 17589 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21249 17589 231 231 0 21018 0
vsize: 84996
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19093 0 0 0 96910 106 0 0 25 0 1 0 488106239 87035904 17596 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21249 17596 231 231 0 21018 0
vsize: 84996
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19100 0 0 0 97910 107 0 0 25 0 1 0 488106239 87035904 17603 4294967295 134512640 135450300 3221224640 3221223376 134538761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21249 17603 231 231 0 21018 0
vsize: 84996
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19338 0 0 0 98909 107 0 0 25 0 1 0 488106239 87035904 17841 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21249 17841 231 231 0 21018 0
vsize: 84996
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19494 0 0 0 99909 108 0 0 25 0 1 0 488106239 87035904 17997 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21249 17997 231 231 0 21018 0
vsize: 84996
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19638 0 0 0 100908 109 0 0 25 0 1 0 488106239 87035904 18141 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21249 18141 231 231 0 21018 0
vsize: 84996
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19902 0 0 0 101907 110 0 0 25 0 1 0 488106239 87199744 18405 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21289 18405 231 231 0 21058 0
vsize: 85156
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 19997 0 0 0 102907 111 0 0 25 0 1 0 488106239 87199744 18500 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21289 18500 231 231 0 21058 0
vsize: 85156
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 20112 0 0 0 103907 111 0 0 25 0 1 0 488106239 87199744 18615 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21289 18615 231 231 0 21058 0
vsize: 85156
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 20355 0 0 0 104906 113 0 0 25 0 1 0 488106239 87199744 18858 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21289 18858 231 231 0 21058 0
vsize: 85156
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 20628 0 0 0 105905 113 0 0 25 0 1 0 488106239 87396352 19131 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21337 19131 231 231 0 21106 0
vsize: 85348
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 20821 0 0 0 106904 114 0 0 25 0 1 0 488106239 87592960 19324 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21385 19324 231 231 0 21154 0
vsize: 85540
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 21151 0 0 0 107903 115 0 0 25 0 1 0 488106239 87592960 19654 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21385 19654 231 231 0 21154 0
vsize: 85540
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 21443 0 0 0 108902 117 0 0 25 0 1 0 488106239 87924736 19946 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21466 19946 231 231 0 21235 0
vsize: 85864
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 21573 0 0 0 109902 117 0 0 25 0 1 0 488106239 87924736 20076 4294967295 134512640 135450300 3221224640 3221223376 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21466 20076 231 231 0 21235 0
vsize: 85864
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 21812 0 0 0 110901 119 0 0 25 0 1 0 488106239 88371200 20315 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21575 20315 231 231 0 21344 0
vsize: 86300
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22148 0 0 0 111900 120 0 0 25 0 1 0 488106239 155480064 20651 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37959 20651 231 231 0 37728 0
vsize: 151836
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22308 0 0 0 112899 121 0 0 25 0 1 0 488106239 155480064 20811 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37959 20811 231 231 0 37728 0
vsize: 151836
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22342 0 0 0 113899 121 0 0 25 0 1 0 488106239 155480064 20845 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37959 20845 231 231 0 37728 0
vsize: 151836
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22348 0 0 0 114899 122 0 0 25 0 1 0 488106239 155480064 20851 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37959 20851 231 231 0 37728 0
vsize: 151836
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22370 0 0 0 115898 122 0 0 25 0 1 0 488106239 155643904 20873 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37999 20873 231 231 0 37768 0
vsize: 151996
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22398 0 0 0 116898 122 0 0 25 0 1 0 488106239 155779072 20901 4294967295 134512640 135450300 3221224640 3221223456 134537302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38032 20901 231 231 0 37801 0
vsize: 152128
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22412 0 0 0 117898 123 0 0 25 0 1 0 488106239 155779072 20915 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38032 20915 231 231 0 37801 0
vsize: 152128
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22426 0 0 0 118897 124 0 0 25 0 1 0 488106239 155779072 20929 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38032 20929 231 231 0 37801 0
vsize: 152128
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 13866
Raw data (stat): 13809 (PBS4) R 13808 10720 10719 0 -1 0 22435 0 0 0 119897 124 0 0 25 0 1 0 488106239 155779072 20938 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38032 20938 231 231 0 37801 0
vsize: 152128
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 13866
Raw data (stat): 13809 (PBS4) Z 13808 10720 10719 0 -1 1036 22435 0 0 0 119897 128 0 0 25 0 1 0 488106239 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.26
CPU user time (s): 1198.98
CPU system time (s): 1.2848
CPU usage (%): 100.015
Max. virtual memory (Kb): 152128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####