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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
MD5SUM9689869ef48b5a0c26d142f61d149c48
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51200
Optimality of the best value was proved NO
Number of terms in the objective function 123
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1061759
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268469758
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.08
Number of variables17883
Total number of constraints4322
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)1177
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 14311

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        443136 kB
Buffers:         39220 kB
Cached:         526512 kB
SwapCached:       2272 kB
Active:         222444 kB
Inactive:       348500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        442884 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            14984 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 23:55:59 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 20195 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-railway_8_1_0.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.84 0.94 0.90 2/54 12613
Raw data (stat): 12613 (runsolver) R 12612 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482224380 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 1779 0 0 0 989 10 0 0 25 0 1 0 482224380 8462336 1775 4294967295 134512640 135450300 3221224624 3221223232 134537664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2066 1775 231 231 0 1835 0
vsize: 8264
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2000 0 0 0 1982 17 0 0 25 0 1 0 482224380 9445376 1996 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1996 231 231 0 2075 0
vsize: 9224
[startup+30.0023 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2206 0 0 0 2976 23 0 0 25 0 1 0 482224380 10108928 2202 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2468 2202 231 231 0 2237 0
vsize: 9872
[startup+40.002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2593 0 0 0 3970 28 0 0 25 0 1 0 482224380 13590528 2554 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3318 2554 231 231 0 3087 0
vsize: 13272
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2892 0 0 0 4968 30 0 0 25 0 1 0 482224380 14307328 2734 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3493 2734 231 231 0 3262 0
vsize: 13972
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3053 0 0 0 5967 32 0 0 25 0 1 0 482224380 14446592 2825 4294967295 134512640 135450300 3221224624 3221223232 134537764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3527 2825 231 231 0 3296 0
vsize: 14108
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3141 0 0 0 6965 34 0 0 25 0 1 0 482224380 14766080 2878 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2878 231 231 0 3374 0
vsize: 14420
[startup+80.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3231 0 0 0 7964 35 0 0 25 0 1 0 482224380 14766080 2898 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2898 231 231 0 3374 0
vsize: 14420
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3302 0 0 0 8963 36 0 0 25 0 1 0 482224380 14897152 2934 4294967295 134512640 135450300 3221224624 3221223440 134537308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2934 231 231 0 3406 0
vsize: 14548
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3419 0 0 0 9961 38 0 0 25 0 1 0 482224380 15036416 2981 4294967295 134512640 135450300 3221224624 3221223232 134537648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2981 231 231 0 3440 0
vsize: 14684
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3509 0 0 0 10960 39 0 0 25 0 1 0 482224380 15200256 3036 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3711 3036 231 231 0 3480 0
vsize: 14844
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3775 0 0 0 11958 41 0 0 25 0 1 0 482224380 15728640 3135 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3840 3135 231 231 0 3609 0
vsize: 15360
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3840 0 0 0 12956 43 0 0 25 0 1 0 482224380 15888384 3165 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3879 3165 231 231 0 3648 0
vsize: 15516
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3953 0 0 0 13954 45 0 0 25 0 1 0 482224380 16019456 3243 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3911 3243 231 231 0 3680 0
vsize: 15644
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4089 0 0 0 14952 47 0 0 25 0 1 0 482224380 16289792 3309 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3977 3309 231 231 0 3746 0
vsize: 15908
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4188 0 0 0 15950 49 0 0 25 0 1 0 482224380 16437248 3373 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3373 231 231 0 3782 0
vsize: 16052
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4342 0 0 0 16949 50 0 0 25 0 1 0 482224380 16719872 3492 4294967295 134512640 135450300 3221224624 3221223084 134572888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4082 3492 231 231 0 3851 0
vsize: 16328
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4493 0 0 0 17946 52 0 0 25 0 1 0 482224380 16719872 3573 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4082 3573 231 231 0 3851 0
vsize: 16328
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4579 0 0 0 18945 54 0 0 25 0 1 0 482224380 16719872 3624 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4082 3624 231 231 0 3851 0
vsize: 16328
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4650 0 0 0 19945 54 0 0 25 0 1 0 482224380 16867328 3660 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4118 3660 231 231 0 3887 0
vsize: 16472
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4717 0 0 0 20944 56 0 0 25 0 1 0 482224380 17002496 3692 4294967295 134512640 135450300 3221224624 3221222976 134533246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3692 231 231 0 3920 0
vsize: 16604
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4824 0 0 0 21942 57 0 0 25 0 1 0 482224380 17137664 3729 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 3729 231 231 0 3953 0
vsize: 16736
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4928 0 0 0 22941 59 0 0 25 0 1 0 482224380 21483520 3798 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5245 3798 231 231 0 5014 0
vsize: 20980
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4989 0 0 0 23939 61 0 0 25 0 1 0 482224380 21630976 3824 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5281 3824 231 231 0 5050 0
vsize: 21124
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5034 0 0 0 24938 62 0 0 25 0 1 0 482224380 21630976 3834 4294967295 134512640 135450300 3221224624 3221223232 134537621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5281 3834 231 231 0 5050 0
vsize: 21124
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5083 0 0 0 25937 63 0 0 25 0 1 0 482224380 21630976 3848 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5281 3848 231 231 0 5050 0
vsize: 21124
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5181 0 0 0 26935 65 0 0 25 0 1 0 482224380 21770240 3876 4294967295 134512640 135450300 3221224624 3221223536 134597331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 3876 231 231 0 5084 0
vsize: 21260
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5249 0 0 0 27934 66 0 0 25 0 1 0 482224380 21909504 3909 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 3909 231 231 0 5118 0
vsize: 21396
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5365 0 0 0 28932 69 0 0 25 0 1 0 482224380 21909504 3990 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 3990 231 231 0 5118 0
vsize: 21396
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5496 0 0 0 29930 71 0 0 25 0 1 0 482224380 21909504 4086 4294967295 134512640 135450300 3221224624 3221223360 134537879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4086 231 231 0 5118 0
vsize: 21396
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5861 0 0 0 30928 73 0 0 25 0 1 0 482224380 22831104 4188 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5574 4188 231 231 0 5343 0
vsize: 22296
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5913 0 0 0 31927 74 0 0 25 0 1 0 482224380 22831104 4205 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5574 4205 231 231 0 5343 0
vsize: 22296
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5974 0 0 0 32926 76 0 0 25 0 1 0 482224380 22978560 4231 4294967295 134512640 135450300 3221224624 3221223564 134530387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4231 231 231 0 5379 0
vsize: 22440
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6026 0 0 0 33925 77 0 0 25 0 1 0 482224380 22978560 4248 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4248 231 231 0 5379 0
vsize: 22440
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6085 0 0 0 34923 79 0 0 25 0 1 0 482224380 23126016 4272 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5646 4272 231 231 0 5415 0
vsize: 22584
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6188 0 0 0 35922 81 0 0 25 0 1 0 482224380 23281664 4340 4294967295 134512640 135450300 3221224624 3221223076 134533412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5684 4340 231 231 0 5453 0
vsize: 22736
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6235 0 0 0 36921 82 0 0 25 0 1 0 482224380 23281664 4352 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5684 4352 231 231 0 5453 0
vsize: 22736
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6322 0 0 0 37920 84 0 0 25 0 1 0 482224380 23441408 4404 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5723 4404 231 231 0 5492 0
vsize: 22892
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6418 0 0 0 38919 85 0 0 25 0 1 0 482224380 23605248 4430 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4430 231 231 0 5532 0
vsize: 23052
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6464 0 0 0 39917 87 0 0 25 0 1 0 482224380 23605248 4441 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4441 231 231 0 5532 0
vsize: 23052
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6512 0 0 0 40916 88 0 0 25 0 1 0 482224380 23605248 4454 4294967295 134512640 135450300 3221224624 3221223232 134537600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4454 231 231 0 5532 0
vsize: 23052
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6596 0 0 0 41915 89 0 0 25 0 1 0 482224380 23605248 4468 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4468 231 231 0 5532 0
vsize: 23052
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6627 0 0 0 42912 92 0 0 25 0 1 0 482224380 23769088 4499 4294967295 134512640 135450300 3221224624 3221223484 134539316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5803 4499 231 231 0 5572 0
vsize: 23212
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6718 0 0 0 43911 94 0 0 25 0 1 0 482224380 23769088 4520 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5803 4520 231 231 0 5572 0
vsize: 23212
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6764 0 0 0 44909 96 0 0 25 0 1 0 482224380 23769088 4531 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5803 4531 231 231 0 5572 0
vsize: 23212
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6846 0 0 0 45908 97 0 0 25 0 1 0 482224380 23924736 4578 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5841 4578 231 231 0 5610 0
vsize: 23364
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7003 0 0 0 46906 99 0 0 25 0 1 0 482224380 24059904 4700 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4700 231 231 0 5643 0
vsize: 23496
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7083 0 0 0 47905 100 0 0 25 0 1 0 482224380 24059904 4745 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4745 231 231 0 5643 0
vsize: 23496
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7153 0 0 0 48904 101 0 0 25 0 1 0 482224380 24059904 4780 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4780 231 231 0 5643 0
vsize: 23496
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7321 0 0 0 49903 103 0 0 25 0 1 0 482224380 24059904 4878 4294967295 134512640 135450300 3221224624 3221223360 134538418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4878 231 231 0 5643 0
vsize: 23496
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7461 0 0 0 50901 105 0 0 25 0 1 0 482224380 24195072 4983 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5907 4983 231 231 0 5676 0
vsize: 23628
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7532 0 0 0 51900 106 0 0 25 0 1 0 482224380 24195072 5019 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5907 5019 231 231 0 5676 0
vsize: 23628
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7623 0 0 0 52899 107 0 0 25 0 1 0 482224380 24195072 5040 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5907 5040 231 231 0 5676 0
vsize: 23628
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7671 0 0 0 53898 108 0 0 25 0 1 0 482224380 24317952 5053 4294967295 134512640 135450300 3221224624 3221223552 134539679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5053 231 231 0 5706 0
vsize: 23748
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7746 0 0 0 54897 109 0 0 25 0 1 0 482224380 24317952 5093 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5093 231 231 0 5706 0
vsize: 23748
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7842 0 0 0 55897 110 0 0 25 0 1 0 482224380 24317952 5154 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5154 231 231 0 5706 0
vsize: 23748
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7931 0 0 0 56896 111 0 0 25 0 1 0 482224380 24317952 5173 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5173 231 231 0 5706 0
vsize: 23748
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8070 0 0 0 57894 113 0 0 25 0 1 0 482224380 24625152 5277 4294967295 134512640 135450300 3221224624 3221223360 134538276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6012 5277 231 231 0 5781 0
vsize: 24048
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8197 0 0 0 58894 114 0 0 25 0 1 0 482224380 24625152 5369 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6012 5369 231 231 0 5781 0
vsize: 24048
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8290 0 0 0 59892 115 0 0 25 0 1 0 482224380 24625152 5427 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6012 5427 231 231 0 5781 0
vsize: 24048
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8340 0 0 0 60891 117 0 0 25 0 1 0 482224380 24625152 5442 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6012 5442 231 231 0 5781 0
vsize: 24048
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8392 0 0 0 61890 118 0 0 25 0 1 0 482224380 24760320 5459 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6045 5459 231 231 0 5814 0
vsize: 24180
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8485 0 0 0 62889 119 0 0 25 0 1 0 482224380 24760320 5482 4294967295 134512640 135450300 3221224624 3221223360 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6045 5482 231 231 0 5814 0
vsize: 24180
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8577 0 0 0 63888 120 0 0 25 0 1 0 482224380 24760320 5539 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6045 5539 231 231 0 5814 0
vsize: 24180
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8621 0 0 0 64887 122 0 0 25 0 1 0 482224380 24760320 5548 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6045 5548 231 231 0 5814 0
vsize: 24180
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8668 0 0 0 65885 124 0 0 25 0 1 0 482224380 24760320 5560 4294967295 134512640 135450300 3221224624 3221223232 134537606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6045 5560 231 231 0 5814 0
vsize: 24180
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8722 0 0 0 66884 125 0 0 25 0 1 0 482224380 24944640 5579 4294967295 134512640 135450300 3221224624 3221223280 134532777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6090 5579 231 231 0 5859 0
vsize: 24360
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8771 0 0 0 67883 126 0 0 25 0 1 0 482224380 25071616 5593 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6121 5593 231 231 0 5890 0
vsize: 24484
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8853 0 0 0 68881 128 0 0 25 0 1 0 482224380 25214976 5640 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 5640 231 231 0 5925 0
vsize: 24624
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8894 0 0 0 69881 128 0 0 25 0 1 0 482224380 25214976 5646 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 5646 231 231 0 5925 0
vsize: 24624
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9319 0 0 0 70879 130 0 0 25 0 1 0 482224380 26787840 5651 4294967295 134512640 135450300 3221224624 3221223232 134537621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6540 5651 231 231 0 6309 0
vsize: 26160
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9378 0 0 0 71878 132 0 0 25 0 1 0 482224380 26935296 5675 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6576 5675 231 231 0 6345 0
vsize: 26304
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9425 0 0 0 72877 133 0 0 25 0 1 0 482224380 26935296 5687 4294967295 134512640 135450300 3221224624 3221223232 134537606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6576 5687 231 231 0 6345 0
vsize: 26304
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9508 0 0 0 73876 134 0 0 25 0 1 0 482224380 26935296 5700 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6576 5700 231 231 0 6345 0
vsize: 26304
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9550 0 0 0 74876 135 0 0 25 0 1 0 482224380 26935296 5707 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6576 5707 231 231 0 6345 0
vsize: 26304
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9595 0 0 0 75875 136 0 0 25 0 1 0 482224380 26935296 5717 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6576 5717 231 231 0 6345 0
vsize: 26304
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9658 0 0 0 76873 137 0 0 25 0 1 0 482224380 26935296 5745 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6576 5745 231 231 0 6345 0
vsize: 26304
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9708 0 0 0 77873 138 0 0 25 0 1 0 482224380 27070464 5760 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6609 5760 231 231 0 6378 0
vsize: 26436
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9795 0 0 0 78872 139 0 0 25 0 1 0 482224380 27070464 5812 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6609 5812 231 231 0 6378 0
vsize: 26436
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9925 0 0 0 79869 142 0 0 25 0 1 0 482224380 35459072 5907 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8657 5907 231 231 0 8426 0
vsize: 34628
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10091 0 0 0 80868 144 0 0 25 0 1 0 482224380 35655680 6003 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6003 231 231 0 8474 0
vsize: 34820
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10135 0 0 0 81867 145 0 0 25 0 1 0 482224380 35655680 6012 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6012 231 231 0 8474 0
vsize: 34820
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10181 0 0 0 82866 146 0 0 25 0 1 0 482224380 35655680 6023 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6023 231 231 0 8474 0
vsize: 34820
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10272 0 0 0 83865 147 0 0 25 0 1 0 482224380 35811328 6044 4294967295 134512640 135450300 3221224624 3221223488 134539289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 6044 231 231 0 8512 0
vsize: 34972
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10313 0 0 0 84864 148 0 0 25 0 1 0 482224380 35811328 6050 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 6050 231 231 0 8512 0
vsize: 34972
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10362 0 0 0 85863 149 0 0 25 0 1 0 482224380 35811328 6064 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 6064 231 231 0 8512 0
vsize: 34972
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10410 0 0 0 86861 152 0 0 25 0 1 0 482224380 35811328 6077 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 6077 231 231 0 8512 0
vsize: 34972
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10459 0 0 0 87860 153 0 0 25 0 1 0 482224380 35811328 6091 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 6091 231 231 0 8512 0
vsize: 34972
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10563 0 0 0 88859 154 0 0 25 0 1 0 482224380 35811328 6125 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 6125 231 231 0 8512 0
vsize: 34972
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10606 0 0 0 89857 156 0 0 25 0 1 0 482224380 35811328 6133 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 6133 231 231 0 8512 0
vsize: 34972
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10651 0 0 0 90856 157 0 0 25 0 1 0 482224380 35934208 6143 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 6143 231 231 0 8542 0
vsize: 35092
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10752 0 0 0 91854 160 0 0 25 0 1 0 482224380 35934208 6209 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 6209 231 231 0 8542 0
vsize: 35092
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10869 0 0 0 92852 161 0 0 25 0 1 0 482224380 35934208 6291 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 6291 231 231 0 8542 0
vsize: 35092
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10937 0 0 0 93851 163 0 0 25 0 1 0 482224380 35934208 6324 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 6324 231 231 0 8542 0
vsize: 35092
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10981 0 0 0 94850 164 0 0 25 0 1 0 482224380 35934208 6333 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 6333 231 231 0 8542 0
vsize: 35092
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11031 0 0 0 95849 165 0 0 25 0 1 0 482224380 35934208 6348 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 6348 231 231 0 8542 0
vsize: 35092
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11140 0 0 0 96847 167 0 0 25 0 1 0 482224380 36065280 6422 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 6422 231 231 0 8574 0
vsize: 35220
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11242 0 0 0 97845 169 0 0 25 0 1 0 482224380 36065280 6489 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 6489 231 231 0 8574 0
vsize: 35220
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11423 0 0 0 98844 170 0 0 25 0 1 0 482224380 36274176 6600 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8856 6600 231 231 0 8625 0
vsize: 35424
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11572 0 0 0 99843 172 0 0 25 0 1 0 482224380 36409344 6714 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6714 231 231 0 8658 0
vsize: 35556
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11668 0 0 0 100841 174 0 0 25 0 1 0 482224380 36409344 6775 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6775 231 231 0 8658 0
vsize: 35556
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11759 0 0 0 101840 175 0 0 25 0 1 0 482224380 36409344 6866 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6866 231 231 0 8658 0
vsize: 35556
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11867 0 0 0 102839 177 0 0 25 0 1 0 482224380 36409344 6904 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6904 231 231 0 8658 0
vsize: 35556
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11911 0 0 0 103837 178 0 0 25 0 1 0 482224380 36409344 6913 4294967295 134512640 135450300 3221224624 3221223548 134539745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6913 231 231 0 8658 0
vsize: 35556
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11953 0 0 0 104837 179 0 0 25 0 1 0 482224380 36409344 6920 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6920 231 231 0 8658 0
vsize: 35556
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12012 0 0 0 105836 180 0 0 25 0 1 0 482224380 36630528 6944 4294967295 134512640 135450300 3221224624 3221223360 134538724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8943 6944 231 231 0 8712 0
vsize: 35772
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12059 0 0 0 106835 181 0 0 25 0 1 0 482224380 36630528 6956 4294967295 134512640 135450300 3221224624 3221223232 134537639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8943 6956 231 231 0 8712 0
vsize: 35772
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12101 0 0 0 107834 182 0 0 25 0 1 0 482224380 36630528 6963 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8943 6963 231 231 0 8712 0
vsize: 35772
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12192 0 0 0 108832 184 0 0 25 0 1 0 482224380 36765696 6984 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 6984 231 231 0 8745 0
vsize: 35904
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12242 0 0 0 109832 185 0 0 25 0 1 0 482224380 36765696 6999 4294967295 134512640 135450300 3221224624 3221223488 134539347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 6999 231 231 0 8745 0
vsize: 35904
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12283 0 0 0 110830 186 0 0 25 0 1 0 482224380 36765696 7005 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 7005 231 231 0 8745 0
vsize: 35904
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12329 0 0 0 111829 188 0 0 25 0 1 0 482224380 36765696 7016 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 7016 231 231 0 8745 0
vsize: 35904
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12381 0 0 0 112828 189 0 0 25 0 1 0 482224380 36765696 7033 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 7033 231 231 0 8745 0
vsize: 35904
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12428 0 0 0 113827 190 0 0 25 0 1 0 482224380 36765696 7045 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 7045 231 231 0 8745 0
vsize: 35904
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12471 0 0 0 114826 191 0 0 25 0 1 0 482224380 36765696 7053 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 7053 231 231 0 8745 0
vsize: 35904
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12522 0 0 0 115824 193 0 0 25 0 1 0 482224380 36876288 7069 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 7069 231 231 0 8772 0
vsize: 36012
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12598 0 0 0 116823 195 0 0 25 0 1 0 482224380 36876288 7075 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 7075 231 231 0 8772 0
vsize: 36012
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12637 0 0 0 117822 196 0 0 25 0 1 0 482224380 36876288 7079 4294967295 134512640 135450300 3221224624 3221223360 134538245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 7079 231 231 0 8772 0
vsize: 36012
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12682 0 0 0 118821 197 0 0 25 0 1 0 482224380 36876288 7089 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 7089 231 231 0 8772 0
vsize: 36012
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12613
Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12699 0 0 0 119819 199 0 0 25 0 1 0 482224380 36876288 7106 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 7106 231 231 0 8772 0
vsize: 36012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12613
Raw data (stat): 12613 (PBS4) Z 12612 24215 24214 0 -1 1036 12699 0 0 0 119819 201 0 0 25 0 1 0 482224380 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.04
CPU time (s): 1200.21
CPU user time (s): 1198.19
CPU system time (s): 2.01469
CPU usage (%): 100.014
Max. virtual memory (Kb): 36012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####