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-ii16c1.opb
MD5SUM	43a8a62e8611595f1fd7c9eef317b58e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1382
Optimality of the best value was proved	NO
Number of terms in the objective function	3160
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	3160
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	3160
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	3160
Total number of constraints	18047
Number of constraints which are clauses	18047
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	20
Trace number 7713

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-17 15:59:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1257 boxname=wulflinc17 idbench=140 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  43a8a62e8611595f1fd7c9eef317b58e  /oldhome/oroussel/tmp/wulflinc17/normalized-ii16c1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-ii16c1.opb
IDLAUNCH: 1257
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        734676 kB
Buffers:         37372 kB
Cached:         226880 kB
SwapCached:       2376 kB
Active:          68872 kB
Inactive:       200752 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        734396 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7044 kB
Slab:            24680 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:19:07 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 1257 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-ii16c1.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/55 16804
Raw data (stat): 16804 (runsolver) R 16803 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511788084 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.001 s]
Raw data (loadavg): 0.87 0.94 0.69 2/55 16804
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 1378 0 0 0 995 4 0 0 25 0 1 0 511788084 7352320 1225 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1795 1225 231 231 0 1564 0
vsize: 7180
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.69 2/55 16804
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 2147 0 0 0 1992 6 0 0 25 0 1 0 511788084 11546624 1994 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2819 1994 231 231 0 2588 0
vsize: 11276
[startup+30.0006 s]
Raw data (loadavg): 0.91 0.94 0.70 2/55 16804
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 3216 0 0 0 2990 9 0 0 25 0 1 0 511788084 19935232 3063 4294967295 134512640 135450300 3221224640 3221223168 134544918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4867 3063 231 231 0 4636 0
vsize: 19468
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.94 0.70 2/55 16804
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 4360 0 0 0 3987 12 0 0 25 0 1 0 511788084 19935232 4207 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4867 4207 231 231 0 4636 0
vsize: 19468
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.70 2/55 16806
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 5486 0 0 0 4985 15 0 0 25 0 1 0 511788084 36712448 5333 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8963 5333 231 231 0 8732 0
vsize: 35852
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.95 0.70 2/55 16806
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 6564 0 0 0 5983 17 0 0 25 0 1 0 511788084 36847616 6411 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 6411 231 231 0 8765 0
vsize: 35984
[startup+70.1566 s]
Raw data (loadavg): 1.03 0.96 0.71 2/59 16849
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 7682 0 0 0 6995 20 0 0 25 0 1 0 511788084 36847616 7529 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 7529 231 231 0 8765 0
vsize: 35984
[startup+80.1573 s]
Raw data (loadavg): 1.19 1.00 0.73 2/55 16859
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 8706 0 0 0 7992 22 0 0 25 0 1 0 511788084 36847616 8553 4294967295 134512640 135450300 3221224640 3221223168 134544983 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 8553 231 231 0 8765 0
vsize: 35984
[startup+90.1832 s]
Raw data (loadavg): 1.16 1.00 0.73 2/55 16859
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 9856 0 0 0 8993 25 0 0 25 0 1 0 511788084 70402048 9703 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17188 9703 231 231 0 16957 0
vsize: 68752
[startup+100.183 s]
Raw data (loadavg): 1.13 1.00 0.73 2/55 16859
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 10999 0 0 0 9990 27 0 0 25 0 1 0 511788084 70402048 10846 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17188 10846 231 231 0 16957 0
vsize: 68752
[startup+110.183 s]
Raw data (loadavg): 1.11 1.00 0.73 2/55 16859
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 12108 0 0 0 10988 29 0 0 25 0 1 0 511788084 70402048 11955 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17188 11957 231 231 0 16957 0
vsize: 68752
[startup+120.183 s]
Raw data (loadavg): 1.09 1.00 0.73 2/55 16859
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 13159 0 0 0 11986 32 0 0 25 0 1 0 511788084 70402048 13006 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17188 13006 231 231 0 16957 0
vsize: 68752
[startup+130.183 s]
Raw data (loadavg): 1.08 1.00 0.74 2/55 16859
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 14288 0 0 0 12984 35 0 0 25 0 1 0 511788084 70402048 14135 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17188 14135 231 231 0 16957 0
vsize: 68752
[startup+140.183 s]
Raw data (loadavg): 1.07 1.00 0.74 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 15349 0 0 0 13982 37 0 0 25 0 1 0 511788084 70402048 15196 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17188 15196 231 231 0 16957 0
vsize: 68752
[startup+150.183 s]
Raw data (loadavg): 1.06 1.00 0.74 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 16361 0 0 0 14979 39 0 0 25 0 1 0 511788084 70402048 16208 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17188 16208 231 231 0 16957 0
vsize: 68752
[startup+160.184 s]
Raw data (loadavg): 1.05 1.00 0.74 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 17310 0 0 0 15977 41 0 0 25 0 1 0 511788084 137510912 17157 4294967295 134512640 135450300 3221224640 3221223360 134535965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33572 17157 231 231 0 33341 0
vsize: 134288
[startup+170.184 s]
Raw data (loadavg): 1.04 1.00 0.74 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 18314 0 0 0 16976 43 0 0 25 0 1 0 511788084 137510912 18161 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33572 18161 231 231 0 33341 0
vsize: 134288
[startup+180.184 s]
Raw data (loadavg): 1.03 1.00 0.75 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 19358 0 0 0 17974 45 0 0 25 0 1 0 511788084 137510912 19205 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33572 19205 231 231 0 33341 0
vsize: 134288
[startup+190.184 s]
Raw data (loadavg): 1.03 1.00 0.75 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 20369 0 0 0 18971 48 0 0 25 0 1 0 511788084 137510912 20216 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33572 20216 231 231 0 33341 0
vsize: 134288
[startup+200.184 s]
Raw data (loadavg): 1.02 1.00 0.75 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 20792 0 0 0 19970 49 0 0 25 0 1 0 511788084 137633792 20639 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33602 20639 231 231 0 33371 0
vsize: 134408
[startup+210.183 s]
Raw data (loadavg): 1.02 1.00 0.75 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 20908 0 0 0 20968 51 0 0 25 0 1 0 511788084 137633792 20755 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33602 20756 231 231 0 33371 0
vsize: 134408
[startup+220.183 s]
Raw data (loadavg): 1.02 1.00 0.75 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 21738 0 0 0 21966 54 0 0 25 0 1 0 511788084 137633792 21585 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33602 21585 231 231 0 33371 0
vsize: 134408
[startup+230.183 s]
Raw data (loadavg): 1.01 1.00 0.76 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 22231 0 0 0 22966 54 0 0 25 0 1 0 511788084 137756672 22078 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33632 22078 231 231 0 33401 0
vsize: 134528
[startup+240.183 s]
Raw data (loadavg): 1.01 1.00 0.76 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 23066 0 0 0 23964 56 0 0 25 0 1 0 511788084 137756672 22913 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33632 22913 231 231 0 33401 0
vsize: 134528
[startup+250.183 s]
Raw data (loadavg): 1.01 1.00 0.76 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 23920 0 0 0 24962 59 0 0 25 0 1 0 511788084 137756672 23767 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33632 23767 231 231 0 33401 0
vsize: 134528
[startup+260.183 s]
Raw data (loadavg): 1.01 1.00 0.76 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 24656 0 0 0 25959 62 0 0 25 0 1 0 511788084 137756672 24503 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33632 24503 231 231 0 33401 0
vsize: 134528
[startup+270.182 s]
Raw data (loadavg): 1.00 1.00 0.76 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 25536 0 0 0 26957 64 0 0 25 0 1 0 511788084 137756672 25383 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33632 25383 231 231 0 33401 0
vsize: 134528
[startup+280.182 s]
Raw data (loadavg): 1.00 1.00 0.77 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 26279 0 0 0 27955 66 0 0 25 0 1 0 511788084 137875456 26126 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 26126 231 231 0 33430 0
vsize: 134644
[startup+290.182 s]
Raw data (loadavg): 1.00 1.00 0.77 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 27194 0 0 0 28951 70 0 0 25 0 1 0 511788084 137875456 27041 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 27041 231 231 0 33430 0
vsize: 134644
[startup+300.182 s]
Raw data (loadavg): 1.00 1.00 0.77 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 28096 0 0 0 29949 72 0 0 25 0 1 0 511788084 137875456 27943 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 27943 231 231 0 33430 0
vsize: 134644
[startup+310.182 s]
Raw data (loadavg): 1.00 1.00 0.77 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 28635 0 0 0 30946 75 0 0 25 0 1 0 511788084 137875456 28482 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 28482 231 231 0 33430 0
vsize: 134644
[startup+320.182 s]
Raw data (loadavg): 1.00 1.00 0.77 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 29169 0 0 0 31945 76 0 0 25 0 1 0 511788084 137875456 29016 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 29016 231 231 0 33430 0
vsize: 134644
[startup+330.181 s]
Raw data (loadavg): 1.00 1.00 0.78 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 29724 0 0 0 32944 78 0 0 25 0 1 0 511788084 137875456 29571 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 29571 231 231 0 33430 0
vsize: 134644
[startup+340.181 s]
Raw data (loadavg): 1.00 1.00 0.78 2/55 16861
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 30250 0 0 0 33942 80 0 0 25 0 1 0 511788084 137875456 30097 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 30097 231 231 0 33430 0
vsize: 134644
[startup+350.182 s]
Raw data (loadavg): 1.00 1.00 0.78 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 30780 0 0 0 34940 82 0 0 25 0 1 0 511788084 137875456 30627 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 30627 231 231 0 33430 0
vsize: 134644
[startup+360.181 s]
Raw data (loadavg): 1.00 1.00 0.78 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 31318 0 0 0 35939 83 0 0 25 0 1 0 511788084 137875456 31165 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 31165 231 231 0 33430 0
vsize: 134644
[startup+370.181 s]
Raw data (loadavg): 1.00 1.00 0.78 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 31820 0 0 0 36938 85 0 0 25 0 1 0 511788084 137875456 31667 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33661 31667 231 231 0 33430 0
vsize: 134644
[startup+380.181 s]
Raw data (loadavg): 1.00 1.00 0.79 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 32234 0 0 0 37937 86 0 0 25 0 1 0 511788084 138006528 32081 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 32081 231 231 0 33462 0
vsize: 134772
[startup+390.181 s]
Raw data (loadavg): 1.00 1.00 0.79 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 32717 0 0 0 38934 88 0 0 25 0 1 0 511788084 138006528 32564 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 32564 231 231 0 33462 0
vsize: 134772
[startup+400.181 s]
Raw data (loadavg): 1.00 1.00 0.79 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33210 0 0 0 39933 90 0 0 25 0 1 0 511788084 138006528 33057 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33057 231 231 0 33462 0
vsize: 134772
[startup+410.181 s]
Raw data (loadavg): 1.00 1.00 0.79 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33668 0 0 0 40932 91 0 0 25 0 1 0 511788084 138006528 33515 4294967295 134512640 135450300 3221224640 3221222832 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33515 231 231 0 33462 0
vsize: 134772
[startup+420.181 s]
Raw data (loadavg): 1.00 1.00 0.79 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33669 0 0 0 41933 91 0 0 25 0 1 0 511788084 138006528 33516 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33516 231 231 0 33462 0
vsize: 134772
[startup+430.181 s]
Raw data (loadavg): 1.00 1.00 0.79 2/55 16863
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33677 0 0 0 42932 92 0 0 25 0 1 0 511788084 138006528 33524 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33524 231 231 0 33462 0
vsize: 134772
[startup+440.181 s]
Raw data (loadavg): 1.00 1.00 0.80 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33678 0 0 0 43931 93 0 0 25 0 1 0 511788084 138006528 33525 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33525 231 231 0 33462 0
vsize: 134772
[startup+450.182 s]
Raw data (loadavg): 1.00 1.00 0.80 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33679 0 0 0 44931 93 0 0 25 0 1 0 511788084 138006528 33526 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33526 231 231 0 33462 0
vsize: 134772
[startup+460.182 s]
Raw data (loadavg): 1.00 1.00 0.80 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33682 0 0 0 45932 93 0 0 25 0 1 0 511788084 138006528 33529 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33529 231 231 0 33462 0
vsize: 134772
[startup+470.181 s]
Raw data (loadavg): 1.00 1.00 0.80 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33694 0 0 0 46930 94 0 0 25 0 1 0 511788084 138006528 33541 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33541 231 231 0 33462 0
vsize: 134772
[startup+480.18 s]
Raw data (loadavg): 1.00 1.00 0.80 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33695 0 0 0 47929 95 0 0 25 0 1 0 511788084 138006528 33542 4294967295 134512640 135450300 3221224640 3221223168 134544912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33542 231 231 0 33462 0
vsize: 134772
[startup+490.182 s]
Raw data (loadavg): 1.00 1.00 0.81 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33696 0 0 0 48930 95 0 0 25 0 1 0 511788084 138006528 33543 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33543 231 231 0 33462 0
vsize: 134772
[startup+500.182 s]
Raw data (loadavg): 1.00 1.00 0.81 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33697 0 0 0 49930 95 0 0 25 0 1 0 511788084 138006528 33544 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 33544 231 231 0 33462 0
vsize: 134772
[startup+510.181 s]
Raw data (loadavg): 1.00 1.00 0.81 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33706 0 0 0 50928 97 0 0 25 0 1 0 511788084 138121216 33553 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33553 231 231 0 33490 0
vsize: 134884
[startup+520.182 s]
Raw data (loadavg): 1.00 1.00 0.81 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33708 0 0 0 51927 98 0 0 25 0 1 0 511788084 138121216 33555 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33555 231 231 0 33490 0
vsize: 134884
[startup+530.182 s]
Raw data (loadavg): 1.00 1.00 0.81 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33710 0 0 0 52927 98 0 0 25 0 1 0 511788084 138121216 33557 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33557 231 231 0 33490 0
vsize: 134884
[startup+540.182 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33717 0 0 0 53927 98 0 0 25 0 1 0 511788084 138121216 33564 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33564 231 231 0 33490 0
vsize: 134884
[startup+550.182 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33719 0 0 0 54926 100 0 0 25 0 1 0 511788084 138121216 33566 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33566 231 231 0 33490 0
vsize: 134884
[startup+560.182 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33721 0 0 0 55925 101 0 0 25 0 1 0 511788084 138121216 33568 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33568 231 231 0 33490 0
vsize: 134884
[startup+570.181 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33722 0 0 0 56926 101 0 0 25 0 1 0 511788084 138121216 33569 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33569 231 231 0 33490 0
vsize: 134884
[startup+580.181 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33724 0 0 0 57926 101 0 0 25 0 1 0 511788084 138121216 33571 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33721 33571 231 231 0 33490 0
vsize: 134884
[startup+590.181 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33930 0 0 0 58924 102 0 0 25 0 1 0 511788084 139018240 33584 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33584 231 231 0 33709 0
vsize: 135760
[startup+600.181 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33932 0 0 0 59923 104 0 0 25 0 1 0 511788084 139018240 33586 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33586 231 231 0 33709 0
vsize: 135760
[startup+610.181 s]
Raw data (loadavg): 1.00 1.00 0.82 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33933 0 0 0 60923 104 0 0 25 0 1 0 511788084 139018240 33587 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33587 231 231 0 33709 0
vsize: 135760
[startup+620.181 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33934 0 0 0 61923 104 0 0 25 0 1 0 511788084 139018240 33588 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33588 231 231 0 33709 0
vsize: 135760
[startup+630.18 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33944 0 0 0 62923 104 0 0 25 0 1 0 511788084 139018240 33598 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33598 231 231 0 33709 0
vsize: 135760
[startup+640.18 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16865
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33949 0 0 0 63923 104 0 0 25 0 1 0 511788084 139018240 33603 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33603 231 231 0 33709 0
vsize: 135760
[startup+650.18 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33951 0 0 0 64923 104 0 0 25 0 1 0 511788084 139018240 33605 4294967295 134512640 135450300 3221224640 3221223024 134579616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33605 231 231 0 33709 0
vsize: 135760
[startup+660.179 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33953 0 0 0 65923 104 0 0 25 0 1 0 511788084 139018240 33607 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33607 231 231 0 33709 0
vsize: 135760
[startup+670.179 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33955 0 0 0 66923 104 0 0 25 0 1 0 511788084 139018240 33609 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33609 231 231 0 33709 0
vsize: 135760
[startup+680.179 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33956 0 0 0 67924 104 0 0 25 0 1 0 511788084 139018240 33610 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 33610 231 231 0 33709 0
vsize: 135760
[startup+690.179 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33958 0 0 0 68924 105 0 0 25 0 1 0 511788084 139149312 33612 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33612 231 231 0 33741 0
vsize: 135888
[startup+700.179 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33966 0 0 0 69923 105 0 0 25 0 1 0 511788084 139149312 33620 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33620 231 231 0 33741 0
vsize: 135888
[startup+710.178 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33967 0 0 0 70922 107 0 0 25 0 1 0 511788084 139149312 33621 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33621 231 231 0 33741 0
vsize: 135888
[startup+720.178 s]
Raw data (loadavg): 1.00 1.00 0.83 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33968 0 0 0 71922 107 0 0 25 0 1 0 511788084 139149312 33622 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33622 231 231 0 33741 0
vsize: 135888
[startup+730.177 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33970 0 0 0 72922 107 0 0 25 0 1 0 511788084 139149312 33624 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33624 231 231 0 33741 0
vsize: 135888
[startup+740.177 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33978 0 0 0 73922 107 0 0 25 0 1 0 511788084 139149312 33632 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33632 231 231 0 33741 0
vsize: 135888
[startup+750.177 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33984 0 0 0 74921 108 0 0 25 0 1 0 511788084 139149312 33638 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33638 231 231 0 33741 0
vsize: 135888
[startup+760.176 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33987 0 0 0 75921 108 0 0 25 0 1 0 511788084 139149312 33641 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33641 231 231 0 33741 0
vsize: 135888
[startup+770.176 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 33990 0 0 0 76921 108 0 0 25 0 1 0 511788084 139149312 33644 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33972 33644 231 231 0 33741 0
vsize: 135888
[startup+780.176 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34000 0 0 0 77921 109 0 0 25 0 1 0 511788084 139288576 33654 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33654 231 231 0 33775 0
vsize: 136024
[startup+790.177 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34001 0 0 0 78918 111 0 0 25 0 1 0 511788084 139288576 33655 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33655 231 231 0 33775 0
vsize: 136024
[startup+800.177 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34004 0 0 0 79918 112 0 0 25 0 1 0 511788084 139288576 33658 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33658 231 231 0 33775 0
vsize: 136024
[startup+810.176 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34006 0 0 0 80918 112 0 0 25 0 1 0 511788084 139288576 33660 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33660 231 231 0 33775 0
vsize: 136024
[startup+820.177 s]
Raw data (loadavg): 1.00 1.00 0.84 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34013 0 0 0 81919 112 0 0 25 0 1 0 511788084 139288576 33667 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33667 231 231 0 33775 0
vsize: 136024
[startup+830.177 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34014 0 0 0 82918 113 0 0 25 0 1 0 511788084 139288576 33668 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33668 231 231 0 33775 0
vsize: 136024
[startup+840.177 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34015 0 0 0 83917 114 0 0 25 0 1 0 511788084 139288576 33669 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33669 231 231 0 33775 0
vsize: 136024
[startup+850.178 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34016 0 0 0 84918 114 0 0 25 0 1 0 511788084 139288576 33670 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33670 231 231 0 33775 0
vsize: 136024
[startup+860.177 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34017 0 0 0 85918 114 0 0 25 0 1 0 511788084 139288576 33671 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33671 231 231 0 33775 0
vsize: 136024
[startup+870.177 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34028 0 0 0 86917 115 0 0 25 0 1 0 511788084 139288576 33682 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33682 231 231 0 33775 0
vsize: 136024
[startup+880.176 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34029 0 0 0 87916 115 0 0 25 0 1 0 511788084 139288576 33683 4294967295 134512640 135450300 3221224640 3221223116 134571634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33683 231 231 0 33775 0
vsize: 136024
[startup+890.176 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34030 0 0 0 88916 115 0 0 25 0 1 0 511788084 139288576 33684 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33684 231 231 0 33775 0
vsize: 136024
[startup+900.176 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34032 0 0 0 89917 115 0 0 25 0 1 0 511788084 139288576 33686 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33686 231 231 0 33775 0
vsize: 136024
[startup+910.175 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34043 0 0 0 90916 116 0 0 25 0 1 0 511788084 139288576 33697 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33697 231 231 0 33775 0
vsize: 136024
[startup+920.175 s]
Raw data (loadavg): 1.00 1.00 0.85 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34044 0 0 0 91915 118 0 0 25 0 1 0 511788084 139288576 33698 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34006 33698 231 231 0 33775 0
vsize: 136024
[startup+930.175 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34046 0 0 0 92914 118 0 0 25 0 1 0 511788084 139427840 33700 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33700 231 231 0 33809 0
vsize: 136160
[startup+940.175 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16867
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34047 0 0 0 93914 118 0 0 25 0 1 0 511788084 139427840 33701 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33701 231 231 0 33809 0
vsize: 136160
[startup+950.175 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34049 0 0 0 94914 118 0 0 25 0 1 0 511788084 139427840 33703 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33703 231 231 0 33809 0
vsize: 136160
[startup+960.174 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34055 0 0 0 95914 119 0 0 25 0 1 0 511788084 139427840 33709 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33709 231 231 0 33809 0
vsize: 136160
[startup+970.174 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34056 0 0 0 96913 120 0 0 25 0 1 0 511788084 139427840 33710 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33710 231 231 0 33809 0
vsize: 136160
[startup+980.175 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34057 0 0 0 97913 121 0 0 25 0 1 0 511788084 139427840 33711 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33711 231 231 0 33809 0
vsize: 136160
[startup+990.175 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34058 0 0 0 98913 121 0 0 25 0 1 0 511788084 139427840 33712 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33712 231 231 0 33809 0
vsize: 136160
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34068 0 0 0 99912 121 0 0 25 0 1 0 511788084 139427840 33722 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33722 231 231 0 33809 0
vsize: 136160
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34069 0 0 0 100910 123 0 0 25 0 1 0 511788084 139427840 33723 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33723 231 231 0 33809 0
vsize: 136160
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.86 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34071 0 0 0 101911 123 0 0 25 0 1 0 511788084 139427840 33725 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33725 231 231 0 33809 0
vsize: 136160
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34072 0 0 0 102911 123 0 0 25 0 1 0 511788084 139427840 33726 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33726 231 231 0 33809 0
vsize: 136160
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34073 0 0 0 103911 124 0 0 25 0 1 0 511788084 139427840 33727 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33727 231 231 0 33809 0
vsize: 136160
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34082 0 0 0 104909 126 0 0 25 0 1 0 511788084 139427840 33736 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33736 231 231 0 33809 0
vsize: 136160
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34083 0 0 0 105908 127 0 0 25 0 1 0 511788084 139427840 33737 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33737 231 231 0 33809 0
vsize: 136160
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34084 0 0 0 106908 127 0 0 25 0 1 0 511788084 139427840 33738 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33738 231 231 0 33809 0
vsize: 136160
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34085 0 0 0 107908 127 0 0 25 0 1 0 511788084 139427840 33739 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33739 231 231 0 33809 0
vsize: 136160
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34097 0 0 0 108907 129 0 0 25 0 1 0 511788084 139567104 33751 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33751 231 231 0 33843 0
vsize: 136296
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34099 0 0 0 109905 130 0 0 25 0 1 0 511788084 139567104 33753 4294967295 134512640 135450300 3221224640 3221223024 134602070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33753 231 231 0 33843 0
vsize: 136296
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34100 0 0 0 110906 130 0 0 25 0 1 0 511788084 139567104 33754 4294967295 134512640 135450300 3221224640 3221223024 134579589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33754 231 231 0 33843 0
vsize: 136296
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34101 0 0 0 111906 130 0 0 25 0 1 0 511788084 139567104 33755 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33755 231 231 0 33843 0
vsize: 136296
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.87 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34109 0 0 0 112905 131 0 0 25 0 1 0 511788084 139567104 33763 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33763 231 231 0 33843 0
vsize: 136296
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.88 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34110 0 0 0 113904 132 0 0 25 0 1 0 511788084 139567104 33764 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33764 231 231 0 33843 0
vsize: 136296
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.88 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34111 0 0 0 114904 132 0 0 25 0 1 0 511788084 139567104 33765 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33765 231 231 0 33843 0
vsize: 136296
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.88 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34113 0 0 0 115904 133 0 0 25 0 1 0 511788084 139567104 33767 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33767 231 231 0 33843 0
vsize: 136296
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.88 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34120 0 0 0 116903 133 0 0 25 0 1 0 511788084 139567104 33774 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33774 231 231 0 33843 0
vsize: 136296
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.88 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34121 0 0 0 117902 135 0 0 25 0 1 0 511788084 139567104 33775 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33775 231 231 0 33843 0
vsize: 136296
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.88 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34121 0 0 0 118902 135 0 0 25 0 1 0 511788084 139567104 33775 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33775 231 231 0 33843 0
vsize: 136296
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.88 2/55 16869
Raw data (stat): 16804 (PBS4) R 16803 20838 20837 0 -1 0 34123 0 0 0 119902 135 0 0 25 0 1 0 511788084 139567104 33777 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34074 33777 231 231 0 33843 0
vsize: 136296
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.88 1/55 16869
Raw data (stat): 16804 (PBS4) Z 16803 20838 20837 0 -1 1036 34123 0 0 0 119902 142 0 0 25 0 1 0 511788084 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.24
CPU time (s): 1200.45
CPU user time (s): 1199.02
CPU system time (s): 1.42078
CPU usage (%): 100.017
Max. virtual memory (Kb): 136296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####