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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM270e069f649d19b0da4e4d23c0e1ebfc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.06
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 7892

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-17 17:03:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2922 boxname=wulflinc23 idbench=325 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  270e069f649d19b0da4e4d23c0e1ebfc  /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-2.opb
IDLAUNCH: 2922
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        823012 kB
Buffers:         36104 kB
Cached:         131732 kB
SwapCached:        192 kB
Active:          72988 kB
Inactive:        97900 kB
HighTotal:      131008 kB
HighFree:          728 kB
LowTotal:       903652 kB
LowFree:        822284 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            35192 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:23:08 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2922 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-2.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.94 0.90 2/54 26081
Raw data (stat): 26081 (runsolver) R 26080 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512163768 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 3463 0 0 0 989 10 0 0 25 0 1 0 512163768 20434944 3113 4294967295 134512640 135450300 3221224640 3221223116 134572341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4989 3113 231 231 0 4758 0
vsize: 19956
[startup+19.9999 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 5522 0 0 0 1983 14 0 0 25 0 1 0 512163768 37212160 5172 4294967295 134512640 135450300 3221224640 3221223024 134579236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9085 5172 231 231 0 8854 0
vsize: 36340
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 7157 0 0 0 2980 18 0 0 25 0 1 0 512163768 37359616 6807 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9121 6807 231 231 0 8890 0
vsize: 36484
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 8312 0 0 0 3977 22 0 0 25 0 1 0 512163768 37654528 7962 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9193 7962 231 231 0 8962 0
vsize: 36772
[startup+49.9999 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 9861 0 0 0 4974 25 0 0 25 0 1 0 512163768 71372800 9511 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17425 9511 231 231 0 17194 0
vsize: 69700
[startup+60 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 11136 0 0 0 5970 28 0 0 25 0 1 0 512163768 71536640 10786 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17465 10786 231 231 0 17234 0
vsize: 69860
[startup+70.0003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 12478 0 0 0 6968 31 0 0 25 0 1 0 512163768 72814592 12128 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17777 12128 231 231 0 17546 0
vsize: 71108
[startup+80.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 12992 0 0 0 7966 33 0 0 25 0 1 0 512163768 73424896 12642 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17926 12642 231 231 0 17695 0
vsize: 71704
[startup+90.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 14211 0 0 0 8964 35 0 0 25 0 1 0 512163768 74379264 13861 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18159 13861 231 231 0 17928 0
vsize: 72636
[startup+100 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 15586 0 0 0 9962 38 0 0 25 0 1 0 512163768 74948608 15236 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18298 15236 231 231 0 18067 0
vsize: 73192
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 16341 0 0 0 10961 39 0 0 25 0 1 0 512163768 75083776 15991 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18331 15991 231 231 0 18100 0
vsize: 73324
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 16375 0 0 0 11960 39 0 0 25 0 1 0 512163768 75083776 16025 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18331 16025 231 231 0 18100 0
vsize: 73324
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 17084 0 0 0 12959 41 0 0 25 0 1 0 512163768 75386880 16734 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18405 16735 231 231 0 18174 0
vsize: 73620
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18532 0 0 0 13955 45 0 0 25 0 1 0 512163768 142651392 18182 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34827 18182 231 231 0 34596 0
vsize: 139308
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18633 0 0 0 14955 46 0 0 25 0 1 0 512163768 143069184 18283 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34929 18283 231 231 0 34698 0
vsize: 139716
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26081
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18752 0 0 0 15955 46 0 0 25 0 1 0 512163768 143642624 18402 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35069 18402 231 231 0 34838 0
vsize: 140276
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18814 0 0 0 16955 46 0 0 25 0 1 0 512163768 143781888 18464 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35103 18464 231 231 0 34872 0
vsize: 140412
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 19813 0 0 0 17952 49 0 0 25 0 1 0 512163768 143917056 19463 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35136 19463 231 231 0 34905 0
vsize: 140544
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 19944 0 0 0 18952 49 0 0 25 0 1 0 512163768 144510976 19594 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35281 19594 231 231 0 35050 0
vsize: 141124
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 19974 0 0 0 19952 49 0 0 25 0 1 0 512163768 144658432 19624 4294967295 134512640 135450300 3221224640 3221223248 134537630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35317 19624 231 231 0 35086 0
vsize: 141268
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20005 0 0 0 20952 49 0 0 25 0 1 0 512163768 144797696 19655 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35351 19655 231 231 0 35120 0
vsize: 141404
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20723 0 0 0 21950 52 0 0 25 0 1 0 512163768 144949248 20373 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35388 20373 231 231 0 35157 0
vsize: 141552
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20779 0 0 0 22950 52 0 0 25 0 1 0 512163768 145088512 20429 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35422 20429 231 231 0 35191 0
vsize: 141688
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20846 0 0 0 23950 52 0 0 25 0 1 0 512163768 145383424 20496 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35494 20496 231 231 0 35263 0
vsize: 141976
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20884 0 0 0 24950 53 0 0 25 0 1 0 512163768 145522688 20534 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35528 20534 231 231 0 35297 0
vsize: 142112
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21739 0 0 0 25948 54 0 0 25 0 1 0 512163768 147095552 21004 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35912 21005 231 231 0 35681 0
vsize: 143648
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21879 0 0 0 26948 55 0 0 25 0 1 0 512163768 147243008 21144 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35948 21144 231 231 0 35717 0
vsize: 143792
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21923 0 0 0 27948 55 0 0 25 0 1 0 512163768 147525632 21188 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36017 21188 231 231 0 35786 0
vsize: 144068
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21960 0 0 0 28947 55 0 0 25 0 1 0 512163768 147673088 21225 4294967295 134512640 135450300 3221224640 3221223456 134547472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36053 21225 231 231 0 35822 0
vsize: 144212
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22165 0 0 0 29947 56 0 0 25 0 1 0 512163768 148164608 21430 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36173 21430 231 231 0 35942 0
vsize: 144692
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22484 0 0 0 30946 57 0 0 25 0 1 0 512163768 148299776 21749 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36206 21749 231 231 0 35975 0
vsize: 144824
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22503 0 0 0 31946 58 0 0 25 0 1 0 512163768 148299776 21768 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36206 21768 231 231 0 35975 0
vsize: 144824
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22536 0 0 0 32946 58 0 0 25 0 1 0 512163768 148443136 21801 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36241 21801 231 231 0 36010 0
vsize: 144964
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22606 0 0 0 33946 58 0 0 25 0 1 0 512163768 148729856 21871 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36311 21871 231 231 0 36080 0
vsize: 145244
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22912 0 0 0 34945 59 0 0 25 0 1 0 512163768 148729856 22177 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36311 22177 231 231 0 36080 0
vsize: 145244
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22936 0 0 0 35945 59 0 0 25 0 1 0 512163768 148869120 22201 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36345 22201 231 231 0 36114 0
vsize: 145380
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22967 0 0 0 36945 59 0 0 25 0 1 0 512163768 149024768 22232 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36383 22232 231 231 0 36152 0
vsize: 145532
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23008 0 0 0 37945 60 0 0 25 0 1 0 512163768 149024768 22273 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36383 22273 231 231 0 36152 0
vsize: 145532
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23231 0 0 0 38944 60 0 0 25 0 1 0 512163768 149188608 22496 4294967295 134512640 135450300 3221224640 3221223552 134597392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36423 22496 231 231 0 36192 0
vsize: 145692
[startup+399.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23274 0 0 0 39944 61 0 0 25 0 1 0 512163768 149368832 22539 4294967295 134512640 135450300 3221224640 3221223024 134579530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36467 22539 231 231 0 36236 0
vsize: 145868
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23296 0 0 0 40944 61 0 0 25 0 1 0 512163768 149524480 22561 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36505 22561 231 231 0 36274 0
vsize: 146020
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23322 0 0 0 41944 61 0 0 25 0 1 0 512163768 149524480 22587 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36505 22587 231 231 0 36274 0
vsize: 146020
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23486 0 0 0 42944 62 0 0 25 0 1 0 512163768 149663744 22751 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36539 22751 231 231 0 36308 0
vsize: 146156
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23557 0 0 0 43943 62 0 0 25 0 1 0 512163768 149975040 22822 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36615 22822 231 231 0 36384 0
vsize: 146460
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23634 0 0 0 44943 63 0 0 25 0 1 0 512163768 150286336 22899 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36691 22899 231 231 0 36460 0
vsize: 146764
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23687 0 0 0 45943 63 0 0 25 0 1 0 512163768 150564864 22952 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36759 22952 231 231 0 36528 0
vsize: 147036
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23713 0 0 0 46943 63 0 0 25 0 1 0 512163768 150564864 22978 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36759 22978 231 231 0 36528 0
vsize: 147036
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23837 0 0 0 47942 64 0 0 25 0 1 0 512163768 150564864 23102 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36759 23102 231 231 0 36528 0
vsize: 147036
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23848 0 0 0 48942 64 0 0 25 0 1 0 512163768 150564864 23113 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36759 23113 231 231 0 36528 0
vsize: 147036
[startup+499.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23878 0 0 0 49942 64 0 0 25 0 1 0 512163768 150712320 23143 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36795 23143 231 231 0 36564 0
vsize: 147180
[startup+509.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23930 0 0 0 50942 65 0 0 25 0 1 0 512163768 151015424 23195 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36869 23195 231 231 0 36638 0
vsize: 147476
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24025 0 0 0 51942 65 0 0 25 0 1 0 512163768 151015424 23290 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36869 23290 231 231 0 36638 0
vsize: 147476
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24040 0 0 0 52942 65 0 0 25 0 1 0 512163768 151015424 23305 4294967295 134512640 135450300 3221224640 3221223008 134579568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36869 23305 231 231 0 36638 0
vsize: 147476
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24060 0 0 0 53942 66 0 0 25 0 1 0 512163768 151175168 23325 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36908 23325 231 231 0 36677 0
vsize: 147632
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24069 0 0 0 54941 66 0 0 25 0 1 0 512163768 151175168 23334 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36908 23334 231 231 0 36677 0
vsize: 147632
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24143 0 0 0 55941 67 0 0 25 0 1 0 512163768 151339008 23408 4294967295 134512640 135450300 3221224640 3221223552 134597354 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36948 23408 231 231 0 36717 0
vsize: 147792
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24247 0 0 0 56941 67 0 0 25 0 1 0 512163768 151666688 23512 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37028 23512 231 231 0 36797 0
vsize: 148112
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24283 0 0 0 57940 68 0 0 25 0 1 0 512163768 151830528 23548 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37068 23548 231 231 0 36837 0
vsize: 148272
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24334 0 0 0 58940 68 0 0 25 0 1 0 512163768 152195072 23599 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37157 23599 231 231 0 36926 0
vsize: 148628
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24352 0 0 0 59940 68 0 0 25 0 1 0 512163768 152195072 23617 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37157 23617 231 231 0 36926 0
vsize: 148628
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24375 0 0 0 60940 69 0 0 25 0 1 0 512163768 152195072 23640 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37157 23640 231 231 0 36926 0
vsize: 148628
[startup+619.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24390 0 0 0 61940 69 0 0 25 0 1 0 512163768 152330240 23655 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37190 23655 231 231 0 36959 0
vsize: 148760
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24405 0 0 0 62940 69 0 0 25 0 1 0 512163768 152330240 23670 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37190 23670 231 231 0 36959 0
vsize: 148760
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24419 0 0 0 63940 69 0 0 25 0 1 0 512163768 152469504 23684 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37224 23684 231 231 0 36993 0
vsize: 148896
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24486 0 0 0 64939 70 0 0 25 0 1 0 512163768 152469504 23751 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37224 23751 231 231 0 36993 0
vsize: 148896
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24494 0 0 0 65940 70 0 0 25 0 1 0 512163768 152469504 23759 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37224 23759 231 231 0 36993 0
vsize: 148896
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24525 0 0 0 66940 70 0 0 25 0 1 0 512163768 152469504 23790 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37224 23790 231 231 0 36993 0
vsize: 148896
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24543 0 0 0 67940 70 0 0 25 0 1 0 512163768 152616960 23808 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37260 23808 231 231 0 37029 0
vsize: 149040
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24605 0 0 0 68940 70 0 0 25 0 1 0 512163768 152760320 23870 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37295 23870 231 231 0 37064 0
vsize: 149180
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24613 0 0 0 69940 70 0 0 25 0 1 0 512163768 152760320 23878 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37295 23878 231 231 0 37064 0
vsize: 149180
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24631 0 0 0 70940 71 0 0 25 0 1 0 512163768 152961024 23896 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37344 23896 231 231 0 37113 0
vsize: 149376
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24651 0 0 0 71940 71 0 0 25 0 1 0 512163768 152961024 23916 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37344 23916 231 231 0 37113 0
vsize: 149376
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24740 0 0 0 72940 71 0 0 25 0 1 0 512163768 153288704 24005 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37424 24005 231 231 0 37193 0
vsize: 149696
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24796 0 0 0 73939 71 0 0 25 0 1 0 512163768 153452544 24061 4294967295 134512640 135450300 3221224640 3221223456 134547862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37464 24061 231 231 0 37233 0
vsize: 149856
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24820 0 0 0 74939 72 0 0 25 0 1 0 512163768 153616384 24085 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37504 24085 231 231 0 37273 0
vsize: 150016
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24846 0 0 0 75939 72 0 0 25 0 1 0 512163768 153767936 24111 4294967295 134512640 135450300 3221224640 3221223248 134537664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37541 24111 231 231 0 37310 0
vsize: 150164
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24865 0 0 0 76939 73 0 0 25 0 1 0 512163768 153767936 24130 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37541 24130 231 231 0 37310 0
vsize: 150164
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24900 0 0 0 77939 73 0 0 25 0 1 0 512163768 153767936 24165 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37541 24165 231 231 0 37310 0
vsize: 150164
[startup+790 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24933 0 0 0 78938 73 0 0 25 0 1 0 512163768 153931776 24198 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37581 24198 231 231 0 37350 0
vsize: 150324
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24965 0 0 0 79938 74 0 0 25 0 1 0 512163768 154066944 24230 4294967295 134512640 135450300 3221224640 3221223024 134579702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37614 24230 231 231 0 37383 0
vsize: 150456
[startup+810 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24985 0 0 0 80938 74 0 0 25 0 1 0 512163768 154259456 24250 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37661 24250 231 231 0 37430 0
vsize: 150644
[startup+819.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24994 0 0 0 81938 74 0 0 25 0 1 0 512163768 154259456 24259 4294967295 134512640 135450300 3221224640 3221223004 134844208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37661 24259 231 231 0 37430 0
vsize: 150644
[startup+829.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25008 0 0 0 82938 74 0 0 25 0 1 0 512163768 154259456 24273 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37661 24273 231 231 0 37430 0
vsize: 150644
[startup+839.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25019 0 0 0 83938 74 0 0 25 0 1 0 512163768 154259456 24284 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37661 24284 231 231 0 37430 0
vsize: 150644
[startup+849.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25029 0 0 0 84938 75 0 0 25 0 1 0 512163768 154259456 24294 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37661 24294 231 231 0 37430 0
vsize: 150644
[startup+859.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25039 0 0 0 85938 75 0 0 25 0 1 0 512163768 154259456 24304 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37661 24304 231 231 0 37430 0
vsize: 150644
[startup+869.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25047 0 0 0 86938 75 0 0 25 0 1 0 512163768 154259456 24312 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37661 24312 231 231 0 37430 0
vsize: 150644
[startup+879.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25106 0 0 0 87938 75 0 0 25 0 1 0 512163768 154423296 24371 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37701 24371 231 231 0 37470 0
vsize: 150804
[startup+889.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25143 0 0 0 88938 76 0 0 25 0 1 0 512163768 154587136 24408 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37741 24408 231 231 0 37510 0
vsize: 150964
[startup+899.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25165 0 0 0 89938 76 0 0 25 0 1 0 512163768 154587136 24430 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37741 24430 231 231 0 37510 0
vsize: 150964
[startup+909.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25189 0 0 0 90937 77 0 0 25 0 1 0 512163768 154587136 24454 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37741 24454 231 231 0 37510 0
vsize: 150964
[startup+919.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25209 0 0 0 91937 77 0 0 25 0 1 0 512163768 154828800 24474 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37800 24474 231 231 0 37569 0
vsize: 151200
[startup+929.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25245 0 0 0 92937 77 0 0 25 0 1 0 512163768 154992640 24510 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37840 24510 231 231 0 37609 0
vsize: 151360
[startup+939.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25264 0 0 0 93937 78 0 0 25 0 1 0 512163768 154992640 24529 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37840 24529 231 231 0 37609 0
vsize: 151360
[startup+949.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25287 0 0 0 94937 78 0 0 25 0 1 0 512163768 154992640 24552 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37840 24552 231 231 0 37609 0
vsize: 151360
[startup+959.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25303 0 0 0 95937 78 0 0 25 0 1 0 512163768 155140096 24568 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37876 24568 231 231 0 37645 0
vsize: 151504
[startup+969.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25331 0 0 0 96936 79 0 0 25 0 1 0 512163768 155140096 24596 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37876 24596 231 231 0 37645 0
vsize: 151504
[startup+979.997 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25345 0 0 0 97936 79 0 0 25 0 1 0 512163768 155303936 24610 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37916 24610 231 231 0 37685 0
vsize: 151664
[startup+990.001 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25354 0 0 0 98937 79 0 0 25 0 1 0 512163768 155303936 24619 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37916 24619 231 231 0 37685 0
vsize: 151664
[startup+1000 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25371 0 0 0 99936 80 0 0 25 0 1 0 512163768 155447296 24636 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37951 24636 231 231 0 37720 0
vsize: 151804
[startup+1010 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25418 0 0 0 100936 80 0 0 25 0 1 0 512163768 155611136 24683 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37991 24683 231 231 0 37760 0
vsize: 151964
[startup+1020 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25455 0 0 0 101936 80 0 0 25 0 1 0 512163768 155611136 24720 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37991 24720 231 231 0 37760 0
vsize: 151964
[startup+1030 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25470 0 0 0 102936 80 0 0 25 0 1 0 512163768 155774976 24735 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38031 24735 231 231 0 37800 0
vsize: 152124
[startup+1040 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25514 0 0 0 103936 80 0 0 25 0 1 0 512163768 156028928 24779 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38093 24779 231 231 0 37862 0
vsize: 152372
[startup+1050 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25530 0 0 0 104936 81 0 0 25 0 1 0 512163768 156028928 24795 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38093 24795 231 231 0 37862 0
vsize: 152372
[startup+1060 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25547 0 0 0 105936 81 0 0 25 0 1 0 512163768 156028928 24812 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38093 24812 231 231 0 37862 0
vsize: 152372
[startup+1070 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25564 0 0 0 106936 81 0 0 25 0 1 0 512163768 156028928 24829 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38093 24829 231 231 0 37862 0
vsize: 152372
[startup+1080 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25582 0 0 0 107936 82 0 0 25 0 1 0 512163768 156192768 24847 4294967295 134512640 135450300 3221224640 3221223472 134549507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38133 24847 231 231 0 37902 0
vsize: 152532
[startup+1090 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25598 0 0 0 108936 82 0 0 25 0 1 0 512163768 156192768 24863 4294967295 134512640 135450300 3221224640 3221223456 134547886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38133 24863 231 231 0 37902 0
vsize: 152532
[startup+1100 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26399 0 0 0 109934 84 0 0 25 0 1 0 512163768 159502336 24895 4294967295 134512640 135450300 3221224640 3221223360 134535974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38941 24895 231 231 0 38710 0
vsize: 155764
[startup+1110 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26426 0 0 0 110934 84 0 0 25 0 1 0 512163768 159694848 24922 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38988 24922 231 231 0 38757 0
vsize: 155952
[startup+1120 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26441 0 0 0 111934 84 0 0 25 0 1 0 512163768 159694848 24937 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38988 24937 231 231 0 38757 0
vsize: 155952
[startup+1130 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26456 0 0 0 112934 85 0 0 25 0 1 0 512163768 159694848 24952 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38988 24952 231 231 0 38757 0
vsize: 155952
[startup+1140 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26476 0 0 0 113933 85 0 0 25 0 1 0 512163768 159694848 24972 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38988 24972 231 231 0 38757 0
vsize: 155952
[startup+1150 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26490 0 0 0 114933 85 0 0 25 0 1 0 512163768 159858688 24986 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39028 24986 231 231 0 38797 0
vsize: 156112
[startup+1160 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26510 0 0 0 115933 86 0 0 25 0 1 0 512163768 159858688 25006 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39028 25006 231 231 0 38797 0
vsize: 156112
[startup+1170 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26531 0 0 0 116933 86 0 0 25 0 1 0 512163768 159858688 25027 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39028 25027 231 231 0 38797 0
vsize: 156112
[startup+1180 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26540 0 0 0 117933 86 0 0 25 0 1 0 512163768 159997952 25036 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39062 25036 231 231 0 38831 0
vsize: 156248
[startup+1190 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26547 0 0 0 118933 86 0 0 25 0 1 0 512163768 159997952 25043 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39062 25043 231 231 0 38831 0
vsize: 156248
[startup+1200 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 26083
Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26599 0 0 0 119933 87 0 0 25 0 1 0 512163768 160161792 25095 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39102 25095 231 231 0 38871 0
vsize: 156408
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.04 1.02 0.93 1/54 26083
Raw data (stat): 26081 (PBS4) Z 26080 3260 3259 0 -1 1036 26599 0 0 0 119933 91 0 0 25 0 1 0 512163768 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.05
CPU time (s): 1200.25
CPU user time (s): 1199.33
CPU system time (s): 0.91786
CPU usage (%): 100.017
Max. virtual memory (Kb): 156408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####