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-ii16e1.opb
MD5SUM	d8b41369d5995771affb002d5cd9e431
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1131
Optimality of the best value was proved	NO
Number of terms in the objective function	2490
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	2490
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	2490
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2490
Total number of constraints	16011
Number of constraints which are clauses	16011
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	2
Maximum length of a constraint	16
Trace number 7718

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-17 15:59:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1293 boxname=wulflinc4 idbench=144 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  d8b41369d5995771affb002d5cd9e431  /oldhome/oroussel/tmp/wulflinc4/normalized-ii16e1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-ii16e1.opb
IDLAUNCH: 1293
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        861132 kB
Buffers:         37632 kB
Cached:         114484 kB
SwapCached:          0 kB
Active:          75488 kB
Inactive:        79492 kB
HighTotal:      131008 kB
HighFree:        12684 kB
LowTotal:       903652 kB
LowFree:        848448 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13020 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:19:38 (client local time) WITH STATUS 0 IN 1201 SECONDS
stats: 1293 7 1201 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-ii16e1.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.69 2/54 1359
Raw data (stat): 1359 (runsolver) R 1358 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453557955 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.0002 s]
Raw data (loadavg): 0.87 0.94 0.69 2/54 1359
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 957 0 0 0 996 3 0 0 25 0 1 0 453557955 5115904 803 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1249 803 231 231 0 1018 0
vsize: 4996
[startup+20 s]
Raw data (loadavg): 0.89 0.94 0.69 2/54 1359
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 1105 0 0 0 1993 5 0 0 25 0 1 0 453557955 5386240 951 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1315 951 231 231 0 1084 0
vsize: 5260
[startup+30.1874 s]
Raw data (loadavg): 0.91 0.94 0.69 2/54 1359
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 2862 0 0 0 3008 9 0 0 25 0 1 0 453557955 20201472 2708 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4932 2708 231 231 0 4701 0
vsize: 19728
[startup+40.2421 s]
Raw data (loadavg): 0.92 0.94 0.70 3/56 1407
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 3643 0 0 0 4011 12 0 0 25 0 1 0 453557955 20201472 3489 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4932 3489 231 231 0 4701 0
vsize: 19728
[startup+50.2414 s]
Raw data (loadavg): 1.01 0.96 0.71 2/54 1413
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 4964 0 0 0 5007 16 0 0 25 0 1 0 453557955 36978688 4810 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 4810 231 231 0 8797 0
vsize: 36112
[startup+60.3924 s]
Raw data (loadavg): 1.00 0.96 0.71 2/54 1413
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 6416 0 0 0 6019 20 0 0 25 0 1 0 453557955 36978688 6262 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 6262 231 231 0 8797 0
vsize: 36112
[startup+70.5279 s]
Raw data (loadavg): 1.00 0.96 0.71 2/54 1413
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 7855 0 0 0 7030 23 0 0 25 0 1 0 453557955 36978688 7701 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 7701 231 231 0 8797 0
vsize: 36112
[startup+80.7587 s]
Raw data (loadavg): 1.00 0.96 0.71 2/54 1413
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 9372 0 0 0 8050 26 0 0 25 0 1 0 453557955 70668288 9218 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 9218 231 231 0 17022 0
vsize: 69012
[startup+90.7588 s]
Raw data (loadavg): 1.00 0.97 0.72 2/54 1413
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 10775 0 0 0 9046 29 0 0 25 0 1 0 453557955 70668288 10621 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 10621 231 231 0 17022 0
vsize: 69012
[startup+100.758 s]
Raw data (loadavg): 1.00 0.97 0.72 2/54 1413
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 12140 0 0 0 10043 33 0 0 25 0 1 0 453557955 70668288 11986 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 11986 231 231 0 17022 0
vsize: 69012
[startup+110.759 s]
Raw data (loadavg): 1.00 0.97 0.72 2/54 1413
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 13126 0 0 0 11041 35 0 0 25 0 1 0 453557955 70668288 12972 4294967295 134512640 135450300 3221224640 3221223376 134538979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 12972 231 231 0 17022 0
vsize: 69012
[startup+120.759 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 14471 0 0 0 12038 38 0 0 25 0 1 0 453557955 70668288 14317 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 14317 231 231 0 17022 0
vsize: 69012
[startup+130.759 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 15429 0 0 0 13036 40 0 0 25 0 1 0 453557955 70938624 15275 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17319 15275 231 231 0 17088 0
vsize: 69276
[startup+140.76 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 16825 0 0 0 14034 43 0 0 25 0 1 0 453557955 71077888 16671 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17353 16671 231 231 0 17122 0
vsize: 69412
[startup+150.76 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17324 0 0 0 15033 44 0 0 25 0 1 0 453557955 71208960 17170 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17385 17170 231 231 0 17154 0
vsize: 69540
[startup+160.76 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17339 0 0 0 16032 45 0 0 25 0 1 0 453557955 71208960 17185 4294967295 134512640 135450300 3221224640 3221223104 134532568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17385 17185 231 231 0 17154 0
vsize: 69540
[startup+170.76 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17355 0 0 0 17031 46 0 0 25 0 1 0 453557955 71208960 17201 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17385 17201 231 231 0 17154 0
vsize: 69540
[startup+180.76 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17366 0 0 0 18030 47 0 0 25 0 1 0 453557955 71208960 17212 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17385 17212 231 231 0 17154 0
vsize: 69540
[startup+190.76 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17388 0 0 0 19029 48 0 0 25 0 1 0 453557955 71340032 17234 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17417 17234 231 231 0 17186 0
vsize: 69668
[startup+200.76 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17399 0 0 0 20029 48 0 0 25 0 1 0 453557955 71340032 17245 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17417 17245 231 231 0 17186 0
vsize: 69668
[startup+210.76 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17409 0 0 0 21028 50 0 0 25 0 1 0 453557955 71475200 17255 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17450 17255 231 231 0 17219 0
vsize: 69800
[startup+220.76 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17442 0 0 0 22026 52 0 0 25 0 1 0 453557955 71475200 17288 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17450 17288 231 231 0 17219 0
vsize: 69800
[startup+230.76 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17444 0 0 0 23026 52 0 0 25 0 1 0 453557955 71475200 17290 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17450 17290 231 231 0 17219 0
vsize: 69800
[startup+240.76 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17458 0 0 0 24026 52 0 0 25 0 1 0 453557955 71610368 17304 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17483 17304 231 231 0 17252 0
vsize: 69932
[startup+250.76 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17506 0 0 0 25026 53 0 0 25 0 1 0 453557955 71745536 17352 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17516 17352 231 231 0 17285 0
vsize: 70064
[startup+260.759 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17509 0 0 0 26026 53 0 0 25 0 1 0 453557955 71745536 17355 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17516 17355 231 231 0 17285 0
vsize: 70064
[startup+270.76 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17513 0 0 0 27026 53 0 0 25 0 1 0 453557955 71745536 17359 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17516 17359 231 231 0 17285 0
vsize: 70064
[startup+280.759 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17520 0 0 0 28025 54 0 0 25 0 1 0 453557955 71745536 17366 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17516 17366 231 231 0 17285 0
vsize: 70064
[startup+290.76 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17528 0 0 0 29024 55 0 0 25 0 1 0 453557955 71864320 17374 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17545 17374 231 231 0 17314 0
vsize: 70180
[startup+300.76 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17726 0 0 0 30024 55 0 0 25 0 1 0 453557955 72650752 17379 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17379 231 231 0 17506 0
vsize: 70948
[startup+310.761 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17738 0 0 0 31023 56 0 0 25 0 1 0 453557955 72650752 17391 4294967295 134512640 135450300 3221224640 3221223116 134571608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17391 231 231 0 17506 0
vsize: 70948
[startup+320.76 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17748 0 0 0 32021 58 0 0 25 0 1 0 453557955 72650752 17401 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17401 231 231 0 17506 0
vsize: 70948
[startup+330.761 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17756 0 0 0 33021 59 0 0 25 0 1 0 453557955 72650752 17409 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17409 231 231 0 17506 0
vsize: 70948
[startup+340.761 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17762 0 0 0 34020 60 0 0 25 0 1 0 453557955 72650752 17415 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17415 231 231 0 17506 0
vsize: 70948
[startup+350.761 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17774 0 0 0 35020 60 0 0 25 0 1 0 453557955 72781824 17427 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17769 17427 231 231 0 17538 0
vsize: 71076
[startup+360.762 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 1415
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17777 0 0 0 36020 60 0 0 25 0 1 0 453557955 72781824 17430 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17769 17430 231 231 0 17538 0
vsize: 71076
[startup+370.762 s]
Raw data (loadavg): 1.00 0.97 0.78 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17785 0 0 0 37019 62 0 0 25 0 1 0 453557955 72781824 17438 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17769 17438 231 231 0 17538 0
vsize: 71076
[startup+380.761 s]
Raw data (loadavg): 1.00 0.97 0.78 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17799 0 0 0 38019 62 0 0 25 0 1 0 453557955 72781824 17452 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17769 17452 231 231 0 17538 0
vsize: 71076
[startup+390.763 s]
Raw data (loadavg): 1.00 0.97 0.78 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17804 0 0 0 39018 63 0 0 25 0 1 0 453557955 72781824 17457 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17769 17457 231 231 0 17538 0
vsize: 71076
[startup+400.762 s]
Raw data (loadavg): 1.00 0.97 0.78 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17816 0 0 0 40018 63 0 0 25 0 1 0 453557955 72904704 17469 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17799 17469 231 231 0 17568 0
vsize: 71196
[startup+410.763 s]
Raw data (loadavg): 1.00 0.97 0.78 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17826 0 0 0 41018 63 0 0 25 0 1 0 453557955 72904704 17479 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17799 17479 231 231 0 17568 0
vsize: 71196
[startup+420.763 s]
Raw data (loadavg): 1.00 0.97 0.79 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17831 0 0 0 42017 64 0 0 25 0 1 0 453557955 72904704 17484 4294967295 134512640 135450300 3221224640 3221223024 134602233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17799 17484 231 231 0 17568 0
vsize: 71196
[startup+430.762 s]
Raw data (loadavg): 1.00 0.97 0.79 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17840 0 0 0 43016 65 0 0 25 0 1 0 453557955 72904704 17493 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17799 17493 231 231 0 17568 0
vsize: 71196
[startup+440.762 s]
Raw data (loadavg): 1.00 0.97 0.79 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17843 0 0 0 44016 65 0 0 25 0 1 0 453557955 72904704 17496 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17799 17496 231 231 0 17568 0
vsize: 71196
[startup+450.762 s]
Raw data (loadavg): 1.00 0.97 0.79 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17851 0 0 0 45016 66 0 0 25 0 1 0 453557955 72904704 17504 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17799 17504 231 231 0 17568 0
vsize: 71196
[startup+460.763 s]
Raw data (loadavg): 1.00 0.97 0.79 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17874 0 0 0 46016 66 0 0 25 0 1 0 453557955 73039872 17527 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17832 17527 231 231 0 17601 0
vsize: 71328
[startup+470.763 s]
Raw data (loadavg): 1.00 0.97 0.79 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17877 0 0 0 47016 67 0 0 25 0 1 0 453557955 73039872 17530 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17832 17530 231 231 0 17601 0
vsize: 71328
[startup+480.763 s]
Raw data (loadavg): 1.00 0.97 0.80 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17879 0 0 0 48016 67 0 0 25 0 1 0 453557955 73039872 17532 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17832 17532 231 231 0 17601 0
vsize: 71328
[startup+490.763 s]
Raw data (loadavg): 1.00 0.97 0.80 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17887 0 0 0 49015 67 0 0 25 0 1 0 453557955 73039872 17540 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17832 17540 231 231 0 17601 0
vsize: 71328
[startup+500.763 s]
Raw data (loadavg): 1.00 0.97 0.80 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17899 0 0 0 50015 68 0 0 25 0 1 0 453557955 73154560 17552 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17860 17552 231 231 0 17629 0
vsize: 71440
[startup+510.763 s]
Raw data (loadavg): 1.00 0.97 0.80 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17907 0 0 0 51014 69 0 0 25 0 1 0 453557955 73154560 17560 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17860 17560 231 231 0 17629 0
vsize: 71440
[startup+520.763 s]
Raw data (loadavg): 1.00 0.97 0.80 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17926 0 0 0 52014 69 0 0 25 0 1 0 453557955 73154560 17579 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17860 17579 231 231 0 17629 0
vsize: 71440
[startup+530.763 s]
Raw data (loadavg): 1.00 0.97 0.81 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17930 0 0 0 53013 70 0 0 25 0 1 0 453557955 73154560 17583 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17860 17583 231 231 0 17629 0
vsize: 71440
[startup+540.763 s]
Raw data (loadavg): 1.00 0.97 0.81 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17940 0 0 0 54013 71 0 0 25 0 1 0 453557955 73285632 17593 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17593 231 231 0 17661 0
vsize: 71568
[startup+550.762 s]
Raw data (loadavg): 1.00 0.97 0.81 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17942 0 0 0 55012 71 0 0 25 0 1 0 453557955 73285632 17595 4294967295 134512640 135450300 3221224640 3221223376 134538557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17595 231 231 0 17661 0
vsize: 71568
[startup+560.762 s]
Raw data (loadavg): 1.00 0.97 0.81 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17953 0 0 0 56011 72 0 0 25 0 1 0 453557955 73285632 17606 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17606 231 231 0 17661 0
vsize: 71568
[startup+570.762 s]
Raw data (loadavg): 1.00 0.97 0.81 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17955 0 0 0 57011 73 0 0 25 0 1 0 453557955 73285632 17608 4294967295 134512640 135450300 3221224640 3221223024 134579362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17608 231 231 0 17661 0
vsize: 71568
[startup+580.762 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17965 0 0 0 58011 73 0 0 25 0 1 0 453557955 73285632 17618 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17618 231 231 0 17661 0
vsize: 71568
[startup+590.763 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17967 0 0 0 59011 73 0 0 25 0 1 0 453557955 73285632 17620 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17620 231 231 0 17661 0
vsize: 71568
[startup+600.763 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17973 0 0 0 60010 74 0 0 25 0 1 0 453557955 73285632 17626 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17626 231 231 0 17661 0
vsize: 71568
[startup+610.763 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17976 0 0 0 61010 74 0 0 25 0 1 0 453557955 73285632 17629 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17892 17629 231 231 0 17661 0
vsize: 71568
[startup+620.763 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17987 0 0 0 62010 75 0 0 25 0 1 0 453557955 73408512 17640 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17640 231 231 0 17691 0
vsize: 71688
[startup+630.763 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 17994 0 0 0 63010 75 0 0 25 0 1 0 453557955 73408512 17647 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17647 231 231 0 17691 0
vsize: 71688
[startup+640.763 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18001 0 0 0 64009 76 0 0 25 0 1 0 453557955 73408512 17654 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17654 231 231 0 17691 0
vsize: 71688
[startup+650.763 s]
Raw data (loadavg): 1.00 0.97 0.82 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18007 0 0 0 65008 77 0 0 25 0 1 0 453557955 73408512 17660 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17660 231 231 0 17691 0
vsize: 71688
[startup+660.763 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18008 0 0 0 66008 78 0 0 25 0 1 0 453557955 73408512 17661 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17661 231 231 0 17691 0
vsize: 71688
[startup+670.763 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18010 0 0 0 67008 78 0 0 25 0 1 0 453557955 73408512 17663 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17663 231 231 0 17691 0
vsize: 71688
[startup+680.763 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18017 0 0 0 68008 78 0 0 25 0 1 0 453557955 73408512 17670 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17670 231 231 0 17691 0
vsize: 71688
[startup+690.763 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18020 0 0 0 69008 78 0 0 25 0 1 0 453557955 73408512 17673 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17673 231 231 0 17691 0
vsize: 71688
[startup+700.764 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18021 0 0 0 70008 78 0 0 25 0 1 0 453557955 73408512 17674 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17674 231 231 0 17691 0
vsize: 71688
[startup+710.765 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18024 0 0 0 71008 78 0 0 25 0 1 0 453557955 73408512 17677 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17677 231 231 0 17691 0
vsize: 71688
[startup+720.765 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18024 0 0 0 72008 78 0 0 25 0 1 0 453557955 73408512 17677 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 17677 231 231 0 17691 0
vsize: 71688
[startup+730.764 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18036 0 0 0 73007 80 0 0 25 0 1 0 453557955 73539584 17689 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17689 231 231 0 17723 0
vsize: 71816
[startup+740.765 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18046 0 0 0 74007 80 0 0 25 0 1 0 453557955 73539584 17699 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17699 231 231 0 17723 0
vsize: 71816
[startup+750.765 s]
Raw data (loadavg): 1.00 0.97 0.83 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18048 0 0 0 75007 80 0 0 25 0 1 0 453557955 73539584 17701 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17701 231 231 0 17723 0
vsize: 71816
[startup+760.766 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18050 0 0 0 76007 80 0 0 25 0 1 0 453557955 73539584 17703 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17703 231 231 0 17723 0
vsize: 71816
[startup+770.766 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18060 0 0 0 77006 82 0 0 25 0 1 0 453557955 73539584 17713 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17713 231 231 0 17723 0
vsize: 71816
[startup+780.767 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18066 0 0 0 78005 83 0 0 25 0 1 0 453557955 73539584 17719 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17719 231 231 0 17723 0
vsize: 71816
[startup+790.767 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18071 0 0 0 79004 84 0 0 25 0 1 0 453557955 73539584 17724 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17954 17724 231 231 0 17723 0
vsize: 71816
[startup+800.767 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18080 0 0 0 80004 85 0 0 25 0 1 0 453557955 73670656 17733 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 17733 231 231 0 17755 0
vsize: 71944
[startup+810.768 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18090 0 0 0 81003 86 0 0 25 0 1 0 453557955 73670656 17743 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 17743 231 231 0 17755 0
vsize: 71944
[startup+820.768 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18092 0 0 0 82002 86 0 0 25 0 1 0 453557955 73670656 17745 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 17745 231 231 0 17755 0
vsize: 71944
[startup+830.768 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18101 0 0 0 83002 87 0 0 25 0 1 0 453557955 73670656 17754 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 17754 231 231 0 17755 0
vsize: 71944
[startup+840.769 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18104 0 0 0 84002 87 0 0 25 0 1 0 453557955 73670656 17757 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 17757 231 231 0 17755 0
vsize: 71944
[startup+850.768 s]
Raw data (loadavg): 1.00 0.97 0.84 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18109 0 0 0 85001 88 0 0 25 0 1 0 453557955 73670656 17762 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 17762 231 231 0 17755 0
vsize: 71944
[startup+860.768 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18122 0 0 0 86001 88 0 0 25 0 1 0 453557955 73818112 17775 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17775 231 231 0 17791 0
vsize: 72088
[startup+870.768 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18125 0 0 0 87000 89 0 0 25 0 1 0 453557955 73818112 17778 4294967295 134512640 135450300 3221224640 3221223116 134572667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17778 231 231 0 17791 0
vsize: 72088
[startup+880.768 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18134 0 0 0 88000 89 0 0 25 0 1 0 453557955 73818112 17787 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17787 231 231 0 17791 0
vsize: 72088
[startup+890.769 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18139 0 0 0 88999 91 0 0 25 0 1 0 453557955 73818112 17792 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17792 231 231 0 17791 0
vsize: 72088
[startup+900.769 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18146 0 0 0 89998 92 0 0 25 0 1 0 453557955 73818112 17799 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17799 231 231 0 17791 0
vsize: 72088
[startup+910.769 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18149 0 0 0 90998 92 0 0 25 0 1 0 453557955 73818112 17802 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17802 231 231 0 17791 0
vsize: 72088
[startup+920.769 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18156 0 0 0 91998 93 0 0 25 0 1 0 453557955 73818112 17809 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17809 231 231 0 17791 0
vsize: 72088
[startup+930.769 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18159 0 0 0 92997 93 0 0 25 0 1 0 453557955 73818112 17812 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17812 231 231 0 17791 0
vsize: 72088
[startup+940.77 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18169 0 0 0 93997 94 0 0 25 0 1 0 453557955 73818112 17822 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17822 231 231 0 17791 0
vsize: 72088
[startup+950.771 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18173 0 0 0 94997 94 0 0 25 0 1 0 453557955 73818112 17826 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17826 231 231 0 17791 0
vsize: 72088
[startup+960.771 s]
Raw data (loadavg): 1.00 0.97 0.85 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18182 0 0 0 95997 95 0 0 25 0 1 0 453557955 73949184 17835 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17835 231 231 0 17823 0
vsize: 72216
[startup+970.771 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18184 0 0 0 96996 95 0 0 25 0 1 0 453557955 73949184 17837 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17837 231 231 0 17823 0
vsize: 72216
[startup+980.771 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18194 0 0 0 97995 96 0 0 25 0 1 0 453557955 73949184 17847 4294967295 134512640 135450300 3221224640 3221223024 134602130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17847 231 231 0 17823 0
vsize: 72216
[startup+990.772 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18201 0 0 0 98995 96 0 0 25 0 1 0 453557955 73949184 17854 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17854 231 231 0 17823 0
vsize: 72216
[startup+1000.77 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18204 0 0 0 99994 98 0 0 25 0 1 0 453557955 73949184 17857 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17857 231 231 0 17823 0
vsize: 72216
[startup+1010.77 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18211 0 0 0 100994 98 0 0 25 0 1 0 453557955 73949184 17864 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17864 231 231 0 17823 0
vsize: 72216
[startup+1020.77 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18214 0 0 0 101994 99 0 0 25 0 1 0 453557955 73949184 17867 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17867 231 231 0 17823 0
vsize: 72216
[startup+1030.77 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18222 0 0 0 102993 99 0 0 25 0 1 0 453557955 73949184 17875 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17875 231 231 0 17823 0
vsize: 72216
[startup+1040.77 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18229 0 0 0 103993 100 0 0 25 0 1 0 453557955 74076160 17882 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17882 231 231 0 17854 0
vsize: 72340
[startup+1050.77 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18233 0 0 0 104993 100 0 0 25 0 1 0 453557955 74076160 17886 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17886 231 231 0 17854 0
vsize: 72340
[startup+1060.77 s]
Raw data (loadavg): 1.00 0.97 0.86 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18246 0 0 0 105993 100 0 0 25 0 1 0 453557955 74076160 17899 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17899 231 231 0 17854 0
vsize: 72340
[startup+1070.77 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18249 0 0 0 106993 100 0 0 25 0 1 0 453557955 74076160 17902 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17902 231 231 0 17854 0
vsize: 72340
[startup+1080.77 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18255 0 0 0 107993 101 0 0 25 0 1 0 453557955 74076160 17908 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17908 231 231 0 17854 0
vsize: 72340
[startup+1090.77 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18257 0 0 0 108993 101 0 0 25 0 1 0 453557955 74076160 17910 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17910 231 231 0 17854 0
vsize: 72340
[startup+1100.78 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18264 0 0 0 109993 101 0 0 25 0 1 0 453557955 74076160 17917 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17917 231 231 0 17854 0
vsize: 72340
[startup+1110.78 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18269 0 0 0 110993 101 0 0 25 0 1 0 453557955 74076160 17922 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17922 231 231 0 17854 0
vsize: 72340
[startup+1120.78 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18273 0 0 0 111993 101 0 0 25 0 1 0 453557955 74076160 17926 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17926 231 231 0 17854 0
vsize: 72340
[startup+1130.78 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18281 0 0 0 112993 101 0 0 25 0 1 0 453557955 74076160 17934 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17934 231 231 0 17854 0
vsize: 72340
[startup+1140.78 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18286 0 0 0 113993 102 0 0 25 0 1 0 453557955 74076160 17939 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18085 17939 231 231 0 17854 0
vsize: 72340
[startup+1150.78 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18294 0 0 0 114993 102 0 0 25 0 1 0 453557955 74276864 17947 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18134 17947 231 231 0 17903 0
vsize: 72536
[startup+1160.78 s]
Raw data (loadavg): 1.00 0.97 0.87 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18683 0 0 0 115992 103 0 0 25 0 1 0 453557955 75849728 17951 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18518 17951 231 231 0 18287 0
vsize: 74072
[startup+1170.78 s]
Raw data (loadavg): 1.00 0.97 0.88 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18694 0 0 0 116992 104 0 0 25 0 1 0 453557955 75849728 17962 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18518 17962 231 231 0 18287 0
vsize: 74072
[startup+1180.78 s]
Raw data (loadavg): 1.00 0.97 0.88 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18707 0 0 0 117992 104 0 0 25 0 1 0 453557955 75849728 17975 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18518 17975 231 231 0 18287 0
vsize: 74072
[startup+1190.78 s]
Raw data (loadavg): 1.00 0.97 0.88 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18710 0 0 0 118992 104 0 0 25 0 1 0 453557955 75849728 17978 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18518 17978 231 231 0 18287 0
vsize: 74072
[startup+1200.78 s]
Raw data (loadavg): 1.00 0.97 0.88 2/54 1417
Raw data (stat): 1359 (PBS4) R 1358 5897 5896 0 -1 0 18719 0 0 0 119991 105 0 0 25 0 1 0 453557955 75849728 17987 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18518 17987 231 231 0 18287 0
vsize: 74072
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.81 s]
Raw data (loadavg): 1.00 0.97 0.88 1/54 1417
Raw data (stat): 1359 (PBS4) Z 1358 5897 5896 0 -1 1036 18719 0 0 0 119991 108 0 0 25 0 1 0 453557955 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.81
CPU time (s): 1201
CPU user time (s): 1199.92
CPU system time (s): 1.08483
CPU usage (%): 100.016
Max. virtual memory (Kb): 74072
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####