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/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM4fdec182582ed31d1ae371090f6cc5c1
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 1200
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 1200
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 1200
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables1200
Total number of constraints3150
Number of constraints which are clauses3150
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 constraint3

Trace number 7705

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-17 15:58:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1158 boxname=wulflinc1 idbench=129 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc1/normalized-f600.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-f600.opb
IDLAUNCH: 1158
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        801632 kB
Buffers:         42648 kB
Cached:         164412 kB
SwapCached:          0 kB
Active:         122808 kB
Inactive:        87396 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        801380 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7212 kB
Slab:            17100 kB
Committed_AS:    92816 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:18:22 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 1158 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-f600.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.30 0.51 0.47 2/56 13751
Raw data (stat): 13751 (runsolver) R 13750 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 396699639 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0004 s]
Raw data (loadavg): 0.40 0.52 0.47 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 458 0 0 0 997 2 0 0 25 0 1 0 396699639 2916352 454 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 712 454 231 231 0 481 0
vsize: 2848
[startup+20.0002 s]
Raw data (loadavg): 0.50 0.54 0.48 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 646 0 0 0 1997 2 0 0 25 0 1 0 396699639 3964928 642 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 968 642 231 231 0 737 0
vsize: 3872
[startup+30.0009 s]
Raw data (loadavg): 0.57 0.55 0.48 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 887 0 0 0 2996 4 0 0 25 0 1 0 396699639 4296704 834 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1049 834 231 231 0 818 0
vsize: 4196
[startup+40.0007 s]
Raw data (loadavg): 0.64 0.57 0.49 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1066 0 0 0 3995 5 0 0 25 0 1 0 396699639 6664192 1013 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1627 1013 231 231 0 1396 0
vsize: 6508
[startup+50.0019 s]
Raw data (loadavg): 0.69 0.58 0.49 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1240 0 0 0 4993 6 0 0 25 0 1 0 396699639 6803456 1187 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1661 1187 231 231 0 1430 0
vsize: 6644
[startup+60.0023 s]
Raw data (loadavg): 0.74 0.59 0.50 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1296 0 0 0 5992 8 0 0 25 0 1 0 396699639 6938624 1243 4294967295 134512640 135450300 3221224640 3221223376 134537967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 1243 231 231 0 1463 0
vsize: 6776
[startup+70.002 s]
Raw data (loadavg): 0.78 0.61 0.50 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1452 0 0 0 6991 8 0 0 25 0 1 0 396699639 7454720 1302 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1820 1302 231 231 0 1589 0
vsize: 7280
[startup+80.0028 s]
Raw data (loadavg): 0.81 0.62 0.51 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1492 0 0 0 7991 9 0 0 25 0 1 0 396699639 7589888 1342 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1853 1342 231 231 0 1622 0
vsize: 7412
[startup+90.0026 s]
Raw data (loadavg): 0.84 0.63 0.51 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1586 0 0 0 8990 10 0 0 25 0 1 0 396699639 7729152 1436 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1887 1436 231 231 0 1656 0
vsize: 7548
[startup+100.003 s]
Raw data (loadavg): 0.87 0.64 0.52 2/56 13751
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1699 0 0 0 9990 11 0 0 25 0 1 0 396699639 7729152 1549 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1887 1549 231 231 0 1656 0
vsize: 7548
[startup+110.005 s]
Raw data (loadavg): 0.89 0.65 0.52 2/60 13794
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1747 0 0 0 10988 12 0 0 25 0 1 0 396699639 7852032 1597 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1917 1597 231 231 0 1686 0
vsize: 7668
[startup+120.007 s]
Raw data (loadavg): 0.90 0.66 0.53 2/56 13804
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1865 0 0 0 11988 13 0 0 25 0 1 0 396699639 7987200 1715 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1950 1715 231 231 0 1719 0
vsize: 7800
[startup+130.006 s]
Raw data (loadavg): 0.92 0.67 0.53 2/56 13804
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1925 0 0 0 12987 14 0 0 25 0 1 0 396699639 8114176 1775 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 1775 231 231 0 1750 0
vsize: 7924
[startup+140.006 s]
Raw data (loadavg): 0.93 0.68 0.54 2/56 13806
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2038 0 0 0 13986 15 0 0 25 0 1 0 396699639 12308480 1888 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1888 231 231 0 2774 0
vsize: 12020
[startup+150.007 s]
Raw data (loadavg): 0.94 0.69 0.54 2/56 13806
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2360 0 0 0 14985 16 0 0 25 0 1 0 396699639 13234176 2017 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3231 2017 231 231 0 3000 0
vsize: 12924
[startup+160.007 s]
Raw data (loadavg): 0.95 0.70 0.55 2/56 13806
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2441 0 0 0 15984 17 0 0 25 0 1 0 396699639 13369344 2098 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2098 231 231 0 3033 0
vsize: 13056
[startup+170.007 s]
Raw data (loadavg): 0.96 0.71 0.55 2/56 13808
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2591 0 0 0 16983 18 0 0 25 0 1 0 396699639 13504512 2248 4294967295 134512640 135450300 3221224640 3221223504 134539232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2248 231 231 0 3066 0
vsize: 13188
[startup+180.007 s]
Raw data (loadavg): 0.96 0.72 0.55 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2633 0 0 0 17982 19 0 0 25 0 1 0 396699639 13504512 2290 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2290 231 231 0 3066 0
vsize: 13188
[startup+190.007 s]
Raw data (loadavg): 0.97 0.73 0.56 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2751 0 0 0 18982 20 0 0 25 0 1 0 396699639 13639680 2408 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2408 231 231 0 3099 0
vsize: 13320
[startup+200.007 s]
Raw data (loadavg): 0.97 0.74 0.56 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2825 0 0 0 19981 20 0 0 25 0 1 0 396699639 13778944 2482 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3364 2482 231 231 0 3133 0
vsize: 13456
[startup+210.007 s]
Raw data (loadavg): 0.98 0.75 0.57 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2937 0 0 0 20980 21 0 0 25 0 1 0 396699639 13778944 2594 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3364 2594 231 231 0 3133 0
vsize: 13456
[startup+220.006 s]
Raw data (loadavg): 0.98 0.76 0.57 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2973 0 0 0 21980 22 0 0 25 0 1 0 396699639 13930496 2630 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3401 2630 231 231 0 3170 0
vsize: 13604
[startup+230.006 s]
Raw data (loadavg): 0.98 0.76 0.57 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3041 0 0 0 22979 23 0 0 25 0 1 0 396699639 14057472 2698 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3432 2698 231 231 0 3201 0
vsize: 13728
[startup+240.006 s]
Raw data (loadavg): 0.98 0.77 0.58 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3112 0 0 0 23978 24 0 0 25 0 1 0 396699639 14057472 2769 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3432 2769 231 231 0 3201 0
vsize: 13728
[startup+250.006 s]
Raw data (loadavg): 0.99 0.78 0.58 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3206 0 0 0 24978 25 0 0 25 0 1 0 396699639 14184448 2863 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3463 2863 231 231 0 3232 0
vsize: 13852
[startup+260.005 s]
Raw data (loadavg): 0.99 0.78 0.58 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3310 0 0 0 25977 26 0 0 25 0 1 0 396699639 14323712 2967 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3497 2967 231 231 0 3266 0
vsize: 13988
[startup+270.005 s]
Raw data (loadavg): 0.99 0.79 0.59 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3381 0 0 0 26975 27 0 0 25 0 1 0 396699639 14471168 3038 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3533 3038 231 231 0 3302 0
vsize: 14132
[startup+280.005 s]
Raw data (loadavg): 0.99 0.80 0.59 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3494 0 0 0 27975 28 0 0 25 0 1 0 396699639 14471168 3151 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3533 3151 231 231 0 3302 0
vsize: 14132
[startup+290.005 s]
Raw data (loadavg): 0.99 0.80 0.60 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3565 0 0 0 28974 28 0 0 25 0 1 0 396699639 14618624 3222 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 3222 231 231 0 3338 0
vsize: 14276
[startup+300.005 s]
Raw data (loadavg): 0.99 0.81 0.60 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3675 0 0 0 29974 29 0 0 25 0 1 0 396699639 14618624 3332 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 3332 231 231 0 3338 0
vsize: 14276
[startup+310.005 s]
Raw data (loadavg): 0.99 0.81 0.60 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3720 0 0 0 30973 30 0 0 25 0 1 0 396699639 14757888 3377 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3603 3377 231 231 0 3372 0
vsize: 14412
[startup+320.005 s]
Raw data (loadavg): 0.99 0.82 0.61 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4202 0 0 0 31972 31 0 0 25 0 1 0 396699639 24875008 3474 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6073 3474 231 231 0 5842 0
vsize: 24292
[startup+330.006 s]
Raw data (loadavg): 0.99 0.83 0.61 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4229 0 0 0 32972 32 0 0 25 0 1 0 396699639 24875008 3501 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6073 3501 231 231 0 5842 0
vsize: 24292
[startup+340.006 s]
Raw data (loadavg): 0.99 0.83 0.62 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4256 0 0 0 33971 32 0 0 25 0 1 0 396699639 25059328 3528 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 3528 231 231 0 5887 0
vsize: 24472
[startup+350.006 s]
Raw data (loadavg): 0.99 0.84 0.62 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4277 0 0 0 34971 33 0 0 25 0 1 0 396699639 25059328 3549 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 3549 231 231 0 5887 0
vsize: 24472
[startup+360.006 s]
Raw data (loadavg): 0.99 0.84 0.62 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4366 0 0 0 35970 34 0 0 25 0 1 0 396699639 25059328 3638 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 3638 231 231 0 5887 0
vsize: 24472
[startup+370.006 s]
Raw data (loadavg): 0.99 0.85 0.63 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4436 0 0 0 36969 35 0 0 25 0 1 0 396699639 25194496 3708 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6151 3708 231 231 0 5920 0
vsize: 24604
[startup+380.006 s]
Raw data (loadavg): 0.99 0.85 0.63 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4562 0 0 0 37969 35 0 0 25 0 1 0 396699639 25194496 3834 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6151 3834 231 231 0 5920 0
vsize: 24604
[startup+390.005 s]
Raw data (loadavg): 0.99 0.85 0.64 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4588 0 0 0 38968 37 0 0 25 0 1 0 396699639 25391104 3860 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6199 3860 231 231 0 5968 0
vsize: 24796
[startup+400.006 s]
Raw data (loadavg): 0.99 0.86 0.64 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4679 0 0 0 39967 38 0 0 25 0 1 0 396699639 25391104 3951 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6199 3951 231 231 0 5968 0
vsize: 24796
[startup+410.006 s]
Raw data (loadavg): 0.99 0.86 0.64 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4719 0 0 0 40966 39 0 0 25 0 1 0 396699639 25391104 3991 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6199 3991 231 231 0 5968 0
vsize: 24796
[startup+420.006 s]
Raw data (loadavg): 0.99 0.87 0.64 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4834 0 0 0 41966 40 0 0 25 0 1 0 396699639 25518080 4106 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6230 4106 231 231 0 5999 0
vsize: 24920
[startup+430.006 s]
Raw data (loadavg): 0.99 0.87 0.65 2/56 13810
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4918 0 0 0 42965 40 0 0 25 0 1 0 396699639 25665536 4190 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 4190 231 231 0 6035 0
vsize: 25064
[startup+440.006 s]
Raw data (loadavg): 0.99 0.87 0.65 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5015 0 0 0 43965 41 0 0 25 0 1 0 396699639 25665536 4287 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 4287 231 231 0 6035 0
vsize: 25064
[startup+450.006 s]
Raw data (loadavg): 0.99 0.88 0.65 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5063 0 0 0 44964 41 0 0 25 0 1 0 396699639 25841664 4335 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 4335 231 231 0 6078 0
vsize: 25236
[startup+460.006 s]
Raw data (loadavg): 0.99 0.88 0.66 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5165 0 0 0 45964 42 0 0 25 0 1 0 396699639 25841664 4437 4294967295 134512640 135450300 3221224640 3221223456 134537254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 4437 231 231 0 6078 0
vsize: 25236
[startup+470.006 s]
Raw data (loadavg): 0.99 0.89 0.66 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5241 0 0 0 46963 42 0 0 25 0 1 0 396699639 25980928 4513 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6343 4513 231 231 0 6112 0
vsize: 25372
[startup+480.006 s]
Raw data (loadavg): 0.99 0.89 0.66 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5337 0 0 0 47963 43 0 0 25 0 1 0 396699639 25980928 4609 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6343 4609 231 231 0 6112 0
vsize: 25372
[startup+490.006 s]
Raw data (loadavg): 0.99 0.89 0.67 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5414 0 0 0 48963 44 0 0 25 0 1 0 396699639 26128384 4686 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6379 4686 231 231 0 6148 0
vsize: 25516
[startup+500.007 s]
Raw data (loadavg): 0.99 0.89 0.67 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5520 0 0 0 49962 45 0 0 25 0 1 0 396699639 26128384 4792 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6379 4792 231 231 0 6148 0
vsize: 25516
[startup+510.007 s]
Raw data (loadavg): 0.99 0.90 0.67 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5559 0 0 0 50961 46 0 0 25 0 1 0 396699639 26275840 4831 4294967295 134512640 135450300 3221224640 3221223360 134535461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6415 4831 231 231 0 6184 0
vsize: 25660
[startup+520.006 s]
Raw data (loadavg): 0.99 0.90 0.67 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5636 0 0 0 51960 46 0 0 25 0 1 0 396699639 26464256 4908 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6461 4908 231 231 0 6230 0
vsize: 25844
[startup+530.006 s]
Raw data (loadavg): 0.99 0.90 0.68 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5686 0 0 0 52960 47 0 0 25 0 1 0 396699639 26464256 4958 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6461 4958 231 231 0 6230 0
vsize: 25844
[startup+540.006 s]
Raw data (loadavg): 0.99 0.91 0.68 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5795 0 0 0 53959 48 0 0 25 0 1 0 396699639 26464256 5067 4294967295 134512640 135450300 3221224640 3221223504 134539361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6461 5067 231 231 0 6230 0
vsize: 25844
[startup+550.007 s]
Raw data (loadavg): 0.99 0.91 0.68 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5830 0 0 0 54958 49 0 0 25 0 1 0 396699639 26689536 5102 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6516 5102 231 231 0 6285 0
vsize: 26064
[startup+560.007 s]
Raw data (loadavg): 0.99 0.91 0.69 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5937 0 0 0 55957 50 0 0 25 0 1 0 396699639 26689536 5209 4294967295 134512640 135450300 3221224640 3221223360 134535564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6516 5209 231 231 0 6285 0
vsize: 26064
[startup+570.006 s]
Raw data (loadavg): 0.99 0.91 0.69 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5966 0 0 0 56956 51 0 0 25 0 1 0 396699639 26689536 5238 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6516 5238 231 231 0 6285 0
vsize: 26064
[startup+580.006 s]
Raw data (loadavg): 0.99 0.92 0.69 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6072 0 0 0 57955 53 0 0 25 0 1 0 396699639 26820608 5344 4294967295 134512640 135450300 3221224640 3221223296 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6548 5344 231 231 0 6317 0
vsize: 26192
[startup+590.006 s]
Raw data (loadavg): 0.99 0.92 0.69 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6103 0 0 0 58954 53 0 0 25 0 1 0 396699639 27000832 5375 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6592 5375 231 231 0 6361 0
vsize: 26368
[startup+600.007 s]
Raw data (loadavg): 0.99 0.92 0.70 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6235 0 0 0 59953 54 0 0 25 0 1 0 396699639 27000832 5507 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6592 5507 231 231 0 6361 0
vsize: 26368
[startup+610.008 s]
Raw data (loadavg): 0.99 0.92 0.70 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6258 0 0 0 60953 55 0 0 25 0 1 0 396699639 27148288 5530 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6628 5530 231 231 0 6397 0
vsize: 26512
[startup+620.007 s]
Raw data (loadavg): 0.99 0.92 0.70 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6329 0 0 0 61952 56 0 0 25 0 1 0 396699639 27148288 5601 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6628 5601 231 231 0 6397 0
vsize: 26512
[startup+630.007 s]
Raw data (loadavg): 0.99 0.93 0.71 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6368 0 0 0 62952 56 0 0 25 0 1 0 396699639 27353088 5640 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5640 231 231 0 6447 0
vsize: 26712
[startup+640.008 s]
Raw data (loadavg): 0.99 0.93 0.71 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6499 0 0 0 63951 57 0 0 25 0 1 0 396699639 27353088 5771 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5771 231 231 0 6447 0
vsize: 26712
[startup+650.009 s]
Raw data (loadavg): 0.99 0.93 0.71 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6529 0 0 0 64951 58 0 0 25 0 1 0 396699639 27353088 5801 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5801 231 231 0 6447 0
vsize: 26712
[startup+660.009 s]
Raw data (loadavg): 0.99 0.93 0.72 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6649 0 0 0 65950 59 0 0 25 0 1 0 396699639 27500544 5921 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6714 5921 231 231 0 6483 0
vsize: 26856
[startup+670.009 s]
Raw data (loadavg): 0.99 0.93 0.72 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6691 0 0 0 66949 60 0 0 25 0 1 0 396699639 27713536 5963 4294967295 134512640 135450300 3221224640 3221223472 134538063 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6766 5963 231 231 0 6535 0
vsize: 27064
[startup+680.01 s]
Raw data (loadavg): 0.99 0.94 0.72 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6727 0 0 0 67949 60 0 0 25 0 1 0 396699639 27713536 5999 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6766 5999 231 231 0 6535 0
vsize: 27064
[startup+690.009 s]
Raw data (loadavg): 0.99 0.94 0.72 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6779 0 0 0 68949 61 0 0 25 0 1 0 396699639 27852800 6051 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6800 6051 231 231 0 6569 0
vsize: 27200
[startup+700.009 s]
Raw data (loadavg): 0.99 0.94 0.73 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7620 0 0 0 69947 63 0 0 25 0 1 0 396699639 30998528 6123 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7568 6123 231 231 0 7337 0
vsize: 30272
[startup+710.009 s]
Raw data (loadavg): 0.99 0.94 0.73 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7666 0 0 0 70946 63 0 0 25 0 1 0 396699639 31162368 6169 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7608 6169 231 231 0 7377 0
vsize: 30432
[startup+720.009 s]
Raw data (loadavg): 0.99 0.94 0.73 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7758 0 0 0 71946 64 0 0 25 0 1 0 396699639 31297536 6261 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7641 6261 231 231 0 7410 0
vsize: 30564
[startup+730.009 s]
Raw data (loadavg): 0.99 0.94 0.73 2/56 13812
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7826 0 0 0 72945 65 0 0 25 0 1 0 396699639 31297536 6329 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7641 6329 231 231 0 7410 0
vsize: 30564
[startup+740.008 s]
Raw data (loadavg): 0.99 0.94 0.74 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7895 0 0 0 73945 65 0 0 25 0 1 0 396699639 31297536 6398 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7641 6398 231 231 0 7410 0
vsize: 30564
[startup+750.009 s]
Raw data (loadavg): 0.99 0.95 0.74 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7967 0 0 0 74945 66 0 0 25 0 1 0 396699639 31297536 6470 4294967295 134512640 135450300 3221224640 3221223360 134535546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7641 6470 231 231 0 7410 0
vsize: 30564
[startup+760.009 s]
Raw data (loadavg): 0.99 0.95 0.74 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8027 0 0 0 75944 66 0 0 25 0 1 0 396699639 31461376 6530 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 6530 231 231 0 7450 0
vsize: 30724
[startup+770.009 s]
Raw data (loadavg): 0.99 0.95 0.74 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8107 0 0 0 76943 67 0 0 25 0 1 0 396699639 31461376 6610 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 6610 231 231 0 7450 0
vsize: 30724
[startup+780.009 s]
Raw data (loadavg): 0.99 0.95 0.74 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8131 0 0 0 77943 68 0 0 25 0 1 0 396699639 31621120 6634 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7720 6634 231 231 0 7489 0
vsize: 30880
[startup+790.009 s]
Raw data (loadavg): 0.99 0.95 0.75 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8222 0 0 0 78942 69 0 0 25 0 1 0 396699639 31621120 6725 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7720 6725 231 231 0 7489 0
vsize: 30880
[startup+800.009 s]
Raw data (loadavg): 0.99 0.95 0.75 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8243 0 0 0 79942 69 0 0 25 0 1 0 396699639 31621120 6746 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7720 6746 231 231 0 7489 0
vsize: 30880
[startup+810.009 s]
Raw data (loadavg): 0.99 0.95 0.75 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8314 0 0 0 80941 70 0 0 25 0 1 0 396699639 31756288 6817 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7753 6817 231 231 0 7522 0
vsize: 31012
[startup+820.009 s]
Raw data (loadavg): 0.99 0.95 0.75 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8336 0 0 0 81941 70 0 0 25 0 1 0 396699639 31756288 6839 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7753 6839 231 231 0 7522 0
vsize: 31012
[startup+830.009 s]
Raw data (loadavg): 0.99 0.95 0.75 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8354 0 0 0 82941 71 0 0 25 0 1 0 396699639 31756288 6857 4294967295 134512640 135450300 3221224640 3221223376 134537913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7753 6857 231 231 0 7522 0
vsize: 31012
[startup+840.009 s]
Raw data (loadavg): 0.99 0.95 0.75 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8382 0 0 0 83940 71 0 0 25 0 1 0 396699639 31952896 6885 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7801 6885 231 231 0 7570 0
vsize: 31204
[startup+850.01 s]
Raw data (loadavg): 0.99 0.95 0.76 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8450 0 0 0 84940 72 0 0 25 0 1 0 396699639 48730112 6953 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11897 6953 231 231 0 11666 0
vsize: 47588
[startup+860.01 s]
Raw data (loadavg): 0.99 0.96 0.76 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8498 0 0 0 85939 73 0 0 25 0 1 0 396699639 48877568 7001 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11933 7001 231 231 0 11702 0
vsize: 47732
[startup+870.01 s]
Raw data (loadavg): 0.99 0.96 0.76 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8544 0 0 0 86938 74 0 0 25 0 1 0 396699639 48877568 7047 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11933 7047 231 231 0 11702 0
vsize: 47732
[startup+880.009 s]
Raw data (loadavg): 0.99 0.96 0.76 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8601 0 0 0 87938 74 0 0 25 0 1 0 396699639 48877568 7104 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11933 7104 231 231 0 11702 0
vsize: 47732
[startup+890.011 s]
Raw data (loadavg): 0.99 0.96 0.76 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8675 0 0 0 88937 75 0 0 25 0 1 0 396699639 49041408 7178 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 7178 231 231 0 11742 0
vsize: 47892
[startup+900.011 s]
Raw data (loadavg): 0.99 0.96 0.77 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8773 0 0 0 89936 76 0 0 25 0 1 0 396699639 49041408 7276 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 7276 231 231 0 11742 0
vsize: 47892
[startup+910.011 s]
Raw data (loadavg): 0.99 0.96 0.77 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8798 0 0 0 90936 77 0 0 25 0 1 0 396699639 49360896 7301 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12051 7301 231 231 0 11820 0
vsize: 48204
[startup+920.01 s]
Raw data (loadavg): 0.99 0.96 0.77 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8831 0 0 0 91935 77 0 0 25 0 1 0 396699639 49360896 7334 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12051 7334 231 231 0 11820 0
vsize: 48204
[startup+930.01 s]
Raw data (loadavg): 0.99 0.96 0.77 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8850 0 0 0 92935 78 0 0 25 0 1 0 396699639 49360896 7353 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12051 7353 231 231 0 11820 0
vsize: 48204
[startup+940.01 s]
Raw data (loadavg): 0.99 0.96 0.77 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8871 0 0 0 93934 78 0 0 25 0 1 0 396699639 49360896 7374 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12051 7374 231 231 0 11820 0
vsize: 48204
[startup+950.011 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8890 0 0 0 94934 79 0 0 25 0 1 0 396699639 49360896 7393 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12051 7393 231 231 0 11820 0
vsize: 48204
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8953 0 0 0 95933 80 0 0 25 0 1 0 396699639 49524736 7456 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12091 7456 231 231 0 11860 0
vsize: 48364
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8975 0 0 0 96933 80 0 0 25 0 1 0 396699639 49524736 7478 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12091 7478 231 231 0 11860 0
vsize: 48364
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9068 0 0 0 97932 81 0 0 25 0 1 0 396699639 49524736 7571 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12091 7571 231 231 0 11860 0
vsize: 48364
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9120 0 0 0 98932 82 0 0 25 0 1 0 396699639 49524736 7623 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12091 7623 231 231 0 11860 0
vsize: 48364
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9182 0 0 0 99931 83 0 0 25 0 1 0 396699639 49651712 7685 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12122 7685 231 231 0 11891 0
vsize: 48488
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9249 0 0 0 100930 84 0 0 25 0 1 0 396699639 49651712 7752 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12122 7752 231 231 0 11891 0
vsize: 48488
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9316 0 0 0 101930 84 0 0 25 0 1 0 396699639 49651712 7819 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12122 7819 231 231 0 11891 0
vsize: 48488
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 13814
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9404 0 0 0 102929 85 0 0 25 0 1 0 396699639 49954816 7907 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12196 7907 231 231 0 11965 0
vsize: 48784
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9430 0 0 0 103929 85 0 0 25 0 1 0 396699639 49954816 7933 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12196 7933 231 231 0 11965 0
vsize: 48784
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9509 0 0 0 104928 86 0 0 25 0 1 0 396699639 49954816 8012 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12196 8012 231 231 0 11965 0
vsize: 48784
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9529 0 0 0 105927 87 0 0 25 0 1 0 396699639 49954816 8032 4294967295 134512640 135450300 3221224640 3221223456 134546496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12196 8032 231 231 0 11965 0
vsize: 48784
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9647 0 0 0 106926 88 0 0 25 0 1 0 396699639 50114560 8150 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12235 8150 231 231 0 12004 0
vsize: 48940
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9685 0 0 0 107926 89 0 0 25 0 1 0 396699639 50114560 8188 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12235 8188 231 231 0 12004 0
vsize: 48940
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9736 0 0 0 108925 90 0 0 25 0 1 0 396699639 50298880 8239 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12280 8239 231 231 0 12049 0
vsize: 49120
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9794 0 0 0 109924 91 0 0 25 0 1 0 396699639 50298880 8297 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12280 8297 231 231 0 12049 0
vsize: 49120
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9839 0 0 0 110924 91 0 0 25 0 1 0 396699639 50298880 8342 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12280 8342 231 231 0 12049 0
vsize: 49120
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9928 0 0 0 111923 92 0 0 25 0 1 0 396699639 50429952 8431 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12312 8431 231 231 0 12081 0
vsize: 49248
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9962 0 0 0 112922 93 0 0 25 0 1 0 396699639 50561024 8465 4294967295 134512640 135450300 3221224640 3221223376 134537913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12344 8465 231 231 0 12113 0
vsize: 49376
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10050 0 0 0 113922 94 0 0 25 0 1 0 396699639 50561024 8553 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12344 8553 231 231 0 12113 0
vsize: 49376
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10083 0 0 0 114921 94 0 0 25 0 1 0 396699639 50561024 8586 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12344 8586 231 231 0 12113 0
vsize: 49376
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10177 0 0 0 115920 95 0 0 25 0 1 0 396699639 50905088 8680 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12428 8680 231 231 0 12197 0
vsize: 49712
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10215 0 0 0 116920 96 0 0 25 0 1 0 396699639 50905088 8718 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12428 8718 231 231 0 12197 0
vsize: 49712
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10235 0 0 0 117919 97 0 0 25 0 1 0 396699639 50905088 8738 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12428 8738 231 231 0 12197 0
vsize: 49712
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10268 0 0 0 118919 97 0 0 25 0 1 0 396699639 51101696 8771 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 8771 231 231 0 12245 0
vsize: 49904
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 13816
Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10295 0 0 0 119919 97 0 0 25 0 1 0 396699639 51101696 8798 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 8798 231 231 0 12245 0
vsize: 49904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.82 1/56 13816
Raw data (stat): 13751 (PBS4) Z 13750 12452 12451 0 -1 1036 10295 0 0 0 119919 99 0 0 25 0 1 0 396699639 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.04
CPU time (s): 1200.19
CPU user time (s): 1199.19
CPU system time (s): 0.997848
CPU usage (%): 100.013
Max. virtual memory (Kb): 49904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####