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-f2000.opb
MD5SUM4675a5d50c7e04c9a0597ae768da1a88
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 4000
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 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
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 7704

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        824972 kB
Buffers:         36016 kB
Cached:         130052 kB
SwapCached:        192 kB
Active:          68116 kB
Inactive:       100972 kB
HighTotal:      131008 kB
HighFree:         2352 kB
LowTotal:       903652 kB
LowFree:        822620 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            35056 kB
Committed_AS:    63448 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:18:19 (client local time) WITH STATUS 0 IN 1200.48 SECONDS
stats: 1149 7 1200.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-f2000.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.96 0.70 2/54 25426
Raw data (stat): 25426 (runsolver) R 25425 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511774724 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.0008 s]
Raw data (loadavg): 0.93 0.96 0.70 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 663 0 0 0 996 2 0 0 25 0 1 0 511774724 3317760 610 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 810 610 231 231 0 579 0
vsize: 3240
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.71 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 705 0 0 0 1996 3 0 0 25 0 1 0 511774724 3452928 652 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 843 652 231 231 0 612 0
vsize: 3372
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.71 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 745 0 0 0 2995 4 0 0 25 0 1 0 511774724 3977216 692 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 971 692 231 231 0 740 0
vsize: 3884
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.71 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 784 0 0 0 3994 6 0 0 25 0 1 0 511774724 4112384 731 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1004 731 231 231 0 773 0
vsize: 4016
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.96 0.72 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 819 0 0 0 4993 7 0 0 25 0 1 0 511774724 4112384 766 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1004 766 231 231 0 773 0
vsize: 4016
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.72 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 846 0 0 0 5992 8 0 0 25 0 1 0 511774724 4112384 793 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1004 793 231 231 0 773 0
vsize: 4016
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.72 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 877 0 0 0 6990 10 0 0 25 0 1 0 511774724 4247552 824 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1037 824 231 231 0 806 0
vsize: 4148
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.72 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 902 0 0 0 7988 11 0 0 25 0 1 0 511774724 4247552 849 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1037 849 231 231 0 806 0
vsize: 4148
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.97 0.73 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 924 0 0 0 8987 13 0 0 25 0 1 0 511774724 5296128 871 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1293 871 231 231 0 1062 0
vsize: 5172
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.73 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 950 0 0 0 9986 14 0 0 25 0 1 0 511774724 5296128 897 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1293 897 231 231 0 1062 0
vsize: 5172
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.73 2/54 25426
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 974 0 0 0 10985 15 0 0 25 0 1 0 511774724 5296128 921 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1293 921 231 231 0 1062 0
vsize: 5172
[startup+120.005 s]
Raw data (loadavg): 1.06 0.99 0.74 2/58 25469
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 994 0 0 0 11978 22 0 0 25 0 1 0 511774724 5427200 941 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1325 941 231 231 0 1094 0
vsize: 5300
[startup+130.005 s]
Raw data (loadavg): 1.13 1.00 0.75 3/56 25473
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1016 0 0 0 12976 23 0 0 25 0 1 0 511774724 5427200 963 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1325 963 231 231 0 1094 0
vsize: 5300
[startup+140.017 s]
Raw data (loadavg): 1.26 1.03 0.76 2/54 25479
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1040 0 0 0 13975 26 0 0 25 0 1 0 511774724 5427200 987 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1325 987 231 231 0 1094 0
vsize: 5300
[startup+150.261 s]
Raw data (loadavg): 1.22 1.03 0.76 2/54 25479
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1064 0 0 0 14998 27 0 0 25 0 1 0 511774724 5427200 1011 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1325 1011 231 231 0 1094 0
vsize: 5300
[startup+160.261 s]
Raw data (loadavg): 1.18 1.03 0.76 2/54 25479
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1088 0 0 0 15997 29 0 0 25 0 1 0 511774724 5427200 1035 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1325 1035 231 231 0 1094 0
vsize: 5300
[startup+170.261 s]
Raw data (loadavg): 1.15 1.03 0.76 2/54 25479
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1114 0 0 0 16996 30 0 0 25 0 1 0 511774724 5566464 1061 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1359 1061 231 231 0 1128 0
vsize: 5436
[startup+180.26 s]
Raw data (loadavg): 1.13 1.03 0.77 2/54 25479
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1135 0 0 0 17994 32 0 0 25 0 1 0 511774724 5566464 1082 4294967295 134512640 135450300 3221224640 3221223064 134533453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1359 1082 231 231 0 1128 0
vsize: 5436
[startup+190.261 s]
Raw data (loadavg): 1.11 1.03 0.77 2/54 25479
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1158 0 0 0 18993 33 0 0 25 0 1 0 511774724 5566464 1105 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1359 1105 231 231 0 1128 0
vsize: 5436
[startup+200.261 s]
Raw data (loadavg): 1.09 1.03 0.77 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1181 0 0 0 19992 34 0 0 25 0 1 0 511774724 5566464 1128 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1359 1128 231 231 0 1128 0
vsize: 5436
[startup+210.261 s]
Raw data (loadavg): 1.08 1.02 0.77 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1204 0 0 0 20991 36 0 0 25 0 1 0 511774724 5566464 1151 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1359 1151 231 231 0 1128 0
vsize: 5436
[startup+220.262 s]
Raw data (loadavg): 1.07 1.02 0.77 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1227 0 0 0 21990 37 0 0 25 0 1 0 511774724 5697536 1174 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1391 1174 231 231 0 1160 0
vsize: 5564
[startup+230.262 s]
Raw data (loadavg): 1.06 1.02 0.78 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1344 0 0 0 22988 39 0 0 25 0 1 0 511774724 6090752 1194 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1487 1194 231 231 0 1256 0
vsize: 5948
[startup+240.262 s]
Raw data (loadavg): 1.05 1.02 0.78 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1366 0 0 0 23988 39 0 0 25 0 1 0 511774724 6090752 1216 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1487 1216 231 231 0 1256 0
vsize: 5948
[startup+250.263 s]
Raw data (loadavg): 1.04 1.02 0.78 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1390 0 0 0 24987 41 0 0 25 0 1 0 511774724 6090752 1240 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1487 1240 231 231 0 1256 0
vsize: 5948
[startup+260.263 s]
Raw data (loadavg): 1.03 1.02 0.78 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1413 0 0 0 25986 41 0 0 25 0 1 0 511774724 8187904 1263 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1999 1263 231 231 0 1768 0
vsize: 7996
[startup+270.263 s]
Raw data (loadavg): 1.03 1.02 0.78 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1435 0 0 0 26985 43 0 0 25 0 1 0 511774724 8187904 1285 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1999 1285 231 231 0 1768 0
vsize: 7996
[startup+280.262 s]
Raw data (loadavg): 1.02 1.02 0.79 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1457 0 0 0 27984 44 0 0 25 0 1 0 511774724 8355840 1307 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2040 1307 231 231 0 1809 0
vsize: 8160
[startup+290.263 s]
Raw data (loadavg): 1.02 1.02 0.79 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1458 0 0 0 28983 45 0 0 25 0 1 0 511774724 8355840 1308 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2040 1308 231 231 0 1809 0
vsize: 8160
[startup+300.263 s]
Raw data (loadavg): 1.02 1.02 0.79 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1460 0 0 0 29982 47 0 0 25 0 1 0 511774724 8355840 1310 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2040 1310 231 231 0 1809 0
vsize: 8160
[startup+310.263 s]
Raw data (loadavg): 1.01 1.02 0.79 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1472 0 0 0 30980 49 0 0 25 0 1 0 511774724 8355840 1322 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2040 1322 231 231 0 1809 0
vsize: 8160
[startup+320.264 s]
Raw data (loadavg): 1.01 1.01 0.79 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1474 0 0 0 31979 50 0 0 25 0 1 0 511774724 8355840 1324 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2040 1324 231 231 0 1809 0
vsize: 8160
[startup+330.264 s]
Raw data (loadavg): 1.01 1.01 0.80 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1475 0 0 0 32978 52 0 0 25 0 1 0 511774724 8355840 1325 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2040 1325 231 231 0 1809 0
vsize: 8160
[startup+340.264 s]
Raw data (loadavg): 1.01 1.01 0.80 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1491 0 0 0 33977 53 0 0 25 0 1 0 511774724 8474624 1341 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1341 231 231 0 1838 0
vsize: 8276
[startup+350.265 s]
Raw data (loadavg): 1.00 1.01 0.80 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1493 0 0 0 34976 54 0 0 25 0 1 0 511774724 8474624 1343 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1343 231 231 0 1838 0
vsize: 8276
[startup+360.265 s]
Raw data (loadavg): 1.00 1.01 0.80 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1494 0 0 0 35975 55 0 0 25 0 1 0 511774724 8474624 1344 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1344 231 231 0 1838 0
vsize: 8276
[startup+370.265 s]
Raw data (loadavg): 1.00 1.01 0.80 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1501 0 0 0 36974 56 0 0 25 0 1 0 511774724 8474624 1351 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1351 231 231 0 1838 0
vsize: 8276
[startup+380.265 s]
Raw data (loadavg): 1.00 1.01 0.81 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1507 0 0 0 37972 58 0 0 25 0 1 0 511774724 8474624 1357 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1357 231 231 0 1838 0
vsize: 8276
[startup+390.265 s]
Raw data (loadavg): 1.00 1.01 0.81 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1523 0 0 0 38971 60 0 0 25 0 1 0 511774724 8474624 1373 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1373 231 231 0 1838 0
vsize: 8276
[startup+400.265 s]
Raw data (loadavg): 1.00 1.01 0.81 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1548 0 0 0 39969 62 0 0 25 0 1 0 511774724 8474624 1398 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1398 231 231 0 1838 0
vsize: 8276
[startup+410.266 s]
Raw data (loadavg): 1.00 1.01 0.81 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1564 0 0 0 40967 64 0 0 25 0 1 0 511774724 8474624 1414 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1414 231 231 0 1838 0
vsize: 8276
[startup+420.266 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1580 0 0 0 41966 65 0 0 25 0 1 0 511774724 8474624 1430 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1430 231 231 0 1838 0
vsize: 8276
[startup+430.266 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1596 0 0 0 42965 66 0 0 25 0 1 0 511774724 8474624 1446 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1446 231 231 0 1838 0
vsize: 8276
[startup+440.266 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1597 0 0 0 43965 66 0 0 25 0 1 0 511774724 8474624 1447 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1447 231 231 0 1838 0
vsize: 8276
[startup+450.266 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25481
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1599 0 0 0 44964 67 0 0 25 0 1 0 511774724 8474624 1449 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1449 231 231 0 1838 0
vsize: 8276
[startup+460.267 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1607 0 0 0 45963 69 0 0 25 0 1 0 511774724 8474624 1457 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1457 231 231 0 1838 0
vsize: 8276
[startup+470.267 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1608 0 0 0 46962 70 0 0 25 0 1 0 511774724 8474624 1458 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2069 1458 231 231 0 1838 0
vsize: 8276
[startup+480.266 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1619 0 0 0 47961 71 0 0 25 0 1 0 511774724 8601600 1469 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1469 231 231 0 1869 0
vsize: 8400
[startup+490.267 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1621 0 0 0 48960 72 0 0 25 0 1 0 511774724 8601600 1471 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1471 231 231 0 1869 0
vsize: 8400
[startup+500.266 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1625 0 0 0 49959 73 0 0 25 0 1 0 511774724 8601600 1475 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1475 231 231 0 1869 0
vsize: 8400
[startup+510.267 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1636 0 0 0 50958 74 0 0 25 0 1 0 511774724 8601600 1486 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1486 231 231 0 1869 0
vsize: 8400
[startup+520.266 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1637 0 0 0 51958 75 0 0 25 0 1 0 511774724 8601600 1487 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1487 231 231 0 1869 0
vsize: 8400
[startup+530.266 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1639 0 0 0 52956 77 0 0 25 0 1 0 511774724 8601600 1489 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1489 231 231 0 1869 0
vsize: 8400
[startup+540.267 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1646 0 0 0 53955 78 0 0 25 0 1 0 511774724 8601600 1496 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1496 231 231 0 1869 0
vsize: 8400
[startup+550.266 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1648 0 0 0 54953 80 0 0 25 0 1 0 511774724 8601600 1498 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1498 231 231 0 1869 0
vsize: 8400
[startup+560.267 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1650 0 0 0 55951 82 0 0 25 0 1 0 511774724 8736768 1500 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1500 231 231 0 1902 0
vsize: 8532
[startup+570.266 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1660 0 0 0 56950 84 0 0 25 0 1 0 511774724 8736768 1510 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1510 231 231 0 1902 0
vsize: 8532
[startup+580.266 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1661 0 0 0 57949 85 0 0 25 0 1 0 511774724 8736768 1511 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1511 231 231 0 1902 0
vsize: 8532
[startup+590.267 s]
Raw data (loadavg): 1.08 1.02 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1662 0 0 0 58948 86 0 0 25 0 1 0 511774724 8736768 1512 4294967295 134512640 135450300 3221224640 3221222992 134533077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1512 231 231 0 1902 0
vsize: 8532
[startup+600.267 s]
Raw data (loadavg): 1.07 1.02 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1673 0 0 0 59947 87 0 0 25 0 1 0 511774724 8736768 1523 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1523 231 231 0 1902 0
vsize: 8532
[startup+610.268 s]
Raw data (loadavg): 1.06 1.01 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1674 0 0 0 60947 88 0 0 25 0 1 0 511774724 8736768 1524 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1524 231 231 0 1902 0
vsize: 8532
[startup+620.268 s]
Raw data (loadavg): 1.05 1.01 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1676 0 0 0 61945 90 0 0 25 0 1 0 511774724 8736768 1526 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1526 231 231 0 1902 0
vsize: 8532
[startup+630.267 s]
Raw data (loadavg): 1.04 1.01 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1685 0 0 0 62944 91 0 0 25 0 1 0 511774724 8736768 1535 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1535 231 231 0 1902 0
vsize: 8532
[startup+640.268 s]
Raw data (loadavg): 1.03 1.01 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1686 0 0 0 63943 92 0 0 25 0 1 0 511774724 8736768 1536 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1536 231 231 0 1902 0
vsize: 8532
[startup+650.268 s]
Raw data (loadavg): 1.03 1.01 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1688 0 0 0 64942 94 0 0 25 0 1 0 511774724 8736768 1538 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 1538 231 231 0 1902 0
vsize: 8532
[startup+660.268 s]
Raw data (loadavg): 1.02 1.01 0.84 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1700 0 0 0 65940 95 0 0 25 0 1 0 511774724 8884224 1550 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1550 231 231 0 1938 0
vsize: 8676
[startup+670.268 s]
Raw data (loadavg): 1.02 1.01 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1720 0 0 0 66939 96 0 0 25 0 1 0 511774724 8884224 1570 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1570 231 231 0 1938 0
vsize: 8676
[startup+680.267 s]
Raw data (loadavg): 1.02 1.01 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1739 0 0 0 67938 98 0 0 25 0 1 0 511774724 8884224 1589 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1589 231 231 0 1938 0
vsize: 8676
[startup+690.268 s]
Raw data (loadavg): 1.01 1.01 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1764 0 0 0 68937 99 0 0 25 0 1 0 511774724 8884224 1614 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1614 231 231 0 1938 0
vsize: 8676
[startup+700.269 s]
Raw data (loadavg): 1.01 1.01 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1782 0 0 0 69936 100 0 0 25 0 1 0 511774724 8884224 1632 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1632 231 231 0 1938 0
vsize: 8676
[startup+710.269 s]
Raw data (loadavg): 1.01 1.00 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1798 0 0 0 70935 101 0 0 25 0 1 0 511774724 8884224 1648 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1648 231 231 0 1938 0
vsize: 8676
[startup+720.27 s]
Raw data (loadavg): 1.01 1.00 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1811 0 0 0 71934 103 0 0 25 0 1 0 511774724 8884224 1661 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1661 231 231 0 1938 0
vsize: 8676
[startup+730.269 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1812 0 0 0 72933 104 0 0 25 0 1 0 511774724 8884224 1662 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1662 231 231 0 1938 0
vsize: 8676
[startup+740.27 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1814 0 0 0 73932 105 0 0 25 0 1 0 511774724 8884224 1664 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1664 231 231 0 1938 0
vsize: 8676
[startup+750.27 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1823 0 0 0 74931 106 0 0 25 0 1 0 511774724 8884224 1673 4294967295 134512640 135450300 3221224640 3221223376 134538693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1673 231 231 0 1938 0
vsize: 8676
[startup+760.27 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1824 0 0 0 75930 107 0 0 25 0 1 0 511774724 8884224 1674 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1674 231 231 0 1938 0
vsize: 8676
[startup+770.27 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1826 0 0 0 76930 108 0 0 25 0 1 0 511774724 8884224 1676 4294967295 134512640 135450300 3221224640 3221223376 134538433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 1676 231 231 0 1938 0
vsize: 8676
[startup+780.27 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1835 0 0 0 77929 110 0 0 25 0 1 0 511774724 9003008 1685 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1685 231 231 0 1967 0
vsize: 8792
[startup+790.271 s]
Raw data (loadavg): 1.00 1.00 0.86 3/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1837 0 0 0 78928 111 0 0 25 0 1 0 511774724 9003008 1687 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1687 231 231 0 1967 0
vsize: 8792
[startup+800.271 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1848 0 0 0 79926 112 0 0 25 0 1 0 511774724 9003008 1698 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1698 231 231 0 1967 0
vsize: 8792
[startup+810.271 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1849 0 0 0 80926 113 0 0 25 0 1 0 511774724 9003008 1699 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1699 231 231 0 1967 0
vsize: 8792
[startup+820.271 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1851 0 0 0 81925 114 0 0 25 0 1 0 511774724 9003008 1701 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1701 231 231 0 1967 0
vsize: 8792
[startup+830.271 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1875 0 0 0 82924 115 0 0 25 0 1 0 511774724 9003008 1725 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1725 231 231 0 1967 0
vsize: 8792
[startup+840.271 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1894 0 0 0 83924 116 0 0 25 0 1 0 511774724 9003008 1744 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1744 231 231 0 1967 0
vsize: 8792
[startup+850.271 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1910 0 0 0 84922 118 0 0 25 0 1 0 511774724 9003008 1760 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1760 231 231 0 1967 0
vsize: 8792
[startup+860.272 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1936 0 0 0 85921 119 0 0 25 0 1 0 511774724 9158656 1786 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2236 1786 231 231 0 2005 0
vsize: 8944
[startup+870.271 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1939 0 0 0 86920 120 0 0 25 0 1 0 511774724 9158656 1789 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2236 1789 231 231 0 2005 0
vsize: 8944
[startup+880.275 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1940 0 0 0 87920 121 0 0 25 0 1 0 511774724 9158656 1790 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2236 1790 231 231 0 2005 0
vsize: 8944
[startup+890.276 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1952 0 0 0 88919 122 0 0 25 0 1 0 511774724 9158656 1802 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2236 1802 231 231 0 2005 0
vsize: 8944
[startup+900.276 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1953 0 0 0 89918 123 0 0 25 0 1 0 511774724 9158656 1803 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2236 1803 231 231 0 2005 0
vsize: 8944
[startup+910.277 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 1954 0 0 0 90918 124 0 0 25 0 1 0 511774724 9158656 1804 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2236 1804 231 231 0 2005 0
vsize: 8944
[startup+920.276 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2156 0 0 0 91916 125 0 0 25 0 1 0 511774724 9945088 1813 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1813 231 231 0 2197 0
vsize: 9712
[startup+930.276 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2157 0 0 0 92915 126 0 0 25 0 1 0 511774724 9945088 1814 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1814 231 231 0 2197 0
vsize: 9712
[startup+940.277 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2159 0 0 0 93914 128 0 0 25 0 1 0 511774724 9945088 1816 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1816 231 231 0 2197 0
vsize: 9712
[startup+950.276 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2169 0 0 0 94912 129 0 0 25 0 1 0 511774724 9945088 1826 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1826 231 231 0 2197 0
vsize: 9712
[startup+960.276 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2176 0 0 0 95912 130 0 0 25 0 1 0 511774724 9945088 1833 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1833 231 231 0 2197 0
vsize: 9712
[startup+970.276 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2192 0 0 0 96910 132 0 0 25 0 1 0 511774724 9945088 1849 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1849 231 231 0 2197 0
vsize: 9712
[startup+980.276 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2218 0 0 0 97909 134 0 0 25 0 1 0 511774724 10059776 1875 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1875 231 231 0 2225 0
vsize: 9824
[startup+990.277 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2237 0 0 0 98908 135 0 0 25 0 1 0 511774724 10059776 1894 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1894 231 231 0 2225 0
vsize: 9824
[startup+1000.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2253 0 0 0 99907 136 0 0 25 0 1 0 511774724 10059776 1910 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1910 231 231 0 2225 0
vsize: 9824
[startup+1010.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2270 0 0 0 100906 137 0 0 25 0 1 0 511774724 10059776 1927 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1927 231 231 0 2225 0
vsize: 9824
[startup+1020.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2273 0 0 0 101905 139 0 0 25 0 1 0 511774724 10059776 1930 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1930 231 231 0 2225 0
vsize: 9824
[startup+1030.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2274 0 0 0 102903 141 0 0 25 0 1 0 511774724 10059776 1931 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1931 231 231 0 2225 0
vsize: 9824
[startup+1040.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2282 0 0 0 103901 143 0 0 25 0 1 0 511774724 10059776 1939 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1939 231 231 0 2225 0
vsize: 9824
[startup+1050.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2284 0 0 0 104901 143 0 0 25 0 1 0 511774724 10059776 1941 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1941 231 231 0 2225 0
vsize: 9824
[startup+1060.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2285 0 0 0 105900 144 0 0 25 0 1 0 511774724 10059776 1942 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1942 231 231 0 2225 0
vsize: 9824
[startup+1070.28 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2300 0 0 0 106899 146 0 0 25 0 1 0 511774724 10219520 1957 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1957 231 231 0 2264 0
vsize: 9980
[startup+1080.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2301 0 0 0 107898 147 0 0 25 0 1 0 511774724 10219520 1958 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1958 231 231 0 2264 0
vsize: 9980
[startup+1090.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2303 0 0 0 108897 148 0 0 25 0 1 0 511774724 10219520 1960 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1960 231 231 0 2264 0
vsize: 9980
[startup+1100.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2312 0 0 0 109896 149 0 0 25 0 1 0 511774724 10219520 1969 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1969 231 231 0 2264 0
vsize: 9980
[startup+1110.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2316 0 0 0 110895 150 0 0 25 0 1 0 511774724 10219520 1973 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1973 231 231 0 2264 0
vsize: 9980
[startup+1120.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2333 0 0 0 111894 151 0 0 25 0 1 0 511774724 10219520 1990 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1990 231 231 0 2264 0
vsize: 9980
[startup+1130.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2358 0 0 0 112893 153 0 0 25 0 1 0 511774724 10219520 2015 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 2015 231 231 0 2264 0
vsize: 9980
[startup+1140.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2376 0 0 0 113892 154 0 0 25 0 1 0 511774724 10219520 2033 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 2033 231 231 0 2264 0
vsize: 9980
[startup+1150.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2394 0 0 0 114891 155 0 0 25 0 1 0 511774724 10219520 2051 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 2051 231 231 0 2264 0
vsize: 9980
[startup+1160.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2412 0 0 0 115890 156 0 0 25 0 1 0 511774724 10219520 2069 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 2069 231 231 0 2264 0
vsize: 9980
[startup+1170.28 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2413 0 0 0 116889 157 0 0 25 0 1 0 511774724 10219520 2070 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 2070 231 231 0 2264 0
vsize: 9980
[startup+1180.28 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2415 0 0 0 117888 158 0 0 25 0 1 0 511774724 10219520 2072 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 2072 231 231 0 2264 0
vsize: 9980
[startup+1190.28 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2424 0 0 0 118888 159 0 0 25 0 1 0 511774724 10334208 2081 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2523 2081 231 231 0 2292 0
vsize: 10092
[startup+1200.28 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 25483
Raw data (stat): 25426 (PBS4) R 25425 3260 3259 0 -1 0 2425 0 0 0 119887 160 0 0 25 0 1 0 511774724 10334208 2082 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2523 2082 231 231 0 2292 0
vsize: 10092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.90 1/54 25483
Raw data (stat): 25426 (PBS4) Z 25425 3260 3259 0 -1 1036 2425 0 0 0 119887 161 0 0 25 0 1 0 511774724 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.29
CPU time (s): 1200.48
CPU user time (s): 1198.87
CPU system time (s): 1.61175
CPU usage (%): 100.017
Max. virtual memory (Kb): 10092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####