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/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM20fc65112f36a5d10cc9eaa82c0beb63
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -38
Optimality of the best value was proved NO
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.1
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 7910

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        828688 kB
Buffers:         38724 kB
Cached:         143992 kB
SwapCached:          0 kB
Active:          92128 kB
Inactive:        95232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        828436 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12960 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:31:33 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 3048 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc8/normalized-frb53-24-1.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.97 0.91 2/54 19433
Raw data (stat): 19433 (runsolver) R 19432 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 440428939 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.0008 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 4267 0 0 0 988 11 0 0 25 0 1 0 440428939 22810624 3535 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5569 3535 231 231 0 5338 0
vsize: 22276
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.97 0.91 3/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 6338 0 0 0 1983 16 0 0 25 0 1 0 440428939 39723008 5606 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9698 5606 231 231 0 9467 0
vsize: 38792
[startup+30.0026 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 8537 0 0 0 2977 22 0 0 25 0 1 0 440428939 39858176 7805 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9731 7805 231 231 0 9500 0
vsize: 38924
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 10579 0 0 0 3972 27 0 0 25 0 1 0 440428939 73412608 9847 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17923 9847 231 231 0 17692 0
vsize: 71692
[startup+50.0052 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 12390 0 0 0 4968 31 0 0 25 0 1 0 440428939 73412608 11658 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17923 11658 231 231 0 17692 0
vsize: 71692
[startup+60.0062 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 13748 0 0 0 5965 34 0 0 25 0 1 0 440428939 73551872 13016 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17957 13016 231 231 0 17726 0
vsize: 71828
[startup+70.0064 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 15374 0 0 0 6962 38 0 0 25 0 1 0 440428939 73551872 14642 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17957 14642 231 231 0 17726 0
vsize: 71828
[startup+80.0072 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 17047 0 0 0 7958 42 0 0 25 0 1 0 440428939 73551872 16315 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17957 16315 231 231 0 17726 0
vsize: 71828
[startup+90.0072 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 18837 0 0 0 8954 46 0 0 25 0 1 0 440428939 140800000 18105 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34375 18105 231 231 0 34144 0
vsize: 137500
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 20425 0 0 0 9951 50 0 0 25 0 1 0 440428939 141828096 19693 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34626 19693 231 231 0 34395 0
vsize: 138504
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.91 3/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 22079 0 0 0 10947 54 0 0 25 0 1 0 440428939 142249984 21347 4294967295 134512640 135450300 3221224640 3221223116 134572584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34729 21347 231 231 0 34498 0
vsize: 138916
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 23540 0 0 0 11943 58 0 0 25 0 1 0 440428939 142528512 22808 4294967295 134512640 135450300 3221224640 3221223116 134571602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34797 22808 231 231 0 34566 0
vsize: 139188
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 24824 0 0 0 12940 61 0 0 25 0 1 0 440428939 142528512 24092 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34797 24092 231 231 0 34566 0
vsize: 139188
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 24981 0 0 0 13940 62 0 0 25 0 1 0 440428939 143237120 24249 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34970 24249 231 231 0 34739 0
vsize: 139880
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 25043 0 0 0 14940 62 0 0 25 0 1 0 440428939 143519744 24311 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35039 24311 231 231 0 34808 0
vsize: 140156
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 25048 0 0 0 15940 62 0 0 25 0 1 0 440428939 143519744 24316 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35039 24316 231 231 0 34808 0
vsize: 140156
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 25294 0 0 0 16939 63 0 0 25 0 1 0 440428939 144080896 24562 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35176 24562 231 231 0 34945 0
vsize: 140704
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 26731 0 0 0 17934 68 0 0 25 0 1 0 440428939 144678912 25999 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35322 25999 231 231 0 35091 0
vsize: 141288
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 27656 0 0 0 18933 70 0 0 25 0 1 0 440428939 144826368 26924 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35358 26924 231 231 0 35127 0
vsize: 141432
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 27674 0 0 0 19932 70 0 0 25 0 1 0 440428939 144961536 26942 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35391 26942 231 231 0 35160 0
vsize: 141564
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 27729 0 0 0 20932 71 0 0 25 0 1 0 440428939 145104896 26997 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35426 26997 231 231 0 35195 0
vsize: 141704
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 27799 0 0 0 21932 71 0 0 25 0 1 0 440428939 145379328 27067 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35493 27067 231 231 0 35262 0
vsize: 141972
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 27976 0 0 0 22932 72 0 0 25 0 1 0 440428939 145666048 27244 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35563 27244 231 231 0 35332 0
vsize: 142252
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 29658 0 0 0 23928 75 0 0 25 0 1 0 440428939 145666048 28926 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35563 28926 231 231 0 35332 0
vsize: 142252
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 31044 0 0 0 24925 79 0 0 25 0 1 0 440428939 146219008 30312 4294967295 134512640 135450300 3221224640 3221223116 134572375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35698 30312 231 231 0 35467 0
vsize: 142792
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 31479 0 0 0 25924 80 0 0 25 0 1 0 440428939 146358272 30747 4294967295 134512640 135450300 3221224640 3221223104 134532583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35732 30747 231 231 0 35501 0
vsize: 142928
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 31482 0 0 0 26924 80 0 0 25 0 1 0 440428939 146358272 30750 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35732 30750 231 231 0 35501 0
vsize: 142928
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 31549 0 0 0 27924 80 0 0 25 0 1 0 440428939 146640896 30817 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35801 30817 231 231 0 35570 0
vsize: 143204
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 31607 0 0 0 28924 81 0 0 25 0 1 0 440428939 146780160 30875 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35835 30875 231 231 0 35604 0
vsize: 143340
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 31660 0 0 0 29924 81 0 0 25 0 1 0 440428939 147075072 30928 4294967295 134512640 135450300 3221224640 3221223168 134544635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35907 30928 231 231 0 35676 0
vsize: 143628
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 31668 0 0 0 30924 81 0 0 25 0 1 0 440428939 147075072 30936 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35907 30936 231 231 0 35676 0
vsize: 143628
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 32762 0 0 0 31921 84 0 0 25 0 1 0 440428939 147365888 32030 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35978 32030 231 231 0 35747 0
vsize: 143912
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 33450 0 0 0 32920 85 0 0 25 0 1 0 440428939 147505152 32718 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36012 32718 231 231 0 35781 0
vsize: 144048
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 33454 0 0 0 33920 85 0 0 25 0 1 0 440428939 147505152 32722 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36012 32722 231 231 0 35781 0
vsize: 144048
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 33514 0 0 0 34920 85 0 0 25 0 1 0 440428939 147771392 32782 4294967295 134512640 135450300 3221224640 3221223092 134580050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36077 32782 231 231 0 35846 0
vsize: 144308
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 33599 0 0 0 35920 86 0 0 25 0 1 0 440428939 148197376 32867 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36181 32867 231 231 0 35950 0
vsize: 144724
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 33661 0 0 0 36920 86 0 0 25 0 1 0 440428939 148492288 32929 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36253 32929 231 231 0 36022 0
vsize: 145012
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 33665 0 0 0 37920 86 0 0 25 0 1 0 440428939 148492288 32933 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36253 32933 231 231 0 36022 0
vsize: 145012
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 34701 0 0 0 38918 89 0 0 25 0 1 0 440428939 148656128 33969 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36293 33969 231 231 0 36062 0
vsize: 145172
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 34942 0 0 0 39918 89 0 0 25 0 1 0 440428939 148795392 34210 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36327 34210 231 231 0 36096 0
vsize: 145308
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 34974 0 0 0 40917 89 0 0 25 0 1 0 440428939 148938752 34242 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36362 34242 231 231 0 36131 0
vsize: 145448
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 34978 0 0 0 41917 89 0 0 25 0 1 0 440428939 148938752 34246 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36362 34246 231 231 0 36131 0
vsize: 145448
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 35011 0 0 0 42917 90 0 0 25 0 1 0 440428939 149086208 34279 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36398 34279 231 231 0 36167 0
vsize: 145592
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 35071 0 0 0 43917 90 0 0 25 0 1 0 440428939 149377024 34339 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36469 34339 231 231 0 36238 0
vsize: 145876
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 35118 0 0 0 44917 90 0 0 25 0 1 0 440428939 149524480 34386 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36505 34386 231 231 0 36274 0
vsize: 146020
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 36049 0 0 0 45915 93 0 0 25 0 1 0 440428939 149819392 35317 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36577 35317 231 231 0 36346 0
vsize: 146308
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 37766 0 0 0 46910 98 0 0 25 0 1 0 440428939 284184576 37034 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69381 37034 231 231 0 69150 0
vsize: 277524
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 38924 0 0 0 47908 101 0 0 25 0 1 0 440428939 284471296 38192 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69451 38192 231 231 0 69220 0
vsize: 277804
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 39877 0 0 0 48905 103 0 0 25 0 1 0 440428939 284471296 39145 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69451 39145 231 231 0 69220 0
vsize: 277804
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 41206 0 0 0 49902 107 0 0 25 0 1 0 440428939 284471296 40474 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69451 40474 231 231 0 69220 0
vsize: 277804
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 42520 0 0 0 50899 110 0 0 25 0 1 0 440428939 284889088 41788 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69553 41788 231 231 0 69322 0
vsize: 278212
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 42984 0 0 0 51897 112 0 0 25 0 1 0 440428939 284889088 42252 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69553 42252 231 231 0 69322 0
vsize: 278212
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 42987 0 0 0 52897 112 0 0 25 0 1 0 440428939 284889088 42255 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69553 42255 231 231 0 69322 0
vsize: 278212
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43011 0 0 0 53897 112 0 0 25 0 1 0 440428939 285052928 42279 4294967295 134512640 135450300 3221224640 3221223024 134579558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69593 42279 231 231 0 69362 0
vsize: 278372
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43050 0 0 0 54897 113 0 0 25 0 1 0 440428939 285360128 42318 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69668 42318 231 231 0 69437 0
vsize: 278672
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43052 0 0 0 55897 113 0 0 25 0 1 0 440428939 285360128 42320 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69668 42320 231 231 0 69437 0
vsize: 278672
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43074 0 0 0 56897 113 0 0 25 0 1 0 440428939 285360128 42342 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69668 42342 231 231 0 69437 0
vsize: 278672
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43109 0 0 0 57897 113 0 0 25 0 1 0 440428939 285507584 42377 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69704 42377 231 231 0 69473 0
vsize: 278816
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43128 0 0 0 58896 113 0 0 25 0 1 0 440428939 285650944 42396 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69739 42396 231 231 0 69508 0
vsize: 278956
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43148 0 0 0 59897 113 0 0 25 0 1 0 440428939 285650944 42416 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69739 42416 231 231 0 69508 0
vsize: 278956
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43190 0 0 0 60897 113 0 0 25 0 1 0 440428939 285798400 42458 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69775 42458 231 231 0 69544 0
vsize: 279100
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43194 0 0 0 61897 114 0 0 25 0 1 0 440428939 285798400 42462 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69775 42462 231 231 0 69544 0
vsize: 279100
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43205 0 0 0 62897 114 0 0 25 0 1 0 440428939 285978624 42473 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69819 42473 231 231 0 69588 0
vsize: 279276
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43227 0 0 0 63897 114 0 0 25 0 1 0 440428939 285978624 42495 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69819 42495 231 231 0 69588 0
vsize: 279276
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43242 0 0 0 64897 114 0 0 25 0 1 0 440428939 285978624 42510 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69819 42510 231 231 0 69588 0
vsize: 279276
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43287 0 0 0 65897 115 0 0 25 0 1 0 440428939 286240768 42555 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69883 42555 231 231 0 69652 0
vsize: 279532
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43337 0 0 0 66897 115 0 0 25 0 1 0 440428939 286539776 42605 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69956 42605 231 231 0 69725 0
vsize: 279824
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43340 0 0 0 67897 115 0 0 25 0 1 0 440428939 286539776 42608 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69956 42608 231 231 0 69725 0
vsize: 279824
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 43374 0 0 0 68897 115 0 0 25 0 1 0 440428939 286539776 42642 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69956 42642 231 231 0 69725 0
vsize: 279824
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44145 0 0 0 69895 117 0 0 25 0 1 0 440428939 289685504 42644 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70724 42644 231 231 0 70493 0
vsize: 282896
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44163 0 0 0 70895 117 0 0 25 0 1 0 440428939 289849344 42662 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70764 42662 231 231 0 70533 0
vsize: 283056
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44209 0 0 0 71895 117 0 0 25 0 1 0 440428939 289988608 42708 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70798 42708 231 231 0 70567 0
vsize: 283192
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44226 0 0 0 72895 118 0 0 25 0 1 0 440428939 290136064 42725 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70834 42725 231 231 0 70603 0
vsize: 283336
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44246 0 0 0 73895 118 0 0 25 0 1 0 440428939 290136064 42745 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70834 42745 231 231 0 70603 0
vsize: 283336
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44248 0 0 0 74895 118 0 0 25 0 1 0 440428939 290136064 42747 4294967295 134512640 135450300 3221224640 3221223552 134597282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70834 42747 231 231 0 70603 0
vsize: 283336
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44262 0 0 0 75895 118 0 0 25 0 1 0 440428939 290136064 42761 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70834 42761 231 231 0 70603 0
vsize: 283336
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44277 0 0 0 76895 119 0 0 25 0 1 0 440428939 290275328 42776 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70868 42776 231 231 0 70637 0
vsize: 283472
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44338 0 0 0 77895 119 0 0 25 0 1 0 440428939 290578432 42837 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70942 42837 231 231 0 70711 0
vsize: 283768
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44358 0 0 0 78895 119 0 0 25 0 1 0 440428939 290578432 42857 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70942 42857 231 231 0 70711 0
vsize: 283768
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44387 0 0 0 79895 119 0 0 25 0 1 0 440428939 290725888 42886 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70978 42886 231 231 0 70747 0
vsize: 283912
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44407 0 0 0 80895 119 0 0 25 0 1 0 440428939 290725888 42906 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70978 42906 231 231 0 70747 0
vsize: 283912
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44411 0 0 0 81895 120 0 0 25 0 1 0 440428939 290725888 42910 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70978 42910 231 231 0 70747 0
vsize: 283912
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44436 0 0 0 82895 120 0 0 25 0 1 0 440428939 290889728 42935 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71018 42935 231 231 0 70787 0
vsize: 284072
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44438 0 0 0 83895 120 0 0 25 0 1 0 440428939 290889728 42937 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71018 42937 231 231 0 70787 0
vsize: 284072
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44475 0 0 0 84895 120 0 0 25 0 1 0 440428939 291037184 42974 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71054 42974 231 231 0 70823 0
vsize: 284216
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44497 0 0 0 85895 121 0 0 25 0 1 0 440428939 291176448 42996 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71088 42996 231 231 0 70857 0
vsize: 284352
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44509 0 0 0 86895 121 0 0 25 0 1 0 440428939 291176448 43008 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71088 43008 231 231 0 70857 0
vsize: 284352
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44543 0 0 0 87895 121 0 0 25 0 1 0 440428939 291323904 43042 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71124 43042 231 231 0 70893 0
vsize: 284496
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44574 0 0 0 88895 121 0 0 25 0 1 0 440428939 291471360 43073 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71160 43073 231 231 0 70929 0
vsize: 284640
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44576 0 0 0 89895 122 0 0 25 0 1 0 440428939 291471360 43075 4294967295 134512640 135450300 3221224640 3221223104 134532583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71160 43075 231 231 0 70929 0
vsize: 284640
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44617 0 0 0 90895 122 0 0 25 0 1 0 440428939 291635200 43116 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71200 43116 231 231 0 70969 0
vsize: 284800
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44629 0 0 0 91895 122 0 0 25 0 1 0 440428939 291799040 43128 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71240 43128 231 231 0 71009 0
vsize: 284960
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44646 0 0 0 92895 122 0 0 25 0 1 0 440428939 291799040 43145 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71240 43145 231 231 0 71009 0
vsize: 284960
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44674 0 0 0 93895 122 0 0 25 0 1 0 440428939 291799040 43173 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71240 43173 231 231 0 71009 0
vsize: 284960
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44676 0 0 0 94895 122 0 0 25 0 1 0 440428939 291799040 43175 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71240 43175 231 231 0 71009 0
vsize: 284960
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44707 0 0 0 95895 123 0 0 25 0 1 0 440428939 292077568 43206 4294967295 134512640 135450300 3221224640 3221223024 134602283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71308 43206 231 231 0 71077 0
vsize: 285232
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44742 0 0 0 96895 123 0 0 25 0 1 0 440428939 292225024 43241 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71344 43241 231 231 0 71113 0
vsize: 285376
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44744 0 0 0 97895 123 0 0 25 0 1 0 440428939 292225024 43243 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71344 43243 231 231 0 71113 0
vsize: 285376
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44807 0 0 0 98895 123 0 0 25 0 1 0 440428939 292372480 43306 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71380 43306 231 231 0 71149 0
vsize: 285520
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44826 0 0 0 99895 123 0 0 25 0 1 0 440428939 292519936 43325 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71416 43325 231 231 0 71185 0
vsize: 285664
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44834 0 0 0 100895 123 0 0 25 0 1 0 440428939 292519936 43333 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71416 43333 231 231 0 71185 0
vsize: 285664
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44849 0 0 0 101895 124 0 0 25 0 1 0 440428939 292659200 43348 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43348 231 231 0 71219 0
vsize: 285800
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44871 0 0 0 102895 124 0 0 25 0 1 0 440428939 292659200 43370 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43370 231 231 0 71219 0
vsize: 285800
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44874 0 0 0 103895 124 0 0 25 0 1 0 440428939 292659200 43373 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43373 231 231 0 71219 0
vsize: 285800
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44881 0 0 0 104895 124 0 0 25 0 1 0 440428939 292659200 43380 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43380 231 231 0 71219 0
vsize: 285800
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44887 0 0 0 105895 124 0 0 25 0 1 0 440428939 292659200 43386 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43386 231 231 0 71219 0
vsize: 285800
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44890 0 0 0 106895 125 0 0 25 0 1 0 440428939 292659200 43389 4294967295 134512640 135450300 3221224640 3221223472 134549500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43389 231 231 0 71219 0
vsize: 285800
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44908 0 0 0 107895 125 0 0 25 0 1 0 440428939 292659200 43407 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43407 231 231 0 71219 0
vsize: 285800
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44910 0 0 0 108895 125 0 0 25 0 1 0 440428939 292659200 43409 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71450 43409 231 231 0 71219 0
vsize: 285800
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44946 0 0 0 109895 125 0 0 25 0 1 0 440428939 292970496 43445 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71526 43445 231 231 0 71295 0
vsize: 286104
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44968 0 0 0 110895 125 0 0 25 0 1 0 440428939 292970496 43467 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71526 43467 231 231 0 71295 0
vsize: 286104
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44971 0 0 0 111895 125 0 0 25 0 1 0 440428939 292970496 43470 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71526 43470 231 231 0 71295 0
vsize: 286104
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44994 0 0 0 112894 126 0 0 25 0 1 0 440428939 293117952 43493 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71562 43493 231 231 0 71331 0
vsize: 286248
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 44996 0 0 0 113894 126 0 0 25 0 1 0 440428939 293117952 43495 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71562 43495 231 231 0 71331 0
vsize: 286248
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 45011 0 0 0 114894 126 0 0 25 0 1 0 440428939 293117952 43510 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71562 43510 231 231 0 71331 0
vsize: 286248
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 45025 0 0 0 115894 126 0 0 25 0 1 0 440428939 293117952 43524 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71562 43524 231 231 0 71331 0
vsize: 286248
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 45047 0 0 0 116894 127 0 0 25 0 1 0 440428939 293265408 43546 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71598 43546 231 231 0 71367 0
vsize: 286392
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 45051 0 0 0 117894 127 0 0 25 0 1 0 440428939 293265408 43550 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71598 43550 231 231 0 71367 0
vsize: 286392
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 45100 0 0 0 118894 127 0 0 25 0 1 0 440428939 293564416 43599 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71671 43599 231 231 0 71440 0
vsize: 286684
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19433
Raw data (stat): 19433 (PBS4) R 19432 26667 26666 0 -1 0 45123 0 0 0 119894 128 0 0 25 0 1 0 440428939 293564416 43622 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71671 43622 231 231 0 71440 0
vsize: 286684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19433
Raw data (stat): 19433 (PBS4) Z 19432 26667 26666 0 -1 1036 45123 0 0 0 119894 136 0 0 25 0 1 0 440428939 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.12
CPU time (s): 1200.31
CPU user time (s): 1198.94
CPU system time (s): 1.36179
CPU usage (%): 100.016
Max. virtual memory (Kb): 286684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####