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/primes-dimacs-cnf/normalized-par32-4.opb
MD5SUM	4ad922a0ad53056b410be6ab5caa6b5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	6352
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	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13489
Number of constraints which are clauses	13489
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 7800

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        704096 kB
Buffers:         39212 kB
Cached:         249788 kB
SwapCached:          0 kB
Active:          92936 kB
Inactive:       198952 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        703844 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            32984 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:43:27 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 1887 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-par32-4.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.91 0.98 0.88 2/54 3415
Raw data (stat): 3415 (runsolver) R 3413 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511923641 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.98 0.88 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 770 0 0 0 997 1 0 0 25 0 1 0 511923641 3756032 717 4294967295 134512640 135450300 3221224640 3221223504 134539361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 917 717 231 231 0 686 0
vsize: 3668
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.98 0.88 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 778 0 0 0 1997 1 0 0 25 0 1 0 511923641 3756032 725 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 917 725 231 231 0 686 0
vsize: 3668
[startup+29.9996 s]
Raw data (loadavg): 0.95 0.98 0.88 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 784 0 0 0 2997 1 0 0 25 0 1 0 511923641 3756032 731 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 917 731 231 231 0 686 0
vsize: 3668
[startup+39.9994 s]
Raw data (loadavg): 0.95 0.98 0.88 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 789 0 0 0 3997 1 0 0 25 0 1 0 511923641 3756032 736 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 917 736 231 231 0 686 0
vsize: 3668
[startup+49.9995 s]
Raw data (loadavg): 0.96 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 799 0 0 0 4998 1 0 0 25 0 1 0 511923641 3756032 746 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 917 746 231 231 0 686 0
vsize: 3668
[startup+60 s]
Raw data (loadavg): 0.97 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 806 0 0 0 5998 1 0 0 25 0 1 0 511923641 3756032 753 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 917 753 231 231 0 686 0
vsize: 3668
[startup+69.9998 s]
Raw data (loadavg): 0.97 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 815 0 0 0 6998 2 0 0 25 0 1 0 511923641 4280320 762 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1045 762 231 231 0 814 0
vsize: 4180
[startup+79.9999 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 829 0 0 0 7998 2 0 0 25 0 1 0 511923641 4280320 776 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1045 776 231 231 0 814 0
vsize: 4180
[startup+90.0004 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 839 0 0 0 8998 2 0 0 25 0 1 0 511923641 4280320 786 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1045 786 231 231 0 814 0
vsize: 4180
[startup+100 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 853 0 0 0 9998 2 0 0 25 0 1 0 511923641 4280320 800 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1045 800 231 231 0 814 0
vsize: 4180
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 871 0 0 0 10998 2 0 0 25 0 1 0 511923641 4280320 818 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1045 818 231 231 0 814 0
vsize: 4180
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 888 0 0 0 11998 2 0 0 25 0 1 0 511923641 4427776 835 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1081 835 231 231 0 850 0
vsize: 4324
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 899 0 0 0 12998 2 0 0 25 0 1 0 511923641 4427776 846 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1081 846 231 231 0 850 0
vsize: 4324
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 914 0 0 0 13998 2 0 0 25 0 1 0 511923641 4427776 861 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1081 861 231 231 0 850 0
vsize: 4324
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 930 0 0 0 14998 2 0 0 25 0 1 0 511923641 4427776 877 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1081 877 231 231 0 850 0
vsize: 4324
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 951 0 0 0 15998 3 0 0 25 0 1 0 511923641 4427776 898 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1081 898 231 231 0 850 0
vsize: 4324
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 967 0 0 0 16998 3 0 0 25 0 1 0 511923641 4427776 914 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1081 914 231 231 0 850 0
vsize: 4324
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 976 0 0 0 17998 3 0 0 25 0 1 0 511923641 4427776 923 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1081 923 231 231 0 850 0
vsize: 4324
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 986 0 0 0 18999 3 0 0 25 0 1 0 511923641 5476352 933 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1337 933 231 231 0 1106 0
vsize: 5348
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 996 0 0 0 19999 3 0 0 25 0 1 0 511923641 5476352 943 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1337 943 231 231 0 1106 0
vsize: 5348
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1016 0 0 0 20999 3 0 0 25 0 1 0 511923641 5578752 963 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1362 963 231 231 0 1131 0
vsize: 5448
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1022 0 0 0 21999 3 0 0 25 0 1 0 511923641 5578752 969 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1362 969 231 231 0 1131 0
vsize: 5448
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1037 0 0 0 22998 4 0 0 25 0 1 0 511923641 5578752 984 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1362 984 231 231 0 1131 0
vsize: 5448
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1051 0 0 0 23998 4 0 0 25 0 1 0 511923641 5578752 998 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1362 998 231 231 0 1131 0
vsize: 5448
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1075 0 0 0 24998 4 0 0 25 0 1 0 511923641 5578752 1022 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1362 1022 231 231 0 1131 0
vsize: 5448
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1147 0 0 0 25998 5 0 0 25 0 1 0 511923641 5849088 1094 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1428 1094 231 231 0 1197 0
vsize: 5712
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1161 0 0 0 26998 5 0 0 25 0 1 0 511923641 5849088 1108 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1428 1108 231 231 0 1197 0
vsize: 5712
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1270 0 0 0 27998 5 0 0 25 0 1 0 511923641 6242304 1120 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1524 1120 231 231 0 1293 0
vsize: 6096
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1282 0 0 0 28998 5 0 0 25 0 1 0 511923641 6242304 1132 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1524 1132 231 231 0 1293 0
vsize: 6096
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1291 0 0 0 29998 5 0 0 25 0 1 0 511923641 6242304 1141 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1524 1141 231 231 0 1293 0
vsize: 6096
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1312 0 0 0 30998 5 0 0 25 0 1 0 511923641 6352896 1162 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1162 231 231 0 1320 0
vsize: 6204
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1323 0 0 0 31998 6 0 0 25 0 1 0 511923641 6352896 1173 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1173 231 231 0 1320 0
vsize: 6204
[startup+330.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1337 0 0 0 32998 6 0 0 25 0 1 0 511923641 6352896 1187 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1187 231 231 0 1320 0
vsize: 6204
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1349 0 0 0 33998 6 0 0 25 0 1 0 511923641 6352896 1199 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1199 231 231 0 1320 0
vsize: 6204
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1361 0 0 0 34998 6 0 0 25 0 1 0 511923641 6352896 1211 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1211 231 231 0 1320 0
vsize: 6204
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1373 0 0 0 35998 7 0 0 25 0 1 0 511923641 6352896 1223 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1223 231 231 0 1320 0
vsize: 6204
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1385 0 0 0 36998 7 0 0 25 0 1 0 511923641 6352896 1235 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1235 231 231 0 1320 0
vsize: 6204
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1411 0 0 0 37998 7 0 0 25 0 1 0 511923641 6352896 1261 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1551 1261 231 231 0 1320 0
vsize: 6204
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1432 0 0 0 38998 7 0 0 25 0 1 0 511923641 6496256 1282 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1586 1282 231 231 0 1355 0
vsize: 6344
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1450 0 0 0 39998 7 0 0 25 0 1 0 511923641 6496256 1300 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1586 1300 231 231 0 1355 0
vsize: 6344
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1464 0 0 0 40998 7 0 0 25 0 1 0 511923641 6496256 1314 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1586 1314 231 231 0 1355 0
vsize: 6344
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1475 0 0 0 41998 8 0 0 25 0 1 0 511923641 6496256 1325 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1586 1325 231 231 0 1355 0
vsize: 6344
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1502 0 0 0 42998 8 0 0 25 0 1 0 511923641 6496256 1352 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1586 1352 231 231 0 1355 0
vsize: 6344
[startup+440.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1534 0 0 0 43998 8 0 0 25 0 1 0 511923641 8740864 1384 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2134 1384 231 231 0 1903 0
vsize: 8536
[startup+450.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1544 0 0 0 44998 8 0 0 25 0 1 0 511923641 8740864 1394 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2134 1394 231 231 0 1903 0
vsize: 8536
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1555 0 0 0 45998 8 0 0 25 0 1 0 511923641 8740864 1405 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2134 1405 231 231 0 1903 0
vsize: 8536
[startup+470.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1568 0 0 0 46998 9 0 0 25 0 1 0 511923641 8740864 1418 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2134 1418 231 231 0 1903 0
vsize: 8536
[startup+480.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1581 0 0 0 47998 9 0 0 25 0 1 0 511923641 8740864 1431 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2134 1431 231 231 0 1903 0
vsize: 8536
[startup+490.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1610 0 0 0 48998 9 0 0 25 0 1 0 511923641 8740864 1460 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2134 1460 231 231 0 1903 0
vsize: 8536
[startup+500.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1651 0 0 0 49997 10 0 0 25 0 1 0 511923641 8880128 1501 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1501 231 231 0 1937 0
vsize: 8672
[startup+510.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1652 0 0 0 50997 10 0 0 25 0 1 0 511923641 8880128 1502 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1502 231 231 0 1937 0
vsize: 8672
[startup+520.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1653 0 0 0 51997 10 0 0 25 0 1 0 511923641 8880128 1503 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1503 231 231 0 1937 0
vsize: 8672
[startup+530.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1654 0 0 0 52998 10 0 0 25 0 1 0 511923641 8880128 1504 4294967295 134512640 135450300 3221224640 3221223376 134537913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1504 231 231 0 1937 0
vsize: 8672
[startup+540.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1655 0 0 0 53998 10 0 0 25 0 1 0 511923641 8880128 1505 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1505 231 231 0 1937 0
vsize: 8672
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1665 0 0 0 54998 10 0 0 25 0 1 0 511923641 8880128 1515 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1515 231 231 0 1937 0
vsize: 8672
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1665 0 0 0 55998 10 0 0 25 0 1 0 511923641 8880128 1515 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1515 231 231 0 1937 0
vsize: 8672
[startup+570.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1667 0 0 0 56998 10 0 0 25 0 1 0 511923641 8880128 1517 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1517 231 231 0 1937 0
vsize: 8672
[startup+580.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1669 0 0 0 57998 10 0 0 25 0 1 0 511923641 8880128 1519 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1519 231 231 0 1937 0
vsize: 8672
[startup+590.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1681 0 0 0 58998 11 0 0 25 0 1 0 511923641 8974336 1531 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2191 1531 231 231 0 1960 0
vsize: 8764
[startup+600.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1710 0 0 0 59998 11 0 0 25 0 1 0 511923641 9109504 1560 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2224 1560 231 231 0 1993 0
vsize: 8896
[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1726 0 0 0 60998 11 0 0 25 0 1 0 511923641 9109504 1576 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2224 1576 231 231 0 1993 0
vsize: 8896
[startup+620.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1749 0 0 0 61998 11 0 0 25 0 1 0 511923641 9109504 1599 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2224 1599 231 231 0 1993 0
vsize: 8896
[startup+630.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1777 0 0 0 62998 11 0 0 25 0 1 0 511923641 9195520 1627 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1627 231 231 0 2014 0
vsize: 8980
[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1789 0 0 0 63998 11 0 0 25 0 1 0 511923641 9195520 1639 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1639 231 231 0 2014 0
vsize: 8980
[startup+650.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1803 0 0 0 64998 11 0 0 25 0 1 0 511923641 9195520 1653 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1653 231 231 0 2014 0
vsize: 8980
[startup+660.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1813 0 0 0 65998 12 0 0 25 0 1 0 511923641 9195520 1663 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1663 231 231 0 2014 0
vsize: 8980
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1838 0 0 0 66998 12 0 0 25 0 1 0 511923641 9195520 1688 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1688 231 231 0 2014 0
vsize: 8980
[startup+680.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1850 0 0 0 67998 12 0 0 25 0 1 0 511923641 9195520 1700 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1700 231 231 0 2014 0
vsize: 8980
[startup+690.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1865 0 0 0 68998 12 0 0 25 0 1 0 511923641 9195520 1715 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1715 231 231 0 2014 0
vsize: 8980
[startup+700.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1875 0 0 0 69998 12 0 0 25 0 1 0 511923641 9195520 1725 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1725 231 231 0 2014 0
vsize: 8980
[startup+710.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1889 0 0 0 70999 12 0 0 25 0 1 0 511923641 9195520 1739 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 1739 231 231 0 2014 0
vsize: 8980
[startup+720.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1909 0 0 0 71999 13 0 0 25 0 1 0 511923641 9289728 1759 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1759 231 231 0 2037 0
vsize: 9072
[startup+730.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1910 0 0 0 72999 13 0 0 25 0 1 0 511923641 9289728 1760 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1760 231 231 0 2037 0
vsize: 9072
[startup+740.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1919 0 0 0 73999 13 0 0 25 0 1 0 511923641 9289728 1769 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1769 231 231 0 2037 0
vsize: 9072
[startup+750.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1920 0 0 0 74999 13 0 0 25 0 1 0 511923641 9289728 1770 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1770 231 231 0 2037 0
vsize: 9072
[startup+760.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1923 0 0 0 75999 13 0 0 25 0 1 0 511923641 9289728 1773 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1773 231 231 0 2037 0
vsize: 9072
[startup+770.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1927 0 0 0 76999 13 0 0 25 0 1 0 511923641 9289728 1777 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1777 231 231 0 2037 0
vsize: 9072
[startup+780.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1941 0 0 0 77999 13 0 0 25 0 1 0 511923641 9404416 1791 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2296 1791 231 231 0 2065 0
vsize: 9184
[startup+790.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1942 0 0 0 78999 13 0 0 25 0 1 0 511923641 9404416 1792 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2296 1792 231 231 0 2065 0
vsize: 9184
[startup+800.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1944 0 0 0 79999 14 0 0 25 0 1 0 511923641 9404416 1794 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2296 1794 231 231 0 2065 0
vsize: 9184
[startup+810.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1944 0 0 0 80999 14 0 0 25 0 1 0 511923641 9404416 1794 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2296 1794 231 231 0 2065 0
vsize: 9184
[startup+820.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1946 0 0 0 81999 14 0 0 25 0 1 0 511923641 9404416 1796 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2296 1796 231 231 0 2065 0
vsize: 9184
[startup+830.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1948 0 0 0 82999 14 0 0 25 0 1 0 511923641 9404416 1798 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2296 1798 231 231 0 2065 0
vsize: 9184
[startup+840.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1965 0 0 0 83999 14 0 0 25 0 1 0 511923641 9506816 1815 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1815 231 231 0 2090 0
vsize: 9284
[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1965 0 0 0 84999 14 0 0 25 0 1 0 511923641 9506816 1815 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1815 231 231 0 2090 0
vsize: 9284
[startup+860.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1966 0 0 0 85999 15 0 0 25 0 1 0 511923641 9506816 1816 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1816 231 231 0 2090 0
vsize: 9284
[startup+870.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1966 0 0 0 86999 15 0 0 25 0 1 0 511923641 9506816 1816 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1816 231 231 0 2090 0
vsize: 9284
[startup+880.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1967 0 0 0 87999 15 0 0 25 0 1 0 511923641 9506816 1817 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1817 231 231 0 2090 0
vsize: 9284
[startup+890.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1980 0 0 0 88999 15 0 0 25 0 1 0 511923641 9506816 1830 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1830 231 231 0 2090 0
vsize: 9284
[startup+900.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 1992 0 0 0 89999 15 0 0 25 0 1 0 511923641 9506816 1842 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1842 231 231 0 2090 0
vsize: 9284
[startup+910.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2005 0 0 0 90999 15 0 0 25 0 1 0 511923641 9506816 1855 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1855 231 231 0 2090 0
vsize: 9284
[startup+920.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2019 0 0 0 91999 16 0 0 25 0 1 0 511923641 9506816 1869 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1869 231 231 0 2090 0
vsize: 9284
[startup+930.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2032 0 0 0 92999 16 0 0 25 0 1 0 511923641 9506816 1882 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1882 231 231 0 2090 0
vsize: 9284
[startup+940.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2047 0 0 0 93999 16 0 0 25 0 1 0 511923641 9506816 1897 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1897 231 231 0 2090 0
vsize: 9284
[startup+950.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2063 0 0 0 94999 16 0 0 25 0 1 0 511923641 9506816 1913 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1913 231 231 0 2090 0
vsize: 9284
[startup+960.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2079 0 0 0 95999 16 0 0 25 0 1 0 511923641 9506816 1929 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1929 231 231 0 2090 0
vsize: 9284
[startup+970.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2093 0 0 0 96999 16 0 0 25 0 1 0 511923641 9506816 1943 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1943 231 231 0 2090 0
vsize: 9284
[startup+980.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2106 0 0 0 97999 16 0 0 25 0 1 0 511923641 9506816 1956 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1956 231 231 0 2090 0
vsize: 9284
[startup+990.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2118 0 0 0 98999 17 0 0 25 0 1 0 511923641 9506816 1968 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1968 231 231 0 2090 0
vsize: 9284
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2128 0 0 0 99999 17 0 0 25 0 1 0 511923641 9506816 1978 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1978 231 231 0 2090 0
vsize: 9284
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2139 0 0 0 100999 17 0 0 25 0 1 0 511923641 9506816 1989 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 1989 231 231 0 2090 0
vsize: 9284
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2159 0 0 0 101999 17 0 0 25 0 1 0 511923641 9613312 2009 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2009 231 231 0 2116 0
vsize: 9388
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2160 0 0 0 102999 18 0 0 25 0 1 0 511923641 9613312 2010 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2010 231 231 0 2116 0
vsize: 9388
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2161 0 0 0 103999 18 0 0 25 0 1 0 511923641 9613312 2011 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2011 231 231 0 2116 0
vsize: 9388
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2162 0 0 0 104999 18 0 0 25 0 1 0 511923641 9613312 2012 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2012 231 231 0 2116 0
vsize: 9388
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2163 0 0 0 105999 18 0 0 25 0 1 0 511923641 9613312 2013 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2013 231 231 0 2116 0
vsize: 9388
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2164 0 0 0 106999 18 0 0 25 0 1 0 511923641 9613312 2014 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2014 231 231 0 2116 0
vsize: 9388
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2165 0 0 0 107999 18 0 0 25 0 1 0 511923641 9613312 2015 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2015 231 231 0 2116 0
vsize: 9388
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2166 0 0 0 108999 19 0 0 25 0 1 0 511923641 9613312 2016 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2016 231 231 0 2116 0
vsize: 9388
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2167 0 0 0 109999 19 0 0 25 0 1 0 511923641 9613312 2017 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2017 231 231 0 2116 0
vsize: 9388
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2176 0 0 0 110999 19 0 0 25 0 1 0 511923641 9613312 2026 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2026 231 231 0 2116 0
vsize: 9388
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2194 0 0 0 111999 19 0 0 25 0 1 0 511923641 9613312 2044 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2044 231 231 0 2116 0
vsize: 9388
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2205 0 0 0 112999 19 0 0 25 0 1 0 511923641 9613312 2055 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2055 231 231 0 2116 0
vsize: 9388
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2235 0 0 0 113999 20 0 0 25 0 1 0 511923641 9613312 2085 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2085 231 231 0 2116 0
vsize: 9388
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2254 0 0 0 114999 20 0 0 25 0 1 0 511923641 9613312 2104 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2104 231 231 0 2116 0
vsize: 9388
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2279 0 0 0 115999 20 0 0 25 0 1 0 511923641 9613312 2129 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2129 231 231 0 2116 0
vsize: 9388
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2302 0 0 0 117000 20 0 0 25 0 1 0 511923641 9613312 2152 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2347 2152 231 231 0 2116 0
vsize: 9388
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2331 0 0 0 117999 20 0 0 25 0 1 0 511923641 9699328 2181 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2368 2181 231 231 0 2137 0
vsize: 9472
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2354 0 0 0 118999 21 0 0 25 0 1 0 511923641 13893632 2204 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3392 2204 231 231 0 3161 0
vsize: 13568
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3415
Raw data (stat): 3415 (PBS4) R 3413 11931 11930 0 -1 0 2375 0 0 0 119999 21 0 0 25 0 1 0 511923641 13893632 2225 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3392 2225 231 231 0 3161 0
vsize: 13568
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 3415
Raw data (stat): 3415 (PBS4) Z 3413 11931 11930 0 -1 1036 2375 0 0 0 119999 21 0 0 25 0 1 0 511923641 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.02
CPU time (s): 1200.22
CPU user time (s): 1200
CPU system time (s): 0.219966
CPU usage (%): 100.016
Max. virtual memory (Kb): 13568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####