PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb
MD5SUM	4fc22abde8250807abd95442a25fac44
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	407
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	407
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	407
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	406
Total number of constraints	538
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 7693

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-17 15:42:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=618 boxname=wulflinc2 idbench=69 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4fc22abde8250807abd95442a25fac44  /oldhome/oroussel/tmp/wulflinc2/normalized-f51m.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-f51m.b.opb
IDLAUNCH: 618
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        851912 kB
Buffers:         36724 kB
Cached:         124228 kB
SwapCached:          4 kB
Active:          62712 kB
Inactive:       101120 kB
HighTotal:      131008 kB
HighFree:         2884 kB
LowTotal:       903652 kB
LowFree:        849028 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13440 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:02:49 (client local time) WITH STATUS 0 IN 1200.56 SECONDS
stats: 618 7 1200.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-f51m.b.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.08 0.02 0.01 2/54 12239
Raw data (stat): 12239 (runsolver) R 12238 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453463085 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 337 0 0 0 994 4 0 0 25 0 1 0 453463085 2519040 333 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 615 333 231 231 0 384 0
vsize: 2460
[startup+20.001 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 510 0 0 0 1994 5 0 0 25 0 1 0 453463085 3567616 506 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 871 506 231 231 0 640 0
vsize: 3484
[startup+30.0013 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 670 0 0 0 2993 6 0 0 25 0 1 0 453463085 3768320 666 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 920 666 231 231 0 689 0
vsize: 3680
[startup+40.0014 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 792 0 0 0 3993 6 0 0 25 0 1 0 453463085 5865472 788 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1432 788 231 231 0 1201 0
vsize: 5728
[startup+50.001 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 909 0 0 0 4992 7 0 0 25 0 1 0 453463085 5865472 905 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1432 905 231 231 0 1201 0
vsize: 5728
[startup+60.0014 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1094 0 0 0 5992 8 0 0 25 0 1 0 453463085 6197248 1041 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1513 1041 231 231 0 1282 0
vsize: 6052
[startup+70.0014 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1211 0 0 0 6992 8 0 0 25 0 1 0 453463085 6332416 1158 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1546 1158 231 231 0 1315 0
vsize: 6184
[startup+80.0024 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1271 0 0 0 7992 8 0 0 25 0 1 0 453463085 6332416 1218 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1546 1218 231 231 0 1315 0
vsize: 6184
[startup+90.0025 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1429 0 0 0 8991 9 0 0 25 0 1 0 453463085 6467584 1376 4294967295 134512640 135450300 3221224640 3221223360 134535548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1579 1376 231 231 0 1348 0
vsize: 6316
[startup+100.002 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1516 0 0 0 9990 10 0 0 25 0 1 0 453463085 10661888 1463 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1463 231 231 0 2372 0
vsize: 10412
[startup+110.003 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1668 0 0 0 10990 11 0 0 25 0 1 0 453463085 10792960 1615 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1615 231 231 0 2404 0
vsize: 10540
[startup+120.004 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1800 0 0 0 11990 11 0 0 25 0 1 0 453463085 10792960 1747 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1747 231 231 0 2404 0
vsize: 10540
[startup+130.005 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1822 0 0 0 12989 12 0 0 25 0 1 0 453463085 10928128 1769 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1769 231 231 0 2437 0
vsize: 10672
[startup+140.005 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1837 0 0 0 13989 12 0 0 25 0 1 0 453463085 10928128 1784 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1784 231 231 0 2437 0
vsize: 10672
[startup+150.005 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1847 0 0 0 14990 12 0 0 25 0 1 0 453463085 11063296 1794 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1794 231 231 0 2470 0
vsize: 10804
[startup+160.005 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 1965 0 0 0 15989 13 0 0 25 0 1 0 453463085 11456512 1815 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2797 1815 231 231 0 2566 0
vsize: 11188
[startup+170.004 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2009 0 0 0 16988 14 0 0 25 0 1 0 453463085 11591680 1859 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2830 1859 231 231 0 2599 0
vsize: 11320
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2041 0 0 0 17987 15 0 0 25 0 1 0 453463085 11726848 1891 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1891 231 231 0 2632 0
vsize: 11452
[startup+190.005 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2142 0 0 0 18987 16 0 0 25 0 1 0 453463085 11726848 1992 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1992 231 231 0 2632 0
vsize: 11452
[startup+200.005 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2199 0 0 0 19986 16 0 0 25 0 1 0 453463085 11726848 2049 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 2049 231 231 0 2632 0
vsize: 11452
[startup+210.005 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2262 0 0 0 20986 17 0 0 25 0 1 0 453463085 11726848 2112 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 2112 231 231 0 2632 0
vsize: 11452
[startup+220.005 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2302 0 0 0 21986 17 0 0 25 0 1 0 453463085 11874304 2152 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2152 231 231 0 2668 0
vsize: 11596
[startup+230.005 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2313 0 0 0 22985 18 0 0 25 0 1 0 453463085 11874304 2163 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2163 231 231 0 2668 0
vsize: 11596
[startup+240.005 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2325 0 0 0 23985 18 0 0 25 0 1 0 453463085 11874304 2175 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2175 231 231 0 2668 0
vsize: 11596
[startup+250.005 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2334 0 0 0 24985 19 0 0 25 0 1 0 453463085 11874304 2184 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2184 231 231 0 2668 0
vsize: 11596
[startup+260.006 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2346 0 0 0 25984 19 0 0 25 0 1 0 453463085 11874304 2196 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2196 231 231 0 2668 0
vsize: 11596
[startup+270.006 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2361 0 0 0 26983 20 0 0 25 0 1 0 453463085 12029952 2211 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2211 231 231 0 2706 0
vsize: 11748
[startup+280.006 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2368 0 0 0 27983 21 0 0 25 0 1 0 453463085 12029952 2218 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2218 231 231 0 2706 0
vsize: 11748
[startup+290.007 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2376 0 0 0 28983 21 0 0 25 0 1 0 453463085 12029952 2226 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2226 231 231 0 2706 0
vsize: 11748
[startup+300.006 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2390 0 0 0 29983 22 0 0 25 0 1 0 453463085 12029952 2240 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2240 231 231 0 2706 0
vsize: 11748
[startup+310.006 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2396 0 0 0 30982 22 0 0 25 0 1 0 453463085 12029952 2246 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2246 231 231 0 2706 0
vsize: 11748
[startup+320.006 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2403 0 0 0 31982 23 0 0 25 0 1 0 453463085 12029952 2253 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2253 231 231 0 2706 0
vsize: 11748
[startup+330.007 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2415 0 0 0 32982 23 0 0 25 0 1 0 453463085 12029952 2265 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2265 231 231 0 2706 0
vsize: 11748
[startup+340.007 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2431 0 0 0 33982 24 0 0 25 0 1 0 453463085 12185600 2281 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2975 2281 231 231 0 2744 0
vsize: 11900
[startup+350.007 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2443 0 0 0 34981 24 0 0 25 0 1 0 453463085 12185600 2293 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2975 2293 231 231 0 2744 0
vsize: 11900
[startup+360.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2453 0 0 0 35980 25 0 0 25 0 1 0 453463085 12185600 2303 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2975 2303 231 231 0 2744 0
vsize: 11900
[startup+370.007 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2657 0 0 0 36979 27 0 0 25 0 1 0 453463085 12972032 2314 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3167 2314 231 231 0 2936 0
vsize: 12668
[startup+380.008 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2666 0 0 0 37979 27 0 0 25 0 1 0 453463085 12972032 2323 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3167 2323 231 231 0 2936 0
vsize: 12668
[startup+390.008 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2672 0 0 0 38978 28 0 0 25 0 1 0 453463085 13115392 2329 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2329 231 231 0 2971 0
vsize: 12808
[startup+400.008 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2679 0 0 0 39978 28 0 0 25 0 1 0 453463085 13115392 2336 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2336 231 231 0 2971 0
vsize: 12808
[startup+410.009 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2689 0 0 0 40978 29 0 0 25 0 1 0 453463085 13115392 2346 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2346 231 231 0 2971 0
vsize: 12808
[startup+420.008 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2697 0 0 0 41977 29 0 0 25 0 1 0 453463085 13115392 2354 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2354 231 231 0 2971 0
vsize: 12808
[startup+430.009 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2705 0 0 0 42977 30 0 0 25 0 1 0 453463085 13115392 2362 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2362 231 231 0 2971 0
vsize: 12808
[startup+440.009 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2715 0 0 0 43978 30 0 0 25 0 1 0 453463085 13115392 2372 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2372 231 231 0 2971 0
vsize: 12808
[startup+450.008 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2723 0 0 0 44977 30 0 0 25 0 1 0 453463085 13115392 2380 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2380 231 231 0 2971 0
vsize: 12808
[startup+460.008 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2726 0 0 0 45977 30 0 0 25 0 1 0 453463085 13115392 2383 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2383 231 231 0 2971 0
vsize: 12808
[startup+470.009 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2740 0 0 0 46977 31 0 0 25 0 1 0 453463085 13250560 2397 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3235 2397 231 231 0 3004 0
vsize: 12940
[startup+480.009 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2754 0 0 0 47977 31 0 0 25 0 1 0 453463085 13250560 2411 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3235 2411 231 231 0 3004 0
vsize: 12940
[startup+490.01 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2757 0 0 0 48976 32 0 0 25 0 1 0 453463085 13250560 2414 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3235 2414 231 231 0 3004 0
vsize: 12940
[startup+500.01 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2772 0 0 0 49975 32 0 0 25 0 1 0 453463085 13250560 2429 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3235 2429 231 231 0 3004 0
vsize: 12940
[startup+510.011 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2781 0 0 0 50974 33 0 0 25 0 1 0 453463085 13250560 2438 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3235 2438 231 231 0 3004 0
vsize: 12940
[startup+520.011 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2793 0 0 0 51974 34 0 0 25 0 1 0 453463085 13250560 2450 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3235 2450 231 231 0 3004 0
vsize: 12940
[startup+530.011 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2800 0 0 0 52974 34 0 0 25 0 1 0 453463085 13389824 2457 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2457 231 231 0 3038 0
vsize: 13076
[startup+540.011 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2812 0 0 0 53974 34 0 0 25 0 1 0 453463085 13389824 2469 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2469 231 231 0 3038 0
vsize: 13076
[startup+550.011 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2819 0 0 0 54974 35 0 0 25 0 1 0 453463085 13389824 2476 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2476 231 231 0 3038 0
vsize: 13076
[startup+560.011 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2822 0 0 0 55974 35 0 0 25 0 1 0 453463085 13389824 2479 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2479 231 231 0 3038 0
vsize: 13076
[startup+570.012 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2828 0 0 0 56974 35 0 0 25 0 1 0 453463085 13389824 2485 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2485 231 231 0 3038 0
vsize: 13076
[startup+580.013 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2836 0 0 0 57974 36 0 0 25 0 1 0 453463085 13389824 2493 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2493 231 231 0 3038 0
vsize: 13076
[startup+590.013 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2843 0 0 0 58973 36 0 0 25 0 1 0 453463085 13389824 2500 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2500 231 231 0 3038 0
vsize: 13076
[startup+600.014 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2850 0 0 0 59973 37 0 0 25 0 1 0 453463085 13529088 2507 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2507 231 231 0 3072 0
vsize: 13212
[startup+610.015 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2863 0 0 0 60973 37 0 0 25 0 1 0 453463085 13529088 2520 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2520 231 231 0 3072 0
vsize: 13212
[startup+620.015 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2869 0 0 0 61973 38 0 0 25 0 1 0 453463085 13529088 2526 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2526 231 231 0 3072 0
vsize: 13212
[startup+630.016 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2881 0 0 0 62972 38 0 0 25 0 1 0 453463085 13529088 2538 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2538 231 231 0 3072 0
vsize: 13212
[startup+640.017 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2917 0 0 0 63972 38 0 0 25 0 1 0 453463085 13529088 2574 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2574 231 231 0 3072 0
vsize: 13212
[startup+650.016 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 2996 0 0 0 64972 39 0 0 25 0 1 0 453463085 13529088 2653 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2653 231 231 0 3072 0
vsize: 13212
[startup+660.017 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3063 0 0 0 65971 40 0 0 25 0 1 0 453463085 13672448 2720 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2720 231 231 0 3107 0
vsize: 13352
[startup+670.017 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3074 0 0 0 66971 40 0 0 25 0 1 0 453463085 13672448 2731 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2731 231 231 0 3107 0
vsize: 13352
[startup+680.018 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3080 0 0 0 67971 41 0 0 25 0 1 0 453463085 13672448 2737 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2737 231 231 0 3107 0
vsize: 13352
[startup+690.018 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3093 0 0 0 68970 42 0 0 25 0 1 0 453463085 13672448 2750 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2750 231 231 0 3107 0
vsize: 13352
[startup+700.018 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3100 0 0 0 69970 42 0 0 25 0 1 0 453463085 13672448 2757 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2757 231 231 0 3107 0
vsize: 13352
[startup+710.019 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3105 0 0 0 70970 42 0 0 25 0 1 0 453463085 13672448 2762 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2762 231 231 0 3107 0
vsize: 13352
[startup+720.019 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3114 0 0 0 71970 42 0 0 25 0 1 0 453463085 13672448 2771 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2771 231 231 0 3107 0
vsize: 13352
[startup+730.02 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3130 0 0 0 72970 43 0 0 25 0 1 0 453463085 13672448 2787 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2787 231 231 0 3107 0
vsize: 13352
[startup+740.02 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3144 0 0 0 73970 43 0 0 25 0 1 0 453463085 13811712 2801 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2801 231 231 0 3141 0
vsize: 13488
[startup+750.02 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3154 0 0 0 74970 43 0 0 25 0 1 0 453463085 13811712 2811 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2811 231 231 0 3141 0
vsize: 13488
[startup+760.021 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3164 0 0 0 75970 44 0 0 25 0 1 0 453463085 13811712 2821 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2821 231 231 0 3141 0
vsize: 13488
[startup+770.021 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3175 0 0 0 76969 44 0 0 25 0 1 0 453463085 13811712 2832 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2832 231 231 0 3141 0
vsize: 13488
[startup+780.021 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3196 0 0 0 77969 45 0 0 25 0 1 0 453463085 13811712 2853 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2853 231 231 0 3141 0
vsize: 13488
[startup+790.021 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3206 0 0 0 78969 45 0 0 25 0 1 0 453463085 13975552 2863 4294967295 134512640 135450300 3221224640 3221223456 134547607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2863 231 231 0 3181 0
vsize: 13648
[startup+800.021 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3210 0 0 0 79969 45 0 0 25 0 1 0 453463085 13975552 2867 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2867 231 231 0 3181 0
vsize: 13648
[startup+810.021 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3223 0 0 0 80969 46 0 0 25 0 1 0 453463085 13975552 2880 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2880 231 231 0 3181 0
vsize: 13648
[startup+820.021 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3246 0 0 0 81969 46 0 0 25 0 1 0 453463085 13975552 2903 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2903 231 231 0 3181 0
vsize: 13648
[startup+830.022 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3298 0 0 0 82969 46 0 0 25 0 1 0 453463085 13975552 2955 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2955 231 231 0 3181 0
vsize: 13648
[startup+840.023 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3334 0 0 0 83969 46 0 0 25 0 1 0 453463085 13975552 2991 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2991 231 231 0 3181 0
vsize: 13648
[startup+850.022 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3342 0 0 0 84969 46 0 0 25 0 1 0 453463085 13975552 2999 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2999 231 231 0 3181 0
vsize: 13648
[startup+860.023 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3344 0 0 0 85969 46 0 0 25 0 1 0 453463085 13975552 3001 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 3001 231 231 0 3181 0
vsize: 13648
[startup+870.024 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3357 0 0 0 86969 47 0 0 25 0 1 0 453463085 14147584 3014 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 3014 231 231 0 3223 0
vsize: 13816
[startup+880.024 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3364 0 0 0 87969 47 0 0 25 0 1 0 453463085 14147584 3021 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 3021 231 231 0 3223 0
vsize: 13816
[startup+890.025 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3763 0 0 0 88968 48 0 0 25 0 1 0 453463085 15720448 3035 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3838 3035 231 231 0 3607 0
vsize: 15352
[startup+900.026 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3771 0 0 0 89968 48 0 0 25 0 1 0 453463085 15720448 3043 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3838 3043 231 231 0 3607 0
vsize: 15352
[startup+910.027 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3778 0 0 0 90968 48 0 0 25 0 1 0 453463085 15720448 3050 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3838 3050 231 231 0 3607 0
vsize: 15352
[startup+920.027 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3788 0 0 0 91968 48 0 0 25 0 1 0 453463085 15720448 3060 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3838 3060 231 231 0 3607 0
vsize: 15352
[startup+930.027 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3806 0 0 0 92968 49 0 0 25 0 1 0 453463085 15859712 3078 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3078 231 231 0 3641 0
vsize: 15488
[startup+940.028 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3819 0 0 0 93968 49 0 0 25 0 1 0 453463085 15859712 3091 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3091 231 231 0 3641 0
vsize: 15488
[startup+950.027 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3828 0 0 0 94968 50 0 0 25 0 1 0 453463085 15859712 3100 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3100 231 231 0 3641 0
vsize: 15488
[startup+960.028 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3863 0 0 0 95967 50 0 0 25 0 1 0 453463085 15859712 3135 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3135 231 231 0 3641 0
vsize: 15488
[startup+970.034 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3866 0 0 0 96968 50 0 0 25 0 1 0 453463085 15859712 3138 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3138 231 231 0 3641 0
vsize: 15488
[startup+980.034 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3876 0 0 0 97968 51 0 0 25 0 1 0 453463085 15859712 3148 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3148 231 231 0 3641 0
vsize: 15488
[startup+990.034 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3878 0 0 0 98968 51 0 0 25 0 1 0 453463085 15859712 3150 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3150 231 231 0 3641 0
vsize: 15488
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3891 0 0 0 99967 52 0 0 25 0 1 0 453463085 16064512 3163 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3163 231 231 0 3691 0
vsize: 15688
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3901 0 0 0 100967 52 0 0 25 0 1 0 453463085 16064512 3173 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3173 231 231 0 3691 0
vsize: 15688
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3911 0 0 0 101967 53 0 0 25 0 1 0 453463085 16064512 3183 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3183 231 231 0 3691 0
vsize: 15688
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3920 0 0 0 102966 53 0 0 25 0 1 0 453463085 16064512 3192 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3192 231 231 0 3691 0
vsize: 15688
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 12239
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3929 0 0 0 103966 54 0 0 25 0 1 0 453463085 16064512 3201 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3201 231 231 0 3691 0
vsize: 15688
[startup+1050.03 s]
Raw data (loadavg): 1.07 0.97 0.65 2/58 12282
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3941 0 0 0 104965 54 0 0 25 0 1 0 453463085 16064512 3213 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3213 231 231 0 3691 0
vsize: 15688
[startup+1060.03 s]
Raw data (loadavg): 1.14 0.99 0.66 2/56 12286
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3949 0 0 0 105965 55 0 0 25 0 1 0 453463085 16064512 3221 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3221 231 231 0 3691 0
vsize: 15688
[startup+1070.13 s]
Raw data (loadavg): 1.34 1.04 0.68 3/58 12292
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3961 0 0 0 106974 55 0 0 25 0 1 0 453463085 16273408 3233 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3233 231 231 0 3742 0
vsize: 15892
[startup+1080.36 s]
Raw data (loadavg): 1.29 1.03 0.68 2/54 12292
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3966 0 0 0 107996 56 0 0 25 0 1 0 453463085 16273408 3238 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3238 231 231 0 3742 0
vsize: 15892
[startup+1090.36 s]
Raw data (loadavg): 1.24 1.03 0.69 2/54 12292
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3974 0 0 0 108996 56 0 0 25 0 1 0 453463085 16273408 3246 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3246 231 231 0 3742 0
vsize: 15892
[startup+1100.36 s]
Raw data (loadavg): 1.21 1.03 0.69 2/54 12292
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3983 0 0 0 109996 57 0 0 25 0 1 0 453463085 16273408 3255 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3255 231 231 0 3742 0
vsize: 15892
[startup+1110.36 s]
Raw data (loadavg): 1.17 1.03 0.69 2/54 12292
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3987 0 0 0 110996 57 0 0 25 0 1 0 453463085 16273408 3259 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3259 231 231 0 3742 0
vsize: 15892
[startup+1120.36 s]
Raw data (loadavg): 1.15 1.03 0.70 2/54 12292
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 3996 0 0 0 111996 57 0 0 25 0 1 0 453463085 16273408 3268 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3268 231 231 0 3742 0
vsize: 15892
[startup+1130.36 s]
Raw data (loadavg): 1.12 1.03 0.70 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4000 0 0 0 112996 57 0 0 25 0 1 0 453463085 16273408 3272 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3272 231 231 0 3742 0
vsize: 15892
[startup+1140.36 s]
Raw data (loadavg): 1.10 1.03 0.70 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4006 0 0 0 113995 58 0 0 25 0 1 0 453463085 16273408 3278 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3278 231 231 0 3742 0
vsize: 15892
[startup+1150.36 s]
Raw data (loadavg): 1.09 1.02 0.70 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4011 0 0 0 114995 58 0 0 25 0 1 0 453463085 16273408 3283 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3283 231 231 0 3742 0
vsize: 15892
[startup+1160.36 s]
Raw data (loadavg): 1.07 1.02 0.71 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4020 0 0 0 115995 58 0 0 25 0 1 0 453463085 16273408 3292 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3292 231 231 0 3742 0
vsize: 15892
[startup+1170.36 s]
Raw data (loadavg): 1.06 1.02 0.71 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4029 0 0 0 116995 59 0 0 25 0 1 0 453463085 16273408 3301 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3301 231 231 0 3742 0
vsize: 15892
[startup+1180.36 s]
Raw data (loadavg): 1.05 1.02 0.71 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4032 0 0 0 117995 59 0 0 25 0 1 0 453463085 16273408 3304 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3304 231 231 0 3742 0
vsize: 15892
[startup+1190.36 s]
Raw data (loadavg): 1.04 1.02 0.72 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4040 0 0 0 118995 59 0 0 25 0 1 0 453463085 16273408 3312 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3312 231 231 0 3742 0
vsize: 15892
[startup+1200.36 s]
Raw data (loadavg): 1.04 1.02 0.72 2/54 12294
Raw data (stat): 12239 (PBS4) R 12238 20937 20936 0 -1 0 4044 0 0 0 119994 60 0 0 25 0 1 0 453463085 16273408 3316 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3316 231 231 0 3742 0
vsize: 15892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 1.04 1.02 0.72 1/54 12294
Raw data (stat): 12239 (PBS4) Z 12238 20937 20936 0 -1 1036 4044 0 0 0 119994 61 0 0 25 0 1 0 453463085 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.37
CPU time (s): 1200.56
CPU user time (s): 1199.95
CPU system time (s): 0.611906
CPU usage (%): 100.016
Max. virtual memory (Kb): 15892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####