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/submitted/manquinho/ttp/normalized-data10_3.opb
MD5SUM	4a63b686be1696a2915c6e312773fbad
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	81744
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	559660
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	559660
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.07
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 7868

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-17 16:43:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2337 boxname=wulflinc2 idbench=260 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4a63b686be1696a2915c6e312773fbad  /oldhome/oroussel/tmp/wulflinc2/normalized-data10_3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-data10_3.opb
IDLAUNCH: 2337
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        845136 kB
Buffers:         36780 kB
Cached:         130156 kB
SwapCached:          4 kB
Active:          69396 kB
Inactive:       100428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        844884 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13960 kB
Committed_AS:    71640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:03:27 (client local time) WITH STATUS 0 IN 1200.61 SECONDS
stats: 2337 7 1200.61 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-data10_3.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.95 0.90 2/54 12657
Raw data (stat): 12657 (runsolver) R 12656 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453826942 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 2968 0 0 0 986 12 0 0 25 0 1 0 453826942 12320768 2451 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3008 2451 231 231 0 2777 0
vsize: 12032
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.95 0.90 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 3159 0 0 0 1982 16 0 0 25 0 1 0 453826942 12587008 2642 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 2642 231 231 0 2842 0
vsize: 12292
[startup+30.0005 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 3291 0 0 0 2977 22 0 0 25 0 1 0 453826942 12853248 2774 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3138 2774 231 231 0 2907 0
vsize: 12552
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 3424 0 0 0 3972 26 0 0 25 0 1 0 453826942 15081472 2907 4294967295 134512640 135450300 3221224640 3221223484 134537808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3682 2907 231 231 0 3451 0
vsize: 14728
[startup+50.0009 s]
Raw data (loadavg): 0.93 0.96 0.90 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 3562 0 0 0 4969 30 0 0 25 0 1 0 453826942 15351808 3045 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3748 3045 231 231 0 3517 0
vsize: 14992
[startup+60.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 3686 0 0 0 5965 34 0 0 25 0 1 0 453826942 15486976 3169 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3781 3169 231 231 0 3550 0
vsize: 15124
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 3805 0 0 0 6960 39 0 0 25 0 1 0 453826942 15622144 3288 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3288 231 231 0 3583 0
vsize: 15256
[startup+80.102 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 3934 0 0 0 7965 45 0 0 25 0 1 0 453826942 15900672 3417 4294967295 134512640 135450300 3221224640 3221223580 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3882 3417 231 231 0 3651 0
vsize: 15528
[startup+90.1016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4068 0 0 0 8958 52 0 0 25 0 1 0 453826942 16035840 3551 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3915 3551 231 231 0 3684 0
vsize: 15660
[startup+100.101 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4123 0 0 0 9952 57 0 0 25 0 1 0 453826942 16035840 3606 4294967295 134512640 135450300 3221224640 3221223248 134537662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3915 3606 231 231 0 3684 0
vsize: 15660
[startup+110.101 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4155 0 0 0 10943 67 0 0 25 0 1 0 453826942 16171008 3638 4294967295 134512640 135450300 3221224640 3221222992 134533173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3638 231 231 0 3717 0
vsize: 15792
[startup+120.101 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4172 0 0 0 11935 75 0 0 25 0 1 0 453826942 16171008 3655 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3655 231 231 0 3717 0
vsize: 15792
[startup+130.101 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4391 0 0 0 12928 82 0 0 25 0 1 0 453826942 17108992 3681 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3681 231 231 0 3946 0
vsize: 16708
[startup+140.1 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4406 0 0 0 13919 91 0 0 25 0 1 0 453826942 17244160 3696 4294967295 134512640 135450300 3221224640 3221222992 134533306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4210 3696 231 231 0 3979 0
vsize: 16840
[startup+150.101 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4426 0 0 0 14913 98 0 0 25 0 1 0 453826942 17244160 3716 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4210 3716 231 231 0 3979 0
vsize: 16840
[startup+160.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4445 0 0 0 15903 108 0 0 25 0 1 0 453826942 17244160 3735 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4210 3735 231 231 0 3979 0
vsize: 16840
[startup+170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4456 0 0 0 16898 113 0 0 25 0 1 0 453826942 17244160 3746 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4210 3746 231 231 0 3979 0
vsize: 16840
[startup+180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4479 0 0 0 17892 119 0 0 25 0 1 0 453826942 17379328 3769 4294967295 134512640 135450300 3221224640 3221223248 134537568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4243 3769 231 231 0 4012 0
vsize: 16972
[startup+190.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4500 0 0 0 18883 128 0 0 25 0 1 0 453826942 17379328 3790 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4243 3790 231 231 0 4012 0
vsize: 16972
[startup+200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4511 0 0 0 19877 135 0 0 25 0 1 0 453826942 17379328 3801 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4243 3801 231 231 0 4012 0
vsize: 16972
[startup+210.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4520 0 0 0 20871 140 0 0 25 0 1 0 453826942 17379328 3810 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4243 3810 231 231 0 4012 0
vsize: 16972
[startup+220.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4539 0 0 0 21864 147 0 0 25 0 1 0 453826942 17539072 3829 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3829 231 231 0 4051 0
vsize: 17128
[startup+230.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4553 0 0 0 22857 155 0 0 25 0 1 0 453826942 17657856 3843 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3843 231 231 0 4080 0
vsize: 17244
[startup+240.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4577 0 0 0 23850 162 0 0 25 0 1 0 453826942 17657856 3867 4294967295 134512640 135450300 3221224640 3221223376 134538245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3867 231 231 0 4080 0
vsize: 17244
[startup+250.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4596 0 0 0 24845 168 0 0 25 0 1 0 453826942 17657856 3886 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3886 231 231 0 4080 0
vsize: 17244
[startup+260.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4610 0 0 0 25837 175 0 0 25 0 1 0 453826942 17657856 3900 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3900 231 231 0 4080 0
vsize: 17244
[startup+270.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4624 0 0 0 26829 183 0 0 25 0 1 0 453826942 17768448 3914 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4338 3914 231 231 0 4107 0
vsize: 17352
[startup+280.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4642 0 0 0 27823 190 0 0 25 0 1 0 453826942 17768448 3932 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4338 3932 231 231 0 4107 0
vsize: 17352
[startup+290.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4652 0 0 0 28817 196 0 0 25 0 1 0 453826942 17768448 3942 4294967295 134512640 135450300 3221224640 3221222992 134533246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4338 3942 231 231 0 4107 0
vsize: 17352
[startup+300.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4668 0 0 0 29811 202 0 0 25 0 1 0 453826942 17940480 3958 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 3958 231 231 0 4149 0
vsize: 17520
[startup+310.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4681 0 0 0 30804 209 0 0 25 0 1 0 453826942 17940480 3971 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 3971 231 231 0 4149 0
vsize: 17520
[startup+320.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4700 0 0 0 31796 217 0 0 25 0 1 0 453826942 17940480 3990 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 3990 231 231 0 4149 0
vsize: 17520
[startup+330.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4706 0 0 0 32790 223 0 0 25 0 1 0 453826942 17940480 3996 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 3996 231 231 0 4149 0
vsize: 17520
[startup+340.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4725 0 0 0 33786 228 0 0 25 0 1 0 453826942 18055168 4015 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4408 4015 231 231 0 4177 0
vsize: 17632
[startup+350.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4747 0 0 0 34775 239 0 0 25 0 1 0 453826942 18055168 4037 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4408 4037 231 231 0 4177 0
vsize: 17632
[startup+360.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4755 0 0 0 35768 246 0 0 25 0 1 0 453826942 18055168 4045 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4408 4045 231 231 0 4177 0
vsize: 17632
[startup+370.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4772 0 0 0 36762 252 0 0 25 0 1 0 453826942 18235392 4062 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4452 4062 231 231 0 4221 0
vsize: 17808
[startup+380.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4786 0 0 0 37757 258 0 0 25 0 1 0 453826942 18235392 4076 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4452 4076 231 231 0 4221 0
vsize: 17808
[startup+390.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4797 0 0 0 38750 265 0 0 25 0 1 0 453826942 18235392 4087 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4452 4087 231 231 0 4221 0
vsize: 17808
[startup+400.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4820 0 0 0 39744 271 0 0 25 0 1 0 453826942 18366464 4110 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4484 4110 231 231 0 4253 0
vsize: 17936
[startup+410.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4835 0 0 0 40738 277 0 0 25 0 1 0 453826942 18366464 4125 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4484 4125 231 231 0 4253 0
vsize: 17936
[startup+420.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4845 0 0 0 41730 285 0 0 25 0 1 0 453826942 18366464 4135 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4484 4135 231 231 0 4253 0
vsize: 17936
[startup+430.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4864 0 0 0 42723 292 0 0 25 0 1 0 453826942 18366464 4154 4294967295 134512640 135450300 3221224640 3221223248 134537681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4484 4154 231 231 0 4253 0
vsize: 17936
[startup+440.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4889 0 0 0 43715 301 0 0 25 0 1 0 453826942 18481152 4179 4294967295 134512640 135450300 3221224640 3221223376 134538228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4512 4179 231 231 0 4281 0
vsize: 18048
[startup+450.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4903 0 0 0 44709 307 0 0 25 0 1 0 453826942 18481152 4193 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4512 4193 231 231 0 4281 0
vsize: 18048
[startup+460.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4911 0 0 0 45701 315 0 0 25 0 1 0 453826942 18481152 4201 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4512 4201 231 231 0 4281 0
vsize: 18048
[startup+470.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4929 0 0 0 46692 324 0 0 25 0 1 0 453826942 18673664 4219 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4559 4219 231 231 0 4328 0
vsize: 18236
[startup+480.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4941 0 0 0 47685 331 0 0 25 0 1 0 453826942 18673664 4231 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4559 4231 231 231 0 4328 0
vsize: 18236
[startup+490.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 4953 0 0 0 48680 336 0 0 25 0 1 0 453826942 18673664 4243 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4559 4243 231 231 0 4328 0
vsize: 18236
[startup+500.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5367 0 0 0 49672 344 0 0 25 0 1 0 453826942 20357120 4272 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4970 4272 231 231 0 4739 0
vsize: 19880
[startup+510.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5378 0 0 0 50663 354 0 0 25 0 1 0 453826942 20357120 4283 4294967295 134512640 135450300 3221224640 3221222992 134533176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4970 4283 231 231 0 4739 0
vsize: 19880
[startup+520.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5386 0 0 0 51657 359 0 0 25 0 1 0 453826942 20357120 4291 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4970 4291 231 231 0 4739 0
vsize: 19880
[startup+530.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5395 0 0 0 52653 364 0 0 25 0 1 0 453826942 20357120 4300 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4970 4300 231 231 0 4739 0
vsize: 19880
[startup+540.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5414 0 0 0 53646 371 0 0 25 0 1 0 453826942 20357120 4319 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4970 4319 231 231 0 4739 0
vsize: 19880
[startup+550.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5430 0 0 0 54639 379 0 0 25 0 1 0 453826942 20561920 4335 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4335 231 231 0 4789 0
vsize: 20080
[startup+560.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5438 0 0 0 55633 385 0 0 25 0 1 0 453826942 20561920 4343 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4343 231 231 0 4789 0
vsize: 20080
[startup+570.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5452 0 0 0 56629 389 0 0 25 0 1 0 453826942 20561920 4357 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4357 231 231 0 4789 0
vsize: 20080
[startup+580.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5468 0 0 0 57621 397 0 0 25 0 1 0 453826942 20561920 4373 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4373 231 231 0 4789 0
vsize: 20080
[startup+590.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5478 0 0 0 58614 404 0 0 25 0 1 0 453826942 20561920 4383 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4383 231 231 0 4789 0
vsize: 20080
[startup+600.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5489 0 0 0 59607 411 0 0 25 0 1 0 453826942 20561920 4394 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4394 231 231 0 4789 0
vsize: 20080
[startup+610.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5497 0 0 0 60602 417 0 0 25 0 1 0 453826942 20561920 4402 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4402 231 231 0 4789 0
vsize: 20080
[startup+620.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5516 0 0 0 61593 426 0 0 25 0 1 0 453826942 20561920 4421 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4421 231 231 0 4789 0
vsize: 20080
[startup+630.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5524 0 0 0 62586 433 0 0 25 0 1 0 453826942 20561920 4429 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4429 231 231 0 4789 0
vsize: 20080
[startup+640.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5539 0 0 0 63580 439 0 0 25 0 1 0 453826942 20680704 4444 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5049 4444 231 231 0 4818 0
vsize: 20196
[startup+650.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5549 0 0 0 64575 444 0 0 25 0 1 0 453826942 20897792 4454 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4454 231 231 0 4871 0
vsize: 20408
[startup+660.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5567 0 0 0 65568 452 0 0 25 0 1 0 453826942 20897792 4472 4294967295 134512640 135450300 3221224640 3221223344 134537784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4472 231 231 0 4871 0
vsize: 20408
[startup+670.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5574 0 0 0 66562 458 0 0 25 0 1 0 453826942 20897792 4479 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4479 231 231 0 4871 0
vsize: 20408
[startup+680.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5583 0 0 0 67555 465 0 0 25 0 1 0 453826942 20897792 4488 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4488 231 231 0 4871 0
vsize: 20408
[startup+690.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5604 0 0 0 68549 471 0 0 25 0 1 0 453826942 20897792 4509 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4509 231 231 0 4871 0
vsize: 20408
[startup+700.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5615 0 0 0 69544 476 0 0 25 0 1 0 453826942 20897792 4520 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4520 231 231 0 4871 0
vsize: 20408
[startup+710.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5627 0 0 0 70537 483 0 0 25 0 1 0 453826942 20897792 4532 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4532 231 231 0 4871 0
vsize: 20408
[startup+720.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5651 0 0 0 71532 489 0 0 25 0 1 0 453826942 25219072 4556 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4556 231 231 0 5926 0
vsize: 24628
[startup+730.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5664 0 0 0 72527 494 0 0 25 0 1 0 453826942 25219072 4569 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4569 231 231 0 5926 0
vsize: 24628
[startup+740.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5683 0 0 0 73522 500 0 0 25 0 1 0 453826942 25219072 4588 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4588 231 231 0 5926 0
vsize: 24628
[startup+750.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5699 0 0 0 74515 506 0 0 25 0 1 0 453826942 25219072 4604 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4604 231 231 0 5926 0
vsize: 24628
[startup+760.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5787 0 0 0 75510 512 0 0 25 0 1 0 453826942 25219072 4692 4294967295 134512640 135450300 3221224640 3221223248 134537642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4692 231 231 0 5926 0
vsize: 24628
[startup+770.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5794 0 0 0 76505 517 0 0 25 0 1 0 453826942 25219072 4699 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4699 231 231 0 5926 0
vsize: 24628
[startup+780.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5804 0 0 0 77501 521 0 0 25 0 1 0 453826942 25219072 4709 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4709 231 231 0 5926 0
vsize: 24628
[startup+790.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5814 0 0 0 78496 526 0 0 25 0 1 0 453826942 25219072 4719 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 4719 231 231 0 5926 0
vsize: 24628
[startup+800.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5841 0 0 0 79491 531 0 0 25 0 1 0 453826942 25579520 4746 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4746 231 231 0 6014 0
vsize: 24980
[startup+810.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5848 0 0 0 80486 537 0 0 25 0 1 0 453826942 25579520 4753 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4753 231 231 0 6014 0
vsize: 24980
[startup+820.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5854 0 0 0 81482 541 0 0 25 0 1 0 453826942 25579520 4759 4294967295 134512640 135450300 3221224640 3221223376 134538239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4759 231 231 0 6014 0
vsize: 24980
[startup+830.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5873 0 0 0 82476 547 0 0 25 0 1 0 453826942 25579520 4778 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4778 231 231 0 6014 0
vsize: 24980
[startup+840.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5885 0 0 0 83470 553 0 0 25 0 1 0 453826942 25579520 4790 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4790 231 231 0 6014 0
vsize: 24980
[startup+850.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5895 0 0 0 84463 560 0 0 25 0 1 0 453826942 25579520 4800 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4800 231 231 0 6014 0
vsize: 24980
[startup+860.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5907 0 0 0 85457 566 0 0 25 0 1 0 453826942 25579520 4812 4294967295 134512640 135450300 3221224640 3221223368 134538165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4812 231 231 0 6014 0
vsize: 24980
[startup+870.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5918 0 0 0 86452 572 0 0 25 0 1 0 453826942 25579520 4823 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4823 231 231 0 6014 0
vsize: 24980
[startup+880.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5922 0 0 0 87447 577 0 0 25 0 1 0 453826942 25579520 4827 4294967295 134512640 135450300 3221224640 3221222992 134533299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 4827 231 231 0 6014 0
vsize: 24980
[startup+890.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5938 0 0 0 88442 582 0 0 25 0 1 0 453826942 25825280 4843 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 4843 231 231 0 6074 0
vsize: 25220
[startup+900.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5948 0 0 0 89433 591 0 0 25 0 1 0 453826942 25825280 4853 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 4853 231 231 0 6074 0
vsize: 25220
[startup+910.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5963 0 0 0 90428 596 0 0 25 0 1 0 453826942 25825280 4868 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 4868 231 231 0 6074 0
vsize: 25220
[startup+920.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5971 0 0 0 91422 602 0 0 25 0 1 0 453826942 25825280 4876 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 4876 231 231 0 6074 0
vsize: 25220
[startup+930.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5986 0 0 0 92415 610 0 0 25 0 1 0 453826942 25825280 4891 4294967295 134512640 135450300 3221224640 3221222992 134533281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 4891 231 231 0 6074 0
vsize: 25220
[startup+940.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 5999 0 0 0 93409 616 0 0 25 0 1 0 453826942 25825280 4904 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 4904 231 231 0 6074 0
vsize: 25220
[startup+950.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6018 0 0 0 94402 623 0 0 25 0 1 0 453826942 25825280 4923 4294967295 134512640 135450300 3221224640 3221223248 134537768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 4923 231 231 0 6074 0
vsize: 25220
[startup+960.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6032 0 0 0 95396 629 0 0 25 0 1 0 453826942 25939968 4937 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6333 4937 231 231 0 6102 0
vsize: 25332
[startup+970.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6041 0 0 0 96390 635 0 0 25 0 1 0 453826942 25939968 4946 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6333 4946 231 231 0 6102 0
vsize: 25332
[startup+980.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6048 0 0 0 97383 643 0 0 25 0 1 0 453826942 25939968 4953 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6333 4953 231 231 0 6102 0
vsize: 25332
[startup+990.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6056 0 0 0 98376 650 0 0 25 0 1 0 453826942 25939968 4961 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6333 4961 231 231 0 6102 0
vsize: 25332
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6077 0 0 0 99371 655 0 0 25 0 1 0 453826942 25939968 4982 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6333 4982 231 231 0 6102 0
vsize: 25332
[startup+1010.16 s]
Raw data (loadavg): 1.07 0.99 0.91 4/59 12709
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6090 0 0 0 100372 660 0 0 25 0 1 0 453826942 26202112 4995 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4995 231 231 0 6166 0
vsize: 25588
[startup+1020.16 s]
Raw data (loadavg): 1.21 1.02 0.93 2/54 12710
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6103 0 0 0 101364 668 0 0 25 0 1 0 453826942 26202112 5008 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5008 231 231 0 6166 0
vsize: 25588
[startup+1030.39 s]
Raw data (loadavg): 1.32 1.05 0.94 3/54 12710
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6111 0 0 0 102380 675 0 0 25 0 1 0 453826942 26202112 5016 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5016 231 231 0 6166 0
vsize: 25588
[startup+1040.39 s]
Raw data (loadavg): 1.27 1.05 0.94 2/54 12710
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6117 0 0 0 103375 680 0 0 25 0 1 0 453826942 26202112 5022 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5022 231 231 0 6166 0
vsize: 25588
[startup+1050.39 s]
Raw data (loadavg): 1.23 1.05 0.94 2/54 12710
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6131 0 0 0 104369 686 0 0 25 0 1 0 453826942 26202112 5036 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5036 231 231 0 6166 0
vsize: 25588
[startup+1060.39 s]
Raw data (loadavg): 1.19 1.05 0.94 2/54 12710
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6138 0 0 0 105364 692 0 0 25 0 1 0 453826942 26202112 5043 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5043 231 231 0 6166 0
vsize: 25588
[startup+1070.39 s]
Raw data (loadavg): 1.16 1.04 0.94 2/54 12710
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6153 0 0 0 106357 699 0 0 25 0 1 0 453826942 26202112 5058 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5058 231 231 0 6166 0
vsize: 25588
[startup+1080.39 s]
Raw data (loadavg): 1.14 1.04 0.94 2/54 12710
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6164 0 0 0 107349 707 0 0 25 0 1 0 453826942 26202112 5069 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5069 231 231 0 6166 0
vsize: 25588
[startup+1090.39 s]
Raw data (loadavg): 1.12 1.04 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6178 0 0 0 108345 712 0 0 25 0 1 0 453826942 26202112 5083 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5083 231 231 0 6166 0
vsize: 25588
[startup+1100.39 s]
Raw data (loadavg): 1.10 1.04 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6185 0 0 0 109339 718 0 0 25 0 1 0 453826942 26202112 5090 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5090 231 231 0 6166 0
vsize: 25588
[startup+1110.39 s]
Raw data (loadavg): 1.08 1.04 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6198 0 0 0 110333 724 0 0 25 0 1 0 453826942 26202112 5103 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5103 231 231 0 6166 0
vsize: 25588
[startup+1120.39 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6213 0 0 0 111326 730 0 0 25 0 1 0 453826942 26202112 5118 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5118 231 231 0 6166 0
vsize: 25588
[startup+1130.39 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6225 0 0 0 112319 738 0 0 25 0 1 0 453826942 26476544 5130 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5130 231 231 0 6233 0
vsize: 25856
[startup+1140.39 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6233 0 0 0 113313 744 0 0 25 0 1 0 453826942 26476544 5138 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5138 231 231 0 6233 0
vsize: 25856
[startup+1150.39 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6246 0 0 0 114308 750 0 0 25 0 1 0 453826942 26476544 5151 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5151 231 231 0 6233 0
vsize: 25856
[startup+1160.39 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6251 0 0 0 115304 754 0 0 25 0 1 0 453826942 26476544 5156 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5156 231 231 0 6233 0
vsize: 25856
[startup+1170.39 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6262 0 0 0 116297 761 0 0 25 0 1 0 453826942 26476544 5167 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5167 231 231 0 6233 0
vsize: 25856
[startup+1180.39 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6267 0 0 0 117291 767 0 0 25 0 1 0 453826942 26476544 5172 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5172 231 231 0 6233 0
vsize: 25856
[startup+1190.39 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6276 0 0 0 118287 771 0 0 25 0 1 0 453826942 26476544 5181 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5181 231 231 0 6233 0
vsize: 25856
[startup+1200.4 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 12712
Raw data (stat): 12657 (PBS4) R 12656 20937 20936 0 -1 0 6291 0 0 0 119283 776 0 0 25 0 1 0 453826942 26476544 5196 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5196 231 231 0 6233 0
vsize: 25856
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 1.02 1.02 0.94 1/54 12712
Raw data (stat): 12657 (PBS4) Z 12656 20937 20936 0 -1 1036 6291 0 0 0 119283 777 0 0 25 0 1 0 453826942 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.41
CPU time (s): 1200.61
CPU user time (s): 1192.83
CPU system time (s): 7.77282
CPU usage (%): 100.017
Max. virtual memory (Kb): 25856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####