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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb
MD5SUM05874b307d1504e7159d47fddfd8a0be
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 482
Optimality of the best value was proved NO
Number of terms in the objective function 1372
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1372
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1372
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04784
Number of variables1372
Total number of constraints6316
Number of constraints which are clauses4944
Number of constraints which are cardinality constraints (but not clauses)1372
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19

Trace number 21066

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        637748 kB
Buffers:         26264 kB
Cached:         343628 kB
SwapCached:         28 kB
Active:         184676 kB
Inactive:       188076 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        637496 kB
SwapTotal:     2097892 kB
SwapFree:      2097796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            18520 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 22:55:53 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 13890 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-seymour.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 31171
Raw data (stat): 31171 (runsolver) R 31170 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548722999 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.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 1854 0 0 0 992 6 0 0 25 0 1 0 548722999 10272768 1843 4294967295 134512640 135450300 3221224624 3221223088 134532761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1843 231 231 0 2277 0
vsize: 10032
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 3265 0 0 0 1987 11 0 0 25 0 1 0 548722999 18661376 3254 4294967295 134512640 135450300 3221224624 3221223360 134537858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4556 3254 231 231 0 4325 0
vsize: 18224
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 4532 0 0 0 2984 15 0 0 25 0 1 0 548722999 35438592 4521 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 4521 231 231 0 8421 0
vsize: 34608
[startup+40.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 5854 0 0 0 3980 19 0 0 25 0 1 0 548722999 35774464 5794 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8734 5794 231 231 0 8503 0
vsize: 34936
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 7042 0 0 0 4977 22 0 0 25 0 1 0 548722999 35774464 6982 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8734 6982 231 231 0 8503 0
vsize: 34936
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 8182 0 0 0 5974 26 0 0 25 0 1 0 548722999 35774464 8122 4294967295 134512640 135450300 3221224624 3221223072 134580045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8734 8122 231 231 0 8503 0
vsize: 34936
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 9265 0 0 0 6970 30 0 0 25 0 1 0 548722999 69328896 9205 4294967295 134512640 135450300 3221224624 3221223552 134539668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16926 9205 231 231 0 16695 0
vsize: 67704
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 9858 0 0 0 7966 34 0 0 25 0 1 0 548722999 69464064 9798 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16959 9798 231 231 0 16728 0
vsize: 67836
[startup+90.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 10165 0 0 0 8961 39 0 0 25 0 1 0 548722999 69464064 10105 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16959 10105 231 231 0 16728 0
vsize: 67836
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 10446 0 0 0 9961 39 0 0 25 0 1 0 548722999 69464064 10386 4294967295 134512640 135450300 3221224624 3221223344 134535890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16959 10386 231 231 0 16728 0
vsize: 67836
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 10741 0 0 0 10959 42 0 0 25 0 1 0 548722999 69607424 10681 4294967295 134512640 135450300 3221224624 3221223456 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16994 10681 231 231 0 16763 0
vsize: 67976
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 11034 0 0 0 11955 45 0 0 25 0 1 0 548722999 69734400 10974 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 10974 231 231 0 16794 0
vsize: 68100
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 11344 0 0 0 12955 46 0 0 25 0 1 0 548722999 69734400 11284 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 11284 231 231 0 16794 0
vsize: 68100
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 11690 0 0 0 13953 48 0 0 25 0 1 0 548722999 69734400 11630 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 11630 231 231 0 16794 0
vsize: 68100
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 12103 0 0 0 14946 55 0 0 25 0 1 0 548722999 69734400 12043 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 12043 231 231 0 16794 0
vsize: 68100
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 12497 0 0 0 15945 56 0 0 25 0 1 0 548722999 69734400 12437 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 12437 231 231 0 16794 0
vsize: 68100
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 12891 0 0 0 16938 64 0 0 25 0 1 0 548722999 69869568 12831 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 12831 231 231 0 16827 0
vsize: 68232
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13224 0 0 0 17937 64 0 0 25 0 1 0 548722999 69869568 13164 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13164 231 231 0 16827 0
vsize: 68232
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13514 0 0 0 18935 66 0 0 25 0 1 0 548722999 69869568 13454 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13454 231 231 0 16827 0
vsize: 68232
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13517 0 0 0 19930 72 0 0 25 0 1 0 548722999 69869568 13457 4294967295 134512640 135450300 3221224624 3221223484 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13457 231 231 0 16827 0
vsize: 68232
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13519 0 0 0 20930 72 0 0 25 0 1 0 548722999 69869568 13459 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13459 231 231 0 16827 0
vsize: 68232
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13527 0 0 0 21925 77 0 0 25 0 1 0 548722999 69869568 13467 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13467 231 231 0 16827 0
vsize: 68232
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13530 0 0 0 22923 79 0 0 25 0 1 0 548722999 69869568 13470 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13470 231 231 0 16827 0
vsize: 68232
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13537 0 0 0 23922 81 0 0 25 0 1 0 548722999 69869568 13477 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13477 231 231 0 16827 0
vsize: 68232
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13638 0 0 0 24917 86 0 0 25 0 1 0 548722999 70262784 13481 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17154 13481 231 231 0 16923 0
vsize: 68616
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13641 0 0 0 25916 87 0 0 25 0 1 0 548722999 70262784 13484 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17154 13484 231 231 0 16923 0
vsize: 68616
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13648 0 0 0 26909 94 0 0 25 0 1 0 548722999 70385664 13491 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13491 231 231 0 16953 0
vsize: 68736
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13649 0 0 0 27910 94 0 0 25 0 1 0 548722999 70385664 13492 4294967295 134512640 135450300 3221224624 3221223440 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13492 231 231 0 16953 0
vsize: 68736
[startup+290.014 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13656 0 0 0 28907 98 0 0 25 0 1 0 548722999 70385664 13499 4294967295 134512640 135450300 3221224624 3221223100 134572343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13499 231 231 0 16953 0
vsize: 68736
[startup+300.014 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13658 0 0 0 29904 101 0 0 25 0 1 0 548722999 70385664 13501 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13501 231 231 0 16953 0
vsize: 68736
[startup+310.02 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13667 0 0 0 30903 103 0 0 25 0 1 0 548722999 70385664 13510 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13510 231 231 0 16953 0
vsize: 68736
[startup+320.026 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13669 0 0 0 31897 109 0 0 25 0 1 0 548722999 70385664 13512 4294967295 134512640 135450300 3221224624 3221223360 134538643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13512 231 231 0 16953 0
vsize: 68736
[startup+330.026 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13670 0 0 0 32897 109 0 0 25 0 1 0 548722999 70385664 13513 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13513 231 231 0 16953 0
vsize: 68736
[startup+340.026 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13676 0 0 0 33894 113 0 0 25 0 1 0 548722999 70385664 13519 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13519 231 231 0 16953 0
vsize: 68736
[startup+350.027 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13678 0 0 0 34894 113 0 0 25 0 1 0 548722999 70385664 13521 4294967295 134512640 135450300 3221224624 3221223440 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13521 231 231 0 16953 0
vsize: 68736
[startup+360.027 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13685 0 0 0 35888 118 0 0 25 0 1 0 548722999 70385664 13528 4294967295 134512640 135450300 3221224624 3221223104 134580033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13528 231 231 0 16953 0
vsize: 68736
[startup+370.026 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13686 0 0 0 36886 121 0 0 25 0 1 0 548722999 70385664 13529 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13529 231 231 0 16953 0
vsize: 68736
[startup+380.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13688 0 0 0 37886 121 0 0 25 0 1 0 548722999 70385664 13531 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13531 231 231 0 16953 0
vsize: 68736
[startup+390.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13697 0 0 0 38881 126 0 0 25 0 1 0 548722999 70385664 13540 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13540 231 231 0 16953 0
vsize: 68736
[startup+400.028 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13699 0 0 0 39881 127 0 0 25 0 1 0 548722999 70385664 13542 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17184 13542 231 231 0 16953 0
vsize: 68736
[startup+410.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13705 0 0 0 40873 134 0 0 25 0 1 0 548722999 70512640 13548 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13548 231 231 0 16984 0
vsize: 68860
[startup+420.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13707 0 0 0 41874 134 0 0 25 0 1 0 548722999 70512640 13550 4294967295 134512640 135450300 3221224624 3221223344 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13550 231 231 0 16984 0
vsize: 68860
[startup+430.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13715 0 0 0 42872 137 0 0 25 0 1 0 548722999 70512640 13558 4294967295 134512640 135450300 3221224624 3221223360 134538433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13558 231 231 0 16984 0
vsize: 68860
[startup+440.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13717 0 0 0 43869 140 0 0 25 0 1 0 548722999 70512640 13560 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13560 231 231 0 16984 0
vsize: 68860
[startup+450.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13722 0 0 0 44867 141 0 0 25 0 1 0 548722999 70512640 13565 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13565 231 231 0 16984 0
vsize: 68860
[startup+460.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13723 0 0 0 45862 147 0 0 25 0 1 0 548722999 70512640 13566 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13566 231 231 0 16984 0
vsize: 68860
[startup+470.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13725 0 0 0 46862 147 0 0 25 0 1 0 548722999 70512640 13568 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13568 231 231 0 16984 0
vsize: 68860
[startup+480.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13737 0 0 0 47859 150 0 0 25 0 1 0 548722999 70512640 13580 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13580 231 231 0 16984 0
vsize: 68860
[startup+490.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13739 0 0 0 48859 150 0 0 25 0 1 0 548722999 70512640 13582 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13582 231 231 0 16984 0
vsize: 68860
[startup+500.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13745 0 0 0 49859 151 0 0 25 0 1 0 548722999 70512640 13588 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13588 231 231 0 16984 0
vsize: 68860
[startup+510.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13747 0 0 0 50858 151 0 0 25 0 1 0 548722999 70512640 13590 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17215 13590 231 231 0 16984 0
vsize: 68860
[startup+520.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13768 0 0 0 51854 156 0 0 25 0 1 0 548722999 70647808 13611 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17248 13611 231 231 0 17017 0
vsize: 68992
[startup+530.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13786 0 0 0 52854 156 0 0 25 0 1 0 548722999 70782976 13629 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13629 231 231 0 17050 0
vsize: 69124
[startup+540.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13788 0 0 0 53854 156 0 0 25 0 1 0 548722999 70782976 13631 4294967295 134512640 135450300 3221224624 3221223440 134546467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13631 231 231 0 17050 0
vsize: 69124
[startup+550.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13789 0 0 0 54854 156 0 0 25 0 1 0 548722999 70782976 13632 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13632 231 231 0 17050 0
vsize: 69124
[startup+560.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13793 0 0 0 55854 156 0 0 25 0 1 0 548722999 70782976 13636 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13636 231 231 0 17050 0
vsize: 69124
[startup+570.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13794 0 0 0 56854 157 0 0 25 0 1 0 548722999 70782976 13637 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13637 231 231 0 17050 0
vsize: 69124
[startup+580.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13806 0 0 0 57854 157 0 0 25 0 1 0 548722999 70782976 13649 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13649 231 231 0 17050 0
vsize: 69124
[startup+590.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13809 0 0 0 58854 157 0 0 25 0 1 0 548722999 70782976 13652 4294967295 134512640 135450300 3221224624 3221223344 134535520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13652 231 231 0 17050 0
vsize: 69124
[startup+600.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13812 0 0 0 59854 157 0 0 25 0 1 0 548722999 70782976 13655 4294967295 134512640 135450300 3221224624 3221223344 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13655 231 231 0 17050 0
vsize: 69124
[startup+610.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13828 0 0 0 60854 157 0 0 25 0 1 0 548722999 70782976 13671 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13671 231 231 0 17050 0
vsize: 69124
[startup+620.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13828 0 0 0 61854 157 0 0 25 0 1 0 548722999 70782976 13671 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13671 231 231 0 17050 0
vsize: 69124
[startup+630.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13830 0 0 0 62854 158 0 0 25 0 1 0 548722999 70782976 13673 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13673 231 231 0 17050 0
vsize: 69124
[startup+640.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13831 0 0 0 63854 158 0 0 25 0 1 0 548722999 70782976 13674 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13674 231 231 0 17050 0
vsize: 69124
[startup+650.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13832 0 0 0 64855 158 0 0 25 0 1 0 548722999 70782976 13675 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13675 231 231 0 17050 0
vsize: 69124
[startup+660.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13834 0 0 0 65855 158 0 0 25 0 1 0 548722999 70782976 13677 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13677 231 231 0 17050 0
vsize: 69124
[startup+670.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13834 0 0 0 66855 158 0 0 25 0 1 0 548722999 70782976 13677 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13677 231 231 0 17050 0
vsize: 69124
[startup+680.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13836 0 0 0 67855 158 0 0 25 0 1 0 548722999 70782976 13679 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17281 13679 231 231 0 17050 0
vsize: 69124
[startup+690.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13852 0 0 0 68855 158 0 0 25 0 1 0 548722999 70930432 13695 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13695 231 231 0 17086 0
vsize: 69268
[startup+700.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13853 0 0 0 69855 159 0 0 25 0 1 0 548722999 70930432 13696 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13696 231 231 0 17086 0
vsize: 69268
[startup+710.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13860 0 0 0 70855 159 0 0 25 0 1 0 548722999 70930432 13703 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13703 231 231 0 17086 0
vsize: 69268
[startup+720.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13862 0 0 0 71855 159 0 0 25 0 1 0 548722999 70930432 13705 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13705 231 231 0 17086 0
vsize: 69268
[startup+730.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13864 0 0 0 72855 159 0 0 25 0 1 0 548722999 70930432 13707 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13707 231 231 0 17086 0
vsize: 69268
[startup+740.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13865 0 0 0 73855 159 0 0 25 0 1 0 548722999 70930432 13708 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13708 231 231 0 17086 0
vsize: 69268
[startup+750.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13866 0 0 0 74855 159 0 0 25 0 1 0 548722999 70930432 13709 4294967295 134512640 135450300 3221224624 3221223440 134547444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13709 231 231 0 17086 0
vsize: 69268
[startup+760.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13868 0 0 0 75855 159 0 0 25 0 1 0 548722999 70930432 13711 4294967295 134512640 135450300 3221224624 3221223440 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13711 231 231 0 17086 0
vsize: 69268
[startup+770.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13882 0 0 0 76855 160 0 0 25 0 1 0 548722999 70930432 13725 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 13725 231 231 0 17086 0
vsize: 69268
[startup+780.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13889 0 0 0 77855 160 0 0 25 0 1 0 548722999 71065600 13732 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13732 231 231 0 17119 0
vsize: 69400
[startup+790.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13889 0 0 0 78855 160 0 0 25 0 1 0 548722999 71065600 13732 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13732 231 231 0 17119 0
vsize: 69400
[startup+800.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13890 0 0 0 79855 160 0 0 25 0 1 0 548722999 71065600 13733 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13733 231 231 0 17119 0
vsize: 69400
[startup+810.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13892 0 0 0 80855 160 0 0 25 0 1 0 548722999 71065600 13735 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13735 231 231 0 17119 0
vsize: 69400
[startup+820.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13893 0 0 0 81855 160 0 0 25 0 1 0 548722999 71065600 13736 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13736 231 231 0 17119 0
vsize: 69400
[startup+830.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13894 0 0 0 82855 160 0 0 25 0 1 0 548722999 71065600 13737 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13737 231 231 0 17119 0
vsize: 69400
[startup+840.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13895 0 0 0 83856 160 0 0 25 0 1 0 548722999 71065600 13738 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13738 231 231 0 17119 0
vsize: 69400
[startup+850.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13908 0 0 0 84856 160 0 0 25 0 1 0 548722999 71065600 13751 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13751 231 231 0 17119 0
vsize: 69400
[startup+860.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13917 0 0 0 85855 161 0 0 25 0 1 0 548722999 71065600 13760 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13760 231 231 0 17119 0
vsize: 69400
[startup+870.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13919 0 0 0 86855 161 0 0 25 0 1 0 548722999 71065600 13762 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13762 231 231 0 17119 0
vsize: 69400
[startup+880.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13920 0 0 0 87856 161 0 0 25 0 1 0 548722999 71065600 13763 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13763 231 231 0 17119 0
vsize: 69400
[startup+890.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 13920 0 0 0 88856 161 0 0 25 0 1 0 548722999 71065600 13763 4294967295 134512640 135450300 3221224624 3221223344 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17350 13763 231 231 0 17119 0
vsize: 69400
[startup+900.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14115 0 0 0 89856 161 0 0 25 0 1 0 548722999 71852032 13765 4294967295 134512640 135450300 3221224624 3221223344 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17542 13765 231 231 0 17311 0
vsize: 70168
[startup+910.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14127 0 0 0 90855 162 0 0 25 0 1 0 548722999 71987200 13777 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13777 231 231 0 17344 0
vsize: 70300
[startup+920.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14136 0 0 0 91855 162 0 0 25 0 1 0 548722999 71987200 13786 4294967295 134512640 135450300 3221224624 3221223440 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13786 231 231 0 17344 0
vsize: 70300
[startup+930.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14137 0 0 0 92855 162 0 0 25 0 1 0 548722999 71987200 13787 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13787 231 231 0 17344 0
vsize: 70300
[startup+940.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14139 0 0 0 93855 162 0 0 25 0 1 0 548722999 71987200 13789 4294967295 134512640 135450300 3221224624 3221223440 134547493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13789 231 231 0 17344 0
vsize: 70300
[startup+950.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14139 0 0 0 94855 162 0 0 25 0 1 0 548722999 71987200 13789 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13789 231 231 0 17344 0
vsize: 70300
[startup+960.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14140 0 0 0 95855 163 0 0 25 0 1 0 548722999 71987200 13790 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13790 231 231 0 17344 0
vsize: 70300
[startup+970.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14140 0 0 0 96855 163 0 0 25 0 1 0 548722999 71987200 13790 4294967295 134512640 135450300 3221224624 3221223360 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13790 231 231 0 17344 0
vsize: 70300
[startup+980.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14141 0 0 0 97855 163 0 0 25 0 1 0 548722999 71987200 13791 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13791 231 231 0 17344 0
vsize: 70300
[startup+990.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14141 0 0 0 98855 163 0 0 25 0 1 0 548722999 71987200 13791 4294967295 134512640 135450300 3221224624 3221223440 134546462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13791 231 231 0 17344 0
vsize: 70300
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14142 0 0 0 99856 163 0 0 25 0 1 0 548722999 71987200 13792 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13792 231 231 0 17344 0
vsize: 70300
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14153 0 0 0 100855 164 0 0 25 0 1 0 548722999 71987200 13803 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13803 231 231 0 17344 0
vsize: 70300
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14163 0 0 0 101855 164 0 0 25 0 1 0 548722999 71987200 13813 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13813 231 231 0 17344 0
vsize: 70300
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14164 0 0 0 102855 164 0 0 25 0 1 0 548722999 71987200 13814 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13814 231 231 0 17344 0
vsize: 70300
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14165 0 0 0 103855 164 0 0 25 0 1 0 548722999 71987200 13815 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17575 13815 231 231 0 17344 0
vsize: 70300
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14167 0 0 0 104855 164 0 0 25 0 1 0 548722999 72122368 13817 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13817 231 231 0 17377 0
vsize: 70432
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14169 0 0 0 105856 164 0 0 25 0 1 0 548722999 72122368 13819 4294967295 134512640 135450300 3221224624 3221223344 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13819 231 231 0 17377 0
vsize: 70432
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14169 0 0 0 106856 165 0 0 25 0 1 0 548722999 72122368 13819 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13819 231 231 0 17377 0
vsize: 70432
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14170 0 0 0 107856 165 0 0 25 0 1 0 548722999 72122368 13820 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13820 231 231 0 17377 0
vsize: 70432
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14183 0 0 0 108856 165 0 0 25 0 1 0 548722999 72122368 13833 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13833 231 231 0 17377 0
vsize: 70432
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14198 0 0 0 109853 167 0 0 25 0 1 0 548722999 72122368 13848 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13848 231 231 0 17377 0
vsize: 70432
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14207 0 0 0 110853 168 0 0 25 0 1 0 548722999 72122368 13857 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13857 231 231 0 17377 0
vsize: 70432
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14208 0 0 0 111853 168 0 0 25 0 1 0 548722999 72122368 13858 4294967295 134512640 135450300 3221224624 3221223440 134546470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14208 0 0 0 112854 168 0 0 25 0 1 0 548722999 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14208 0 0 0 113853 168 0 0 25 0 1 0 548722999 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14208 0 0 0 114853 168 0 0 25 0 1 0 548722999 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14209 0 0 0 115853 168 0 0 25 0 1 0 548722999 72122368 13859 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14209 0 0 0 116853 168 0 0 25 0 1 0 548722999 72122368 13859 4294967295 134512640 135450300 3221224624 3221223440 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14209 0 0 0 117854 168 0 0 25 0 1 0 548722999 72122368 13859 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14210 0 0 0 118854 168 0 0 25 0 1 0 548722999 72122368 13860 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13860 231 231 0 17377 0
vsize: 70432
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 31171
Raw data (stat): 31171 (PBS4) R 31170 11931 11930 0 -1 0 14211 0 0 0 119854 168 0 0 25 0 1 0 548722999 72122368 13861 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17608 13861 231 231 0 17377 0
vsize: 70432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 31171
Raw data (stat): 31171 (PBS4) Z 31170 11931 11930 0 -1 1036 14211 0 0 0 119854 171 0 0 25 0 1 0 548722999 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.26
CPU user time (s): 1198.54
CPU system time (s): 1.71574
CPU usage (%): 100.016
Max. virtual memory (Kb): 70432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####