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/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUMb74fb9cd57e8b4068255c4ac98aa23ca
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3191
Optimality of the best value was proved NO
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 12800
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 416734
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.12
Number of variables5932
Total number of constraints1321
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint1
Maximum length of a constraint453

Trace number 18871

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-21 16:56:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17400 boxname=wulflinc21 idbench=1339 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 17400
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        889088 kB
Buffers:          3504 kB
Cached:         120120 kB
SwapCached:          0 kB
Active:          50592 kB
Inactive:        75944 kB
HighTotal:      131008 kB
HighFree:        38388 kB
LowTotal:       903652 kB
LowFree:        850700 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            13312 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 17:16:54 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 17400 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-aflow30a.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/55 14527
Raw data (stat): 14527 (runsolver) R 14526 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 423955526 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+9.99947 s]
Raw data (loadavg): 0.87 0.95 0.90 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 784 0 0 0 996 3 0 0 25 0 1 0 423955526 3878912 780 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 947 780 231 231 0 716 0
vsize: 3788
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 935 0 0 0 1995 4 0 0 25 0 1 0 423955526 4689920 931 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1145 931 231 231 0 914 0
vsize: 4580
[startup+29.9998 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1068 0 0 0 2994 5 0 0 25 0 1 0 423955526 5869568 1064 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1433 1064 231 231 0 1202 0
vsize: 5732
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1161 0 0 0 3993 6 0 0 25 0 1 0 423955526 6049792 1157 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1477 1157 231 231 0 1246 0
vsize: 5908
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1287 0 0 0 4992 8 0 0 25 0 1 0 423955526 6049792 1283 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1477 1283 231 231 0 1246 0
vsize: 5908
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1368 0 0 0 5991 9 0 0 25 0 1 0 423955526 8278016 1364 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 1364 231 231 0 1790 0
vsize: 8084
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1450 0 0 0 6989 11 0 0 25 0 1 0 423955526 8278016 1446 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 1446 231 231 0 1790 0
vsize: 8084
[startup+80.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1511 0 0 0 7987 12 0 0 25 0 1 0 423955526 8278016 1507 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 1507 231 231 0 1790 0
vsize: 8084
[startup+90.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1610 0 0 0 8985 14 0 0 25 0 1 0 423955526 8613888 1606 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1606 231 231 0 1872 0
vsize: 8412
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1670 0 0 0 9984 15 0 0 25 0 1 0 423955526 8613888 1666 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1666 231 231 0 1872 0
vsize: 8412
[startup+110.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1730 0 0 0 10983 17 0 0 25 0 1 0 423955526 8613888 1726 4294967295 134512640 135450300 3221224624 3221222976 134533212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1726 231 231 0 1872 0
vsize: 8412
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1800 0 0 0 11982 18 0 0 25 0 1 0 423955526 8613888 1796 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1796 231 231 0 1872 0
vsize: 8412
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1873 0 0 0 12981 19 0 0 25 0 1 0 423955526 8785920 1869 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2145 1869 231 231 0 1914 0
vsize: 8580
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1936 0 0 0 13981 20 0 0 25 0 1 0 423955526 8785920 1932 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2145 1932 231 231 0 1914 0
vsize: 8580
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 1994 0 0 0 14980 21 0 0 25 0 1 0 423955526 12980224 1990 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 1990 231 231 0 2938 0
vsize: 12676
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2072 0 0 0 15979 22 0 0 25 0 1 0 423955526 13111296 2068 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2068 231 231 0 2970 0
vsize: 12804
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2147 0 0 0 16977 24 0 0 25 0 1 0 423955526 13111296 2143 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2143 231 231 0 2970 0
vsize: 12804
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2205 0 0 0 17976 25 0 0 25 0 1 0 423955526 13111296 2201 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2201 231 231 0 2970 0
vsize: 12804
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14527
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2254 0 0 0 18975 26 0 0 25 0 1 0 423955526 13271040 2250 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3240 2250 231 231 0 3009 0
vsize: 12960
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14580
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2261 0 0 0 19973 27 0 0 25 0 1 0 423955526 13406208 2257 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2257 231 231 0 3042 0
vsize: 13092
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14580
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2285 0 0 0 20973 28 0 0 25 0 1 0 423955526 13406208 2281 4294967295 134512640 135450300 3221224624 3221223488 134539143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2281 231 231 0 3042 0
vsize: 13092
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14580
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2289 0 0 0 21972 29 0 0 25 0 1 0 423955526 13406208 2285 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2285 231 231 0 3042 0
vsize: 13092
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14580
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2357 0 0 0 22972 30 0 0 25 0 1 0 423955526 13721600 2304 4294967295 134512640 135450300 3221224624 3221223344 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2304 231 231 0 3119 0
vsize: 13400
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14580
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2359 0 0 0 23971 30 0 0 25 0 1 0 423955526 13721600 2306 4294967295 134512640 135450300 3221224624 3221223088 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2306 231 231 0 3119 0
vsize: 13400
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14582
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2360 0 0 0 24970 32 0 0 25 0 1 0 423955526 13721600 2307 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2307 231 231 0 3119 0
vsize: 13400
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2372 0 0 0 25969 33 0 0 25 0 1 0 423955526 13721600 2319 4294967295 134512640 135450300 3221224624 3221223280 134532775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2319 231 231 0 3119 0
vsize: 13400
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2373 0 0 0 26969 33 0 0 25 0 1 0 423955526 13721600 2320 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2320 231 231 0 3119 0
vsize: 13400
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2378 0 0 0 27968 34 0 0 25 0 1 0 423955526 13721600 2325 4294967295 134512640 135450300 3221224624 3221223344 134535627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2325 231 231 0 3119 0
vsize: 13400
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2390 0 0 0 28967 36 0 0 25 0 1 0 423955526 13811712 2337 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2337 231 231 0 3141 0
vsize: 13488
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2392 0 0 0 29966 37 0 0 25 0 1 0 423955526 13811712 2339 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2339 231 231 0 3141 0
vsize: 13488
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2403 0 0 0 30965 38 0 0 25 0 1 0 423955526 13811712 2350 4294967295 134512640 135450300 3221224624 3221223472 134539330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2350 231 231 0 3141 0
vsize: 13488
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2405 0 0 0 31964 38 0 0 25 0 1 0 423955526 13811712 2352 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2352 231 231 0 3141 0
vsize: 13488
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2406 0 0 0 32964 39 0 0 25 0 1 0 423955526 13811712 2353 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2353 231 231 0 3141 0
vsize: 13488
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2413 0 0 0 33963 40 0 0 25 0 1 0 423955526 13811712 2360 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2360 231 231 0 3141 0
vsize: 13488
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2415 0 0 0 34963 41 0 0 25 0 1 0 423955526 13811712 2362 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2362 231 231 0 3141 0
vsize: 13488
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2416 0 0 0 35962 41 0 0 25 0 1 0 423955526 13811712 2363 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2363 231 231 0 3141 0
vsize: 13488
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2428 0 0 0 36961 42 0 0 25 0 1 0 423955526 13905920 2375 4294967295 134512640 135450300 3221224624 3221222976 134533196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2375 231 231 0 3164 0
vsize: 13580
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2431 0 0 0 37960 44 0 0 25 0 1 0 423955526 13905920 2378 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2378 231 231 0 3164 0
vsize: 13580
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2447 0 0 0 38959 45 0 0 25 0 1 0 423955526 13905920 2394 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2394 231 231 0 3164 0
vsize: 13580
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2448 0 0 0 39959 45 0 0 25 0 1 0 423955526 13905920 2395 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2395 231 231 0 3164 0
vsize: 13580
[startup+410.003 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2450 0 0 0 40959 46 0 0 25 0 1 0 423955526 13905920 2397 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2397 231 231 0 3164 0
vsize: 13580
[startup+420.005 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2454 0 0 0 41958 46 0 0 25 0 1 0 423955526 14000128 2401 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2401 231 231 0 3187 0
vsize: 13672
[startup+430.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2456 0 0 0 42957 47 0 0 25 0 1 0 423955526 14000128 2403 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2403 231 231 0 3187 0
vsize: 13672
[startup+440.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2458 0 0 0 43956 48 0 0 25 0 1 0 423955526 14000128 2405 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2405 231 231 0 3187 0
vsize: 13672
[startup+450.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2471 0 0 0 44955 50 0 0 25 0 1 0 423955526 14000128 2418 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2418 231 231 0 3187 0
vsize: 13672
[startup+460.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2472 0 0 0 45954 51 0 0 25 0 1 0 423955526 14000128 2419 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2419 231 231 0 3187 0
vsize: 13672
[startup+470.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2487 0 0 0 46953 53 0 0 25 0 1 0 423955526 14135296 2434 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2434 231 231 0 3220 0
vsize: 13804
[startup+480.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2489 0 0 0 47952 54 0 0 25 0 1 0 423955526 14135296 2436 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2436 231 231 0 3220 0
vsize: 13804
[startup+490.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2492 0 0 0 48951 55 0 0 25 0 1 0 423955526 14135296 2439 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2439 231 231 0 3220 0
vsize: 13804
[startup+500.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14584
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2495 0 0 0 49950 55 0 0 25 0 1 0 423955526 14135296 2442 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2442 231 231 0 3220 0
vsize: 13804
[startup+510.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2498 0 0 0 50950 56 0 0 25 0 1 0 423955526 14135296 2445 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2445 231 231 0 3220 0
vsize: 13804
[startup+520.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2500 0 0 0 51949 57 0 0 25 0 1 0 423955526 14135296 2447 4294967295 134512640 135450300 3221224624 3221223280 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2447 231 231 0 3220 0
vsize: 13804
[startup+530.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2511 0 0 0 52948 58 0 0 25 0 1 0 423955526 14135296 2458 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2458 231 231 0 3220 0
vsize: 13804
[startup+540.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2609 0 0 0 53948 59 0 0 25 0 1 0 423955526 14528512 2459 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2459 231 231 0 3316 0
vsize: 14188
[startup+550.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2612 0 0 0 54947 59 0 0 25 0 1 0 423955526 14528512 2462 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2462 231 231 0 3316 0
vsize: 14188
[startup+560.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2618 0 0 0 55947 60 0 0 25 0 1 0 423955526 14528512 2468 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2468 231 231 0 3316 0
vsize: 14188
[startup+570.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2620 0 0 0 56946 60 0 0 25 0 1 0 423955526 14528512 2470 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2470 231 231 0 3316 0
vsize: 14188
[startup+580.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2627 0 0 0 57946 61 0 0 25 0 1 0 423955526 14528512 2477 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2477 231 231 0 3316 0
vsize: 14188
[startup+590.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2629 0 0 0 58944 63 0 0 25 0 1 0 423955526 14528512 2479 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2479 231 231 0 3316 0
vsize: 14188
[startup+600.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2632 0 0 0 59943 64 0 0 25 0 1 0 423955526 14528512 2482 4294967295 134512640 135450300 3221224624 3221223344 134535874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2482 231 231 0 3316 0
vsize: 14188
[startup+610.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2645 0 0 0 60943 65 0 0 25 0 1 0 423955526 14659584 2495 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2495 231 231 0 3348 0
vsize: 14316
[startup+620.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2647 0 0 0 61942 66 0 0 25 0 1 0 423955526 14659584 2497 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2497 231 231 0 3348 0
vsize: 14316
[startup+630.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2648 0 0 0 62941 67 0 0 25 0 1 0 423955526 14659584 2498 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2498 231 231 0 3348 0
vsize: 14316
[startup+640.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2651 0 0 0 63941 67 0 0 25 0 1 0 423955526 14659584 2501 4294967295 134512640 135450300 3221224624 3221223360 134538075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2501 231 231 0 3348 0
vsize: 14316
[startup+650.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2653 0 0 0 64940 68 0 0 25 0 1 0 423955526 14659584 2503 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2503 231 231 0 3348 0
vsize: 14316
[startup+660.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2667 0 0 0 65939 69 0 0 25 0 1 0 423955526 14659584 2517 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2517 231 231 0 3348 0
vsize: 14316
[startup+670.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2671 0 0 0 66939 70 0 0 25 0 1 0 423955526 14659584 2521 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2521 231 231 0 3348 0
vsize: 14316
[startup+680.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2674 0 0 0 67937 71 0 0 25 0 1 0 423955526 14659584 2524 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2524 231 231 0 3348 0
vsize: 14316
[startup+690.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2688 0 0 0 68936 73 0 0 25 0 1 0 423955526 14786560 2538 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2538 231 231 0 3379 0
vsize: 14440
[startup+700.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2689 0 0 0 69936 73 0 0 25 0 1 0 423955526 14786560 2539 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2539 231 231 0 3379 0
vsize: 14440
[startup+710.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2741 0 0 0 70935 74 0 0 25 0 1 0 423955526 14786560 2591 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2591 231 231 0 3379 0
vsize: 14440
[startup+720.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2762 0 0 0 71935 75 0 0 25 0 1 0 423955526 14786560 2612 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2612 231 231 0 3379 0
vsize: 14440
[startup+730.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2763 0 0 0 72934 75 0 0 25 0 1 0 423955526 14786560 2613 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2613 231 231 0 3379 0
vsize: 14440
[startup+740.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2765 0 0 0 73934 76 0 0 25 0 1 0 423955526 14786560 2615 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2615 231 231 0 3379 0
vsize: 14440
[startup+750.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2773 0 0 0 74933 77 0 0 25 0 1 0 423955526 14786560 2623 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2623 231 231 0 3379 0
vsize: 14440
[startup+760.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2774 0 0 0 75933 77 0 0 25 0 1 0 423955526 14786560 2624 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2624 231 231 0 3379 0
vsize: 14440
[startup+770.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2784 0 0 0 76932 78 0 0 25 0 1 0 423955526 14786560 2634 4294967295 134512640 135450300 3221224624 3221223008 134579491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2634 231 231 0 3379 0
vsize: 14440
[startup+780.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2787 0 0 0 77932 79 0 0 25 0 1 0 423955526 14786560 2637 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2637 231 231 0 3379 0
vsize: 14440
[startup+790.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2789 0 0 0 78930 80 0 0 25 0 1 0 423955526 14786560 2639 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2639 231 231 0 3379 0
vsize: 14440
[startup+800.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2803 0 0 0 79930 81 0 0 25 0 1 0 423955526 14962688 2653 4294967295 134512640 135450300 3221224624 3221223008 134579215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2653 231 231 0 3422 0
vsize: 14612
[startup+810.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2804 0 0 0 80929 82 0 0 25 0 1 0 423955526 14962688 2654 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2654 231 231 0 3422 0
vsize: 14612
[startup+820.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2806 0 0 0 81928 83 0 0 25 0 1 0 423955526 14962688 2656 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2656 231 231 0 3422 0
vsize: 14612
[startup+830.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2811 0 0 0 82927 84 0 0 25 0 1 0 423955526 14962688 2661 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2661 231 231 0 3422 0
vsize: 14612
[startup+840.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2813 0 0 0 83926 85 0 0 25 0 1 0 423955526 14962688 2663 4294967295 134512640 135450300 3221224624 3221223476 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2663 231 231 0 3422 0
vsize: 14612
[startup+850.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2815 0 0 0 84925 86 0 0 25 0 1 0 423955526 14962688 2665 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2665 231 231 0 3422 0
vsize: 14612
[startup+860.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2821 0 0 0 85924 88 0 0 25 0 1 0 423955526 14962688 2671 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2671 231 231 0 3422 0
vsize: 14612
[startup+870.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2822 0 0 0 86924 88 0 0 25 0 1 0 423955526 14962688 2672 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2672 231 231 0 3422 0
vsize: 14612
[startup+880.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2825 0 0 0 87923 89 0 0 25 0 1 0 423955526 14962688 2675 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2675 231 231 0 3422 0
vsize: 14612
[startup+890.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2835 0 0 0 88923 90 0 0 25 0 1 0 423955526 14962688 2685 4294967295 134512640 135450300 3221224624 3221223088 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2685 231 231 0 3422 0
vsize: 14612
[startup+900.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2836 0 0 0 89922 91 0 0 25 0 1 0 423955526 14962688 2686 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2686 231 231 0 3422 0
vsize: 14612
[startup+910.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2841 0 0 0 90921 92 0 0 25 0 1 0 423955526 14962688 2691 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2691 231 231 0 3422 0
vsize: 14612
[startup+920.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2843 0 0 0 91920 93 0 0 25 0 1 0 423955526 14962688 2693 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2693 231 231 0 3422 0
vsize: 14612
[startup+930.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2845 0 0 0 92919 94 0 0 25 0 1 0 423955526 14962688 2695 4294967295 134512640 135450300 3221224624 3221223472 134539344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2695 231 231 0 3422 0
vsize: 14612
[startup+940.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2857 0 0 0 93917 96 0 0 25 0 1 0 423955526 15085568 2707 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2707 231 231 0 3452 0
vsize: 14732
[startup+950.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2858 0 0 0 94916 97 0 0 25 0 1 0 423955526 15085568 2708 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2708 231 231 0 3452 0
vsize: 14732
[startup+960.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2860 0 0 0 95914 99 0 0 25 0 1 0 423955526 15085568 2710 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2710 231 231 0 3452 0
vsize: 14732
[startup+970.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2864 0 0 0 96913 100 0 0 25 0 1 0 423955526 15085568 2714 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2714 231 231 0 3452 0
vsize: 14732
[startup+980.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2866 0 0 0 97913 101 0 0 25 0 1 0 423955526 15085568 2716 4294967295 134512640 135450300 3221224624 3221223008 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2716 231 231 0 3452 0
vsize: 14732
[startup+990.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2867 0 0 0 98912 102 0 0 25 0 1 0 423955526 15085568 2717 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2717 231 231 0 3452 0
vsize: 14732
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2869 0 0 0 99911 103 0 0 25 0 1 0 423955526 15085568 2719 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2719 231 231 0 3452 0
vsize: 14732
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2871 0 0 0 100910 104 0 0 25 0 1 0 423955526 15085568 2721 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2721 231 231 0 3452 0
vsize: 14732
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2873 0 0 0 101909 105 0 0 25 0 1 0 423955526 15085568 2723 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2723 231 231 0 3452 0
vsize: 14732
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2882 0 0 0 102908 106 0 0 25 0 1 0 423955526 15085568 2732 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2732 231 231 0 3452 0
vsize: 14732
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2883 0 0 0 103908 107 0 0 25 0 1 0 423955526 15085568 2733 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2733 231 231 0 3452 0
vsize: 14732
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2885 0 0 0 104907 108 0 0 25 0 1 0 423955526 15085568 2735 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2735 231 231 0 3452 0
vsize: 14732
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2896 0 0 0 105906 109 0 0 25 0 1 0 423955526 15224832 2746 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2746 231 231 0 3486 0
vsize: 14868
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2898 0 0 0 106906 110 0 0 25 0 1 0 423955526 15224832 2748 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2748 231 231 0 3486 0
vsize: 14868
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2911 0 0 0 107905 110 0 0 25 0 1 0 423955526 15224832 2761 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2761 231 231 0 3486 0
vsize: 14868
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2913 0 0 0 108905 111 0 0 25 0 1 0 423955526 15224832 2763 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2763 231 231 0 3486 0
vsize: 14868
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2915 0 0 0 109904 112 0 0 25 0 1 0 423955526 15224832 2765 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2765 231 231 0 3486 0
vsize: 14868
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2919 0 0 0 110903 113 0 0 25 0 1 0 423955526 15224832 2769 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2769 231 231 0 3486 0
vsize: 14868
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2921 0 0 0 111902 114 0 0 25 0 1 0 423955526 15224832 2771 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2771 231 231 0 3486 0
vsize: 14868
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2940 0 0 0 112902 115 0 0 25 0 1 0 423955526 15224832 2790 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2790 231 231 0 3486 0
vsize: 14868
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2943 0 0 0 113901 115 0 0 25 0 1 0 423955526 15224832 2793 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2793 231 231 0 3486 0
vsize: 14868
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2945 0 0 0 114900 117 0 0 25 0 1 0 423955526 15224832 2795 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2795 231 231 0 3486 0
vsize: 14868
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2950 0 0 0 115899 118 0 0 25 0 1 0 423955526 15224832 2800 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2800 231 231 0 3486 0
vsize: 14868
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 2954 0 0 0 116898 119 0 0 25 0 1 0 423955526 15224832 2804 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2804 231 231 0 3486 0
vsize: 14868
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 3152 0 0 0 117897 120 0 0 25 0 1 0 423955526 16011264 2809 4294967295 134512640 135450300 3221224624 3221223360 134538029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3909 2809 231 231 0 3678 0
vsize: 15636
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 3157 0 0 0 118897 120 0 0 25 0 1 0 423955526 16154624 2814 4294967295 134512640 135450300 3221224624 3221222976 134533243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3944 2814 231 231 0 3713 0
vsize: 15776
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14586
Raw data (stat): 14527 (PBS4) R 14526 30927 30926 0 -1 0 3161 0 0 0 119896 122 0 0 25 0 1 0 423955526 16154624 2818 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3944 2818 231 231 0 3713 0
vsize: 15776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 14586
Raw data (stat): 14527 (PBS4) Z 14526 30927 30926 0 -1 1036 3161 0 0 0 119896 122 0 0 25 0 1 0 423955526 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.01
CPU time (s): 1200.19
CPU user time (s): 1198.96
CPU system time (s): 1.22681
CPU usage (%): 100.015
Max. virtual memory (Kb): 15776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####