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/miplib/normalized-mps-v2-13-7-mod008.opb
MD5SUMfbdb3cf321a85412feefcaac30780520
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved NO
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01684
Number of variables319
Total number of constraints325
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)319
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint231

Trace number 19115

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 17:57:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17023 boxname=wulflinc17 idbench=1310 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod008.opb
IDLAUNCH: 17023
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        668120 kB
Buffers:         13892 kB
Cached:         327332 kB
SwapCached:        408 kB
Active:          54280 kB
Inactive:       289576 kB
HighTotal:      131008 kB
HighFree:        22820 kB
LowTotal:       903652 kB
LowFree:        645300 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            17040 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 18:17:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 17023 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod008.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.92 0.95 0.98 2/55 1687
Raw data (stat): 1687 (runsolver) R 1686 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547063379 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9998 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 297 0 0 0 988 10 0 0 25 0 1 0 547063379 2023424 293 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 494 293 231 231 0 263 0
vsize: 1976
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 566 0 0 0 1987 11 0 0 25 0 1 0 547063379 3731456 562 4294967295 134512640 135450300 3221224624 3221223488 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 911 562 231 231 0 680 0
vsize: 3644
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1099 0 0 0 2986 13 0 0 25 0 1 0 547063379 6098944 1095 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1489 1095 231 231 0 1258 0
vsize: 5956
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1320 0 0 0 3986 13 0 0 25 0 1 0 547063379 6098944 1316 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1489 1316 231 231 0 1258 0
vsize: 5956
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1539 0 0 0 4985 14 0 0 25 0 1 0 547063379 10633216 1535 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1535 231 231 0 2365 0
vsize: 10384
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1743 0 0 0 5984 15 0 0 25 0 1 0 547063379 10633216 1739 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1739 231 231 0 2365 0
vsize: 10384
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1977 0 0 0 6983 17 0 0 25 0 1 0 547063379 10768384 1973 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2629 1973 231 231 0 2398 0
vsize: 10516
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2135 0 0 0 7983 17 0 0 25 0 1 0 547063379 10911744 2131 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 2131 231 231 0 2433 0
vsize: 10656
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 1687
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2146 0 0 0 8983 17 0 0 25 0 1 0 547063379 10911744 2142 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 2142 231 231 0 2433 0
vsize: 10656
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 1689
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2210 0 0 0 9982 18 0 0 25 0 1 0 547063379 11108352 2157 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2712 2157 231 231 0 2481 0
vsize: 10848
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 1689
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2239 0 0 0 10982 19 0 0 25 0 1 0 547063379 11247616 2186 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2746 2186 231 231 0 2515 0
vsize: 10984
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1689
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2271 0 0 0 11981 19 0 0 25 0 1 0 547063379 11247616 2218 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2746 2218 231 231 0 2515 0
vsize: 10984
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1689
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2293 0 0 0 12981 20 0 0 25 0 1 0 547063379 11382784 2240 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2779 2240 231 231 0 2548 0
vsize: 11116
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1689
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2320 0 0 0 13980 21 0 0 25 0 1 0 547063379 11382784 2267 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2779 2267 231 231 0 2548 0
vsize: 11116
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1689
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2446 0 0 0 14980 21 0 0 25 0 1 0 547063379 11907072 2296 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2296 231 231 0 2676 0
vsize: 11628
[startup+160.002 s]
Raw data (loadavg): 1.07 0.99 0.99 3/58 1730
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2466 0 0 0 15979 22 0 0 25 0 1 0 547063379 11907072 2316 4294967295 134512640 135450300 3221224624 3221223008 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2316 231 231 0 2676 0
vsize: 11628
[startup+170.002 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 1742
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2488 0 0 0 16979 23 0 0 25 0 1 0 547063379 12058624 2338 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2338 231 231 0 2713 0
vsize: 11776
[startup+180.001 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 1742
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2506 0 0 0 17978 23 0 0 25 0 1 0 547063379 12058624 2356 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2356 231 231 0 2713 0
vsize: 11776
[startup+190.002 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 1742
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2526 0 0 0 18978 24 0 0 25 0 1 0 547063379 12058624 2376 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2376 231 231 0 2713 0
vsize: 11776
[startup+200.002 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 1742
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2541 0 0 0 19977 25 0 0 25 0 1 0 547063379 12058624 2391 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2391 231 231 0 2713 0
vsize: 11776
[startup+210.001 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 1742
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2558 0 0 0 20977 25 0 0 25 0 1 0 547063379 12189696 2408 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2976 2408 231 231 0 2745 0
vsize: 11904
[startup+220.001 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1742
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2578 0 0 0 21977 25 0 0 25 0 1 0 547063379 12189696 2428 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2976 2428 231 231 0 2745 0
vsize: 11904
[startup+230.001 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1742
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2596 0 0 0 22976 27 0 0 25 0 1 0 547063379 12189696 2446 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2976 2446 231 231 0 2745 0
vsize: 11904
[startup+240.001 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2615 0 0 0 23976 27 0 0 25 0 1 0 547063379 12353536 2465 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3016 2465 231 231 0 2785 0
vsize: 12064
[startup+250.001 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2828 0 0 0 24975 28 0 0 25 0 1 0 547063379 13139968 2485 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3208 2485 231 231 0 2977 0
vsize: 12832
[startup+260.001 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2844 0 0 0 25975 28 0 0 25 0 1 0 547063379 13139968 2501 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3208 2501 231 231 0 2977 0
vsize: 12832
[startup+270.001 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2854 0 0 0 26974 29 0 0 25 0 1 0 547063379 13139968 2511 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3208 2511 231 231 0 2977 0
vsize: 12832
[startup+280.001 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2872 0 0 0 27974 30 0 0 25 0 1 0 547063379 13275136 2529 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2529 231 231 0 3010 0
vsize: 12964
[startup+290.001 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2882 0 0 0 28973 30 0 0 25 0 1 0 547063379 13275136 2539 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2539 231 231 0 3010 0
vsize: 12964
[startup+300.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2898 0 0 0 29973 30 0 0 25 0 1 0 547063379 13275136 2555 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2555 231 231 0 3010 0
vsize: 12964
[startup+310 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2911 0 0 0 30973 31 0 0 25 0 1 0 547063379 13275136 2568 4294967295 134512640 135450300 3221224624 3221223008 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2568 231 231 0 3010 0
vsize: 12964
[startup+320 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2921 0 0 0 31973 31 0 0 25 0 1 0 547063379 13275136 2578 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2578 231 231 0 3010 0
vsize: 12964
[startup+329.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2930 0 0 0 32973 32 0 0 25 0 1 0 547063379 13410304 2587 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2587 231 231 0 3043 0
vsize: 13096
[startup+340 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2954 0 0 0 33972 32 0 0 25 0 1 0 547063379 13410304 2611 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2611 231 231 0 3043 0
vsize: 13096
[startup+349.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2964 0 0 0 34972 32 0 0 25 0 1 0 547063379 13410304 2621 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2621 231 231 0 3043 0
vsize: 13096
[startup+359.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2972 0 0 0 35972 33 0 0 25 0 1 0 547063379 13410304 2629 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2629 231 231 0 3043 0
vsize: 13096
[startup+370 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2988 0 0 0 36972 33 0 0 25 0 1 0 547063379 13410304 2645 4294967295 134512640 135450300 3221224624 3221223360 134538029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2645 231 231 0 3043 0
vsize: 13096
[startup+379.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2997 0 0 0 37972 34 0 0 25 0 1 0 547063379 13410304 2654 4294967295 134512640 135450300 3221224624 3221223344 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2654 231 231 0 3043 0
vsize: 13096
[startup+390 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1744
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3021 0 0 0 38972 34 0 0 25 0 1 0 547063379 13586432 2678 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2678 231 231 0 3086 0
vsize: 13268
[startup+400.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3032 0 0 0 39971 34 0 0 25 0 1 0 547063379 13586432 2689 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2689 231 231 0 3086 0
vsize: 13268
[startup+410 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3044 0 0 0 40971 35 0 0 25 0 1 0 547063379 13586432 2701 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2701 231 231 0 3086 0
vsize: 13268
[startup+420 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3049 0 0 0 41971 35 0 0 25 0 1 0 547063379 13586432 2706 4294967295 134512640 135450300 3221224624 3221223456 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2706 231 231 0 3086 0
vsize: 13268
[startup+430 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3071 0 0 0 42970 36 0 0 25 0 1 0 547063379 13586432 2728 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2728 231 231 0 3086 0
vsize: 13268
[startup+440 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3082 0 0 0 43970 36 0 0 25 0 1 0 547063379 13586432 2739 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2739 231 231 0 3086 0
vsize: 13268
[startup+450 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3092 0 0 0 44970 37 0 0 25 0 1 0 547063379 13783040 2749 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2749 231 231 0 3134 0
vsize: 13460
[startup+459.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3209 0 0 0 45969 38 0 0 25 0 1 0 547063379 13783040 2866 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2866 231 231 0 3134 0
vsize: 13460
[startup+470 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3221 0 0 0 46969 38 0 0 25 0 1 0 547063379 13783040 2878 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2878 231 231 0 3134 0
vsize: 13460
[startup+479.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1746
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3245 0 0 0 47968 39 0 0 25 0 1 0 547063379 13783040 2902 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2902 231 231 0 3134 0
vsize: 13460
[startup+490 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3254 0 0 0 48968 39 0 0 25 0 1 0 547063379 13783040 2911 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2911 231 231 0 3134 0
vsize: 13460
[startup+500.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3261 0 0 0 49968 39 0 0 25 0 1 0 547063379 13783040 2918 4294967295 134512640 135450300 3221224624 3221223456 134549267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2918 231 231 0 3134 0
vsize: 13460
[startup+510 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3267 0 0 0 50968 40 0 0 25 0 1 0 547063379 13783040 2924 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2924 231 231 0 3134 0
vsize: 13460
[startup+520.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3286 0 0 0 51967 40 0 0 25 0 1 0 547063379 13987840 2943 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2943 231 231 0 3184 0
vsize: 13660
[startup+530 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3295 0 0 0 52968 40 0 0 25 0 1 0 547063379 13987840 2952 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2952 231 231 0 3184 0
vsize: 13660
[startup+540.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3305 0 0 0 53967 41 0 0 25 0 1 0 547063379 13987840 2962 4294967295 134512640 135450300 3221224624 3221223232 134537761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2962 231 231 0 3184 0
vsize: 13660
[startup+550 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3314 0 0 0 54967 41 0 0 25 0 1 0 547063379 13987840 2971 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2971 231 231 0 3184 0
vsize: 13660
[startup+560 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3326 0 0 0 55967 42 0 0 25 0 1 0 547063379 13987840 2983 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2983 231 231 0 3184 0
vsize: 13660
[startup+570.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3332 0 0 0 56966 43 0 0 25 0 1 0 547063379 13987840 2989 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2989 231 231 0 3184 0
vsize: 13660
[startup+580 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3731 0 0 0 57965 44 0 0 25 0 1 0 547063379 15560704 3003 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 3003 231 231 0 3568 0
vsize: 15196
[startup+590 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3743 0 0 0 58965 44 0 0 25 0 1 0 547063379 15560704 3015 4294967295 134512640 135450300 3221224624 3221223404 134535398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 3015 231 231 0 3568 0
vsize: 15196
[startup+600 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3758 0 0 0 59965 45 0 0 25 0 1 0 547063379 15699968 3030 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3030 231 231 0 3602 0
vsize: 15332
[startup+609.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3763 0 0 0 60964 45 0 0 25 0 1 0 547063379 15699968 3035 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3035 231 231 0 3602 0
vsize: 15332
[startup+619.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3783 0 0 0 61964 45 0 0 25 0 1 0 547063379 15699968 3055 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3055 231 231 0 3602 0
vsize: 15332
[startup+630 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3788 0 0 0 62964 45 0 0 25 0 1 0 547063379 15699968 3060 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3060 231 231 0 3602 0
vsize: 15332
[startup+640 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3793 0 0 0 63964 46 0 0 25 0 1 0 547063379 15699968 3065 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3065 231 231 0 3602 0
vsize: 15332
[startup+649.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3802 0 0 0 64964 46 0 0 25 0 1 0 547063379 15699968 3074 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3074 231 231 0 3602 0
vsize: 15332
[startup+659.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3819 0 0 0 65964 46 0 0 25 0 1 0 547063379 15699968 3091 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3091 231 231 0 3602 0
vsize: 15332
[startup+670 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3824 0 0 0 66963 47 0 0 25 0 1 0 547063379 15699968 3096 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 3096 231 231 0 3602 0
vsize: 15332
[startup+680 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3834 0 0 0 67963 47 0 0 25 0 1 0 547063379 15839232 3106 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3106 231 231 0 3636 0
vsize: 15468
[startup+690 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1748
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3842 0 0 0 68963 48 0 0 25 0 1 0 547063379 15839232 3114 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3114 231 231 0 3636 0
vsize: 15468
[startup+700.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3859 0 0 0 69963 48 0 0 25 0 1 0 547063379 15839232 3131 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3131 231 231 0 3636 0
vsize: 15468
[startup+710 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3870 0 0 0 70963 48 0 0 25 0 1 0 547063379 15839232 3142 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3142 231 231 0 3636 0
vsize: 15468
[startup+720 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3876 0 0 0 71963 49 0 0 25 0 1 0 547063379 15839232 3148 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3148 231 231 0 3636 0
vsize: 15468
[startup+730 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3882 0 0 0 72963 49 0 0 25 0 1 0 547063379 15839232 3154 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3154 231 231 0 3636 0
vsize: 15468
[startup+740 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3891 0 0 0 73962 50 0 0 25 0 1 0 547063379 15839232 3163 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3163 231 231 0 3636 0
vsize: 15468
[startup+750 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3903 0 0 0 74962 50 0 0 25 0 1 0 547063379 16084992 3175 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3175 231 231 0 3696 0
vsize: 15708
[startup+759.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3916 0 0 0 75962 50 0 0 25 0 1 0 547063379 16084992 3188 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3188 231 231 0 3696 0
vsize: 15708
[startup+770 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3922 0 0 0 76962 51 0 0 25 0 1 0 547063379 16084992 3194 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3194 231 231 0 3696 0
vsize: 15708
[startup+780 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3930 0 0 0 77962 51 0 0 25 0 1 0 547063379 16084992 3202 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3202 231 231 0 3696 0
vsize: 15708
[startup+790 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3935 0 0 0 78961 51 0 0 25 0 1 0 547063379 16084992 3207 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3207 231 231 0 3696 0
vsize: 15708
[startup+800.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3943 0 0 0 79961 52 0 0 25 0 1 0 547063379 16084992 3215 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3215 231 231 0 3696 0
vsize: 15708
[startup+810 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3955 0 0 0 80961 52 0 0 25 0 1 0 547063379 16084992 3227 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3227 231 231 0 3696 0
vsize: 15708
[startup+820.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3968 0 0 0 81961 52 0 0 25 0 1 0 547063379 16084992 3240 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3240 231 231 0 3696 0
vsize: 15708
[startup+830.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3973 0 0 0 82961 53 0 0 25 0 1 0 547063379 16269312 3245 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3245 231 231 0 3741 0
vsize: 15888
[startup+840.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3990 0 0 0 83961 53 0 0 25 0 1 0 547063379 16269312 3262 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3262 231 231 0 3741 0
vsize: 15888
[startup+850.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3997 0 0 0 84960 54 0 0 25 0 1 0 547063379 16269312 3269 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3269 231 231 0 3741 0
vsize: 15888
[startup+860.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4003 0 0 0 85960 54 0 0 25 0 1 0 547063379 16269312 3275 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3275 231 231 0 3741 0
vsize: 15888
[startup+870.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4020 0 0 0 86960 54 0 0 25 0 1 0 547063379 16269312 3292 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3292 231 231 0 3741 0
vsize: 15888
[startup+880 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4026 0 0 0 87960 55 0 0 25 0 1 0 547063379 16269312 3298 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3298 231 231 0 3741 0
vsize: 15888
[startup+890.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4036 0 0 0 88959 55 0 0 25 0 1 0 547063379 16269312 3308 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3308 231 231 0 3741 0
vsize: 15888
[startup+900.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4051 0 0 0 89959 56 0 0 25 0 1 0 547063379 16269312 3323 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3323 231 231 0 3741 0
vsize: 15888
[startup+910 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4061 0 0 0 90959 56 0 0 25 0 1 0 547063379 16269312 3333 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3333 231 231 0 3741 0
vsize: 15888
[startup+920 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4101 0 0 0 91959 56 0 0 25 0 1 0 547063379 16404480 3373 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3373 231 231 0 3774 0
vsize: 16020
[startup+930.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4109 0 0 0 92959 56 0 0 25 0 1 0 547063379 16404480 3381 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3381 231 231 0 3774 0
vsize: 16020
[startup+940.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4113 0 0 0 93959 57 0 0 25 0 1 0 547063379 16404480 3385 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3385 231 231 0 3774 0
vsize: 16020
[startup+950.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4129 0 0 0 94959 57 0 0 25 0 1 0 547063379 16404480 3401 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3401 231 231 0 3774 0
vsize: 16020
[startup+960 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4133 0 0 0 95959 57 0 0 25 0 1 0 547063379 16404480 3405 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3405 231 231 0 3774 0
vsize: 16020
[startup+970.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4146 0 0 0 96958 58 0 0 25 0 1 0 547063379 16543744 3418 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3418 231 231 0 3808 0
vsize: 16156
[startup+980.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4150 0 0 0 97958 58 0 0 25 0 1 0 547063379 16543744 3422 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3422 231 231 0 3808 0
vsize: 16156
[startup+990.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1750
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4156 0 0 0 98959 58 0 0 25 0 1 0 547063379 16543744 3428 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3428 231 231 0 3808 0
vsize: 16156
[startup+1000 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4159 0 0 0 99959 58 0 0 25 0 1 0 547063379 16543744 3431 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3431 231 231 0 3808 0
vsize: 16156
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4164 0 0 0 100958 59 0 0 25 0 1 0 547063379 16543744 3436 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3436 231 231 0 3808 0
vsize: 16156
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4177 0 0 0 101958 59 0 0 25 0 1 0 547063379 16687104 3449 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3449 231 231 0 3843 0
vsize: 16296
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4182 0 0 0 102958 59 0 0 25 0 1 0 547063379 16687104 3454 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3454 231 231 0 3843 0
vsize: 16296
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4186 0 0 0 103958 59 0 0 25 0 1 0 547063379 16687104 3458 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3458 231 231 0 3843 0
vsize: 16296
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4199 0 0 0 104958 59 0 0 25 0 1 0 547063379 16687104 3471 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3471 231 231 0 3843 0
vsize: 16296
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4202 0 0 0 105958 60 0 0 25 0 1 0 547063379 16687104 3474 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3474 231 231 0 3843 0
vsize: 16296
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4207 0 0 0 106958 60 0 0 25 0 1 0 547063379 16687104 3479 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3479 231 231 0 3843 0
vsize: 16296
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4214 0 0 0 107958 61 0 0 25 0 1 0 547063379 16687104 3486 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3486 231 231 0 3843 0
vsize: 16296
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4218 0 0 0 108958 61 0 0 25 0 1 0 547063379 16687104 3490 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3490 231 231 0 3843 0
vsize: 16296
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4225 0 0 0 109958 61 0 0 25 0 1 0 547063379 16687104 3497 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3497 231 231 0 3843 0
vsize: 16296
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4230 0 0 0 110958 61 0 0 25 0 1 0 547063379 16687104 3502 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3502 231 231 0 3843 0
vsize: 16296
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4233 0 0 0 111958 61 0 0 25 0 1 0 547063379 16687104 3505 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3505 231 231 0 3843 0
vsize: 16296
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4237 0 0 0 112958 61 0 0 25 0 1 0 547063379 16687104 3509 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3509 231 231 0 3843 0
vsize: 16296
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4241 0 0 0 113958 61 0 0 25 0 1 0 547063379 16687104 3513 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3513 231 231 0 3843 0
vsize: 16296
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4244 0 0 0 114958 61 0 0 25 0 1 0 547063379 16838656 3516 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3516 231 231 0 3880 0
vsize: 16444
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4248 0 0 0 115958 62 0 0 25 0 1 0 547063379 16838656 3520 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3520 231 231 0 3880 0
vsize: 16444
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4258 0 0 0 116958 62 0 0 25 0 1 0 547063379 16838656 3530 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3530 231 231 0 3880 0
vsize: 16444
[startup+1180 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4273 0 0 0 117958 62 0 0 25 0 1 0 547063379 16838656 3545 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3545 231 231 0 3880 0
vsize: 16444
[startup+1190 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4279 0 0 0 118958 62 0 0 25 0 1 0 547063379 16838656 3551 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3551 231 231 0 3880 0
vsize: 16444
[startup+1200 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1752
Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4284 0 0 0 119958 63 0 0 25 0 1 0 547063379 16838656 3556 4294967295 134512640 135450300 3221224624 3221223232 134537560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3556 231 231 0 3880 0
vsize: 16444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 1752
Raw data (stat): 1687 (PBS4) Z 1686 20838 20837 0 -1 1036 4284 0 0 0 119958 63 0 0 25 0 1 0 547063379 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.01
CPU time (s): 1200.23
CPU user time (s): 1199.59
CPU system time (s): 0.639902
CPU usage (%): 100.018
Max. virtual memory (Kb): 16444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####