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-ssa7552-159.opb
MD5SUM	b7b224de1898888de830ec05fbd5ea69
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
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	2726
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	2726
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	1.07284
Number of variables	2726
Total number of constraints	4395
Number of constraints which are clauses	4395
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	5
Trace number 7825

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-17 16:29:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2058 boxname=wulflinc4 idbench=229 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b7b224de1898888de830ec05fbd5ea69  /oldhome/oroussel/tmp/wulflinc4/normalized-ssa7552-159.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-ssa7552-159.opb
IDLAUNCH: 2058
/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:        861628 kB
Buffers:         37664 kB
Cached:         114180 kB
SwapCached:          0 kB
Active:          74996 kB
Inactive:        79696 kB
HighTotal:      131008 kB
HighFree:        13076 kB
LowTotal:       903652 kB
LowFree:        848552 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            12800 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:49:32 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 2058 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-ssa7552-159.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.95 0.90 2/54 1601
Raw data (stat): 1601 (runsolver) R 1600 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453737473 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+9.99962 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 2786 0 0 0 991 7 0 0 25 0 1 0 453737473 18829312 2778 4294967295 134512640 135450300 3221224640 3221223104 134532784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4597 2778 231 231 0 4366 0
vsize: 18388
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 6227 0 0 0 1984 15 0 0 25 0 1 0 453737473 35741696 6219 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8726 6219 231 231 0 8495 0
vsize: 34904
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 9498 0 0 0 2977 21 0 0 25 0 1 0 453737473 69296128 9490 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16918 9490 231 231 0 16687 0
vsize: 67672
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 12695 0 0 0 3970 29 0 0 25 0 1 0 453737473 69632000 12638 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17000 12638 231 231 0 16769 0
vsize: 68000
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 15704 0 0 0 4962 38 0 0 25 0 1 0 453737473 69632000 15647 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17000 15647 231 231 0 16769 0
vsize: 68000
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 18435 0 0 0 5955 44 0 0 25 0 1 0 453737473 136740864 18378 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33384 18378 231 231 0 33153 0
vsize: 133536
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20256 0 0 0 6952 47 0 0 25 0 1 0 453737473 136876032 20199 4294967295 134512640 135450300 3221224640 3221223360 134598272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33417 20199 231 231 0 33186 0
vsize: 133668
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20306 0 0 0 7952 48 0 0 25 0 1 0 453737473 137027584 20249 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33454 20249 231 231 0 33223 0
vsize: 133816
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20326 0 0 0 8952 48 0 0 25 0 1 0 453737473 137162752 20269 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33487 20269 231 231 0 33256 0
vsize: 133948
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20351 0 0 0 9951 49 0 0 25 0 1 0 453737473 137162752 20294 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33487 20294 231 231 0 33256 0
vsize: 133948
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20370 0 0 0 10950 50 0 0 25 0 1 0 453737473 137162752 20313 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33487 20313 231 231 0 33256 0
vsize: 133948
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20481 0 0 0 11950 51 0 0 25 0 1 0 453737473 137687040 20327 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33615 20327 231 231 0 33384 0
vsize: 134460
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20504 0 0 0 12950 51 0 0 25 0 1 0 453737473 137687040 20350 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33615 20350 231 231 0 33384 0
vsize: 134460
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20519 0 0 0 13949 52 0 0 25 0 1 0 453737473 137801728 20365 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33643 20365 231 231 0 33412 0
vsize: 134572
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20537 0 0 0 14949 53 0 0 25 0 1 0 453737473 137801728 20383 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33643 20383 231 231 0 33412 0
vsize: 134572
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20556 0 0 0 15948 53 0 0 25 0 1 0 453737473 137928704 20402 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33674 20402 231 231 0 33443 0
vsize: 134696
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20574 0 0 0 16948 54 0 0 25 0 1 0 453737473 137928704 20420 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33674 20420 231 231 0 33443 0
vsize: 134696
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20596 0 0 0 17947 54 0 0 25 0 1 0 453737473 138063872 20442 4294967295 134512640 135450300 3221224640 3221223456 134537284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33707 20442 231 231 0 33476 0
vsize: 134828
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20812 0 0 0 18946 56 0 0 25 0 1 0 453737473 138063872 20658 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33707 20658 231 231 0 33476 0
vsize: 134828
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20830 0 0 0 19946 56 0 0 25 0 1 0 453737473 138063872 20676 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33707 20676 231 231 0 33476 0
vsize: 134828
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20859 0 0 0 20945 57 0 0 25 0 1 0 453737473 138182656 20705 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33736 20705 231 231 0 33505 0
vsize: 134944
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 20881 0 0 0 21945 57 0 0 25 0 1 0 453737473 138297344 20727 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33764 20727 231 231 0 33533 0
vsize: 135056
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 22171 0 0 0 22942 61 0 0 25 0 1 0 453737473 138297344 22017 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33764 22017 231 231 0 33533 0
vsize: 135056
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 23850 0 0 0 23939 64 0 0 25 0 1 0 453737473 138297344 23696 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33764 23696 231 231 0 33533 0
vsize: 135056
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 23869 0 0 0 24939 64 0 0 25 0 1 0 453737473 138432512 23715 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33797 23715 231 231 0 33566 0
vsize: 135188
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 24682 0 0 0 25937 66 0 0 25 0 1 0 453737473 138432512 24528 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33797 24528 231 231 0 33566 0
vsize: 135188
[startup+270.007 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 26505 0 0 0 26933 70 0 0 25 0 1 0 453737473 138547200 26351 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33825 26351 231 231 0 33594 0
vsize: 135300
[startup+280.007 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 28273 0 0 0 27929 74 0 0 25 0 1 0 453737473 138682368 28119 4294967295 134512640 135450300 3221224640 3221223024 134602501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33858 28119 231 231 0 33627 0
vsize: 135432
[startup+290.007 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30164 0 0 0 28925 79 0 0 25 0 1 0 453737473 138682368 30010 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33858 30010 231 231 0 33627 0
vsize: 135432
[startup+300.008 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30206 0 0 0 29924 80 0 0 25 0 1 0 453737473 138805248 30052 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33888 30052 231 231 0 33657 0
vsize: 135552
[startup+310.007 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30214 0 0 0 30924 80 0 0 25 0 1 0 453737473 138805248 30060 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33888 30060 231 231 0 33657 0
vsize: 135552
[startup+320.008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30222 0 0 0 31923 81 0 0 25 0 1 0 453737473 138805248 30068 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33888 30068 231 231 0 33657 0
vsize: 135552
[startup+330.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30423 0 0 0 32923 82 0 0 25 0 1 0 453737473 139591680 30076 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34080 30076 231 231 0 33849 0
vsize: 136320
[startup+340.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30430 0 0 0 33922 82 0 0 25 0 1 0 453737473 139591680 30083 4294967295 134512640 135450300 3221224640 3221223456 134537260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34080 30083 231 231 0 33849 0
vsize: 136320
[startup+350.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30446 0 0 0 34922 82 0 0 25 0 1 0 453737473 139726848 30099 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34113 30099 231 231 0 33882 0
vsize: 136452
[startup+360.009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30464 0 0 0 35922 83 0 0 25 0 1 0 453737473 139726848 30117 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34113 30117 231 231 0 33882 0
vsize: 136452
[startup+370.009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30472 0 0 0 36922 83 0 0 25 0 1 0 453737473 139726848 30125 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34113 30125 231 231 0 33882 0
vsize: 136452
[startup+380.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30482 0 0 0 37921 84 0 0 25 0 1 0 453737473 139726848 30135 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34113 30135 231 231 0 33882 0
vsize: 136452
[startup+390.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30487 0 0 0 38921 85 0 0 25 0 1 0 453737473 139726848 30140 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34113 30140 231 231 0 33882 0
vsize: 136452
[startup+400.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30499 0 0 0 39921 85 0 0 25 0 1 0 453737473 139845632 30152 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34142 30152 231 231 0 33911 0
vsize: 136568
[startup+410.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30509 0 0 0 40920 86 0 0 25 0 1 0 453737473 139845632 30162 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34142 30162 231 231 0 33911 0
vsize: 136568
[startup+420.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30523 0 0 0 41920 86 0 0 25 0 1 0 453737473 139845632 30176 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34142 30176 231 231 0 33911 0
vsize: 136568
[startup+430.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30534 0 0 0 42920 86 0 0 25 0 1 0 453737473 139972608 30187 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34173 30187 231 231 0 33942 0
vsize: 136692
[startup+440.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30566 0 0 0 43919 88 0 0 25 0 1 0 453737473 140132352 30219 4294967295 134512640 135450300 3221224640 3221223024 134602327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34212 30219 231 231 0 33981 0
vsize: 136848
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30592 0 0 0 44918 88 0 0 25 0 1 0 453737473 140132352 30245 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34212 30245 231 231 0 33981 0
vsize: 136848
[startup+460.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30608 0 0 0 45918 89 0 0 25 0 1 0 453737473 140132352 30261 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34212 30261 231 231 0 33981 0
vsize: 136848
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30617 0 0 0 46917 90 0 0 25 0 1 0 453737473 140132352 30270 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34212 30270 231 231 0 33981 0
vsize: 136848
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30624 0 0 0 47917 91 0 0 25 0 1 0 453737473 140132352 30277 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34212 30277 231 231 0 33981 0
vsize: 136848
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30632 0 0 0 48916 91 0 0 25 0 1 0 453737473 140242944 30285 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 30285 231 231 0 34008 0
vsize: 136956
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30644 0 0 0 49916 92 0 0 25 0 1 0 453737473 140242944 30297 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 30297 231 231 0 34008 0
vsize: 136956
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30651 0 0 0 50915 92 0 0 25 0 1 0 453737473 140242944 30304 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 30304 231 231 0 34008 0
vsize: 136956
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30661 0 0 0 51915 93 0 0 25 0 1 0 453737473 140378112 30314 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34272 30314 231 231 0 34041 0
vsize: 137088
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30673 0 0 0 52914 94 0 0 25 0 1 0 453737473 140378112 30326 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34272 30326 231 231 0 34041 0
vsize: 137088
[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30696 0 0 0 53914 94 0 0 25 0 1 0 453737473 140378112 30349 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34272 30349 231 231 0 34041 0
vsize: 137088
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30722 0 0 0 54913 95 0 0 25 0 1 0 453737473 140517376 30375 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34306 30375 231 231 0 34075 0
vsize: 137224
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30730 0 0 0 55912 96 0 0 25 0 1 0 453737473 140517376 30383 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34306 30383 231 231 0 34075 0
vsize: 137224
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30743 0 0 0 56911 97 0 0 25 0 1 0 453737473 140517376 30396 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34306 30396 231 231 0 34075 0
vsize: 137224
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30750 0 0 0 57911 98 0 0 25 0 1 0 453737473 140517376 30403 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34306 30403 231 231 0 34075 0
vsize: 137224
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30763 0 0 0 58911 98 0 0 25 0 1 0 453737473 140640256 30416 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34336 30416 231 231 0 34105 0
vsize: 137344
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30777 0 0 0 59911 98 0 0 25 0 1 0 453737473 140640256 30430 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34336 30430 231 231 0 34105 0
vsize: 137344
[startup+610.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30786 0 0 0 60911 98 0 0 25 0 1 0 453737473 140640256 30439 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34336 30439 231 231 0 34105 0
vsize: 137344
[startup+620.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30794 0 0 0 61911 99 0 0 25 0 1 0 453737473 140640256 30447 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34336 30447 231 231 0 34105 0
vsize: 137344
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30803 0 0 0 62911 99 0 0 25 0 1 0 453737473 140640256 30456 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34336 30456 231 231 0 34105 0
vsize: 137344
[startup+640.013 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30822 0 0 0 63910 100 0 0 25 0 1 0 453737473 140812288 30475 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34378 30475 231 231 0 34147 0
vsize: 137512
[startup+650.013 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30833 0 0 0 64910 100 0 0 25 0 1 0 453737473 140812288 30486 4294967295 134512640 135450300 3221224640 3221223456 134536489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34378 30486 231 231 0 34147 0
vsize: 137512
[startup+660.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30854 0 0 0 65910 100 0 0 25 0 1 0 453737473 140812288 30507 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34378 30507 231 231 0 34147 0
vsize: 137512
[startup+670.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30864 0 0 0 66909 101 0 0 25 0 1 0 453737473 140812288 30517 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34378 30517 231 231 0 34147 0
vsize: 137512
[startup+680.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30875 0 0 0 67909 101 0 0 25 0 1 0 453737473 140951552 30528 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34412 30528 231 231 0 34181 0
vsize: 137648
[startup+690.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30883 0 0 0 68909 102 0 0 25 0 1 0 453737473 140951552 30536 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34412 30536 231 231 0 34181 0
vsize: 137648
[startup+700.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30890 0 0 0 69909 102 0 0 25 0 1 0 453737473 140951552 30543 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34412 30543 231 231 0 34181 0
vsize: 137648
[startup+710.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30913 0 0 0 70909 102 0 0 25 0 1 0 453737473 140951552 30566 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34412 30566 231 231 0 34181 0
vsize: 137648
[startup+720.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30928 0 0 0 71909 102 0 0 25 0 1 0 453737473 140951552 30581 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34412 30581 231 231 0 34181 0
vsize: 137648
[startup+730.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30943 0 0 0 72909 103 0 0 25 0 1 0 453737473 141164544 30596 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34464 30596 231 231 0 34233 0
vsize: 137856
[startup+740.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 30968 0 0 0 73908 103 0 0 25 0 1 0 453737473 141164544 30621 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34464 30621 231 231 0 34233 0
vsize: 137856
[startup+750.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31360 0 0 0 74908 105 0 0 25 0 1 0 453737473 142737408 30628 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34848 30628 231 231 0 34617 0
vsize: 139392
[startup+760.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31369 0 0 0 75907 105 0 0 25 0 1 0 453737473 142737408 30637 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34848 30637 231 231 0 34617 0
vsize: 139392
[startup+770.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31377 0 0 0 76907 106 0 0 25 0 1 0 453737473 142737408 30645 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34848 30645 231 231 0 34617 0
vsize: 139392
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31386 0 0 0 77907 106 0 0 25 0 1 0 453737473 142737408 30654 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34848 30654 231 231 0 34617 0
vsize: 139392
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31394 0 0 0 78906 106 0 0 25 0 1 0 453737473 142737408 30662 4294967295 134512640 135450300 3221224640 3221223456 134536465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34848 30662 231 231 0 34617 0
vsize: 139392
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31404 0 0 0 79906 107 0 0 25 0 1 0 453737473 142737408 30672 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34848 30672 231 231 0 34617 0
vsize: 139392
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31417 0 0 0 80906 107 0 0 25 0 1 0 453737473 142929920 30685 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34895 30685 231 231 0 34664 0
vsize: 139580
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31423 0 0 0 81906 107 0 0 25 0 1 0 453737473 142929920 30691 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34895 30691 231 231 0 34664 0
vsize: 139580
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31434 0 0 0 82906 107 0 0 25 0 1 0 453737473 142929920 30702 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34895 30702 231 231 0 34664 0
vsize: 139580
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31443 0 0 0 83906 108 0 0 25 0 1 0 453737473 142929920 30711 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34895 30711 231 231 0 34664 0
vsize: 139580
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31482 0 0 0 84906 108 0 0 25 0 1 0 453737473 143114240 30750 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30750 231 231 0 34709 0
vsize: 139760
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31489 0 0 0 85905 109 0 0 25 0 1 0 453737473 143114240 30757 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30757 231 231 0 34709 0
vsize: 139760
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31496 0 0 0 86905 109 0 0 25 0 1 0 453737473 143114240 30764 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30764 231 231 0 34709 0
vsize: 139760
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31504 0 0 0 87905 109 0 0 25 0 1 0 453737473 143114240 30772 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30772 231 231 0 34709 0
vsize: 139760
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31512 0 0 0 88905 110 0 0 25 0 1 0 453737473 143114240 30780 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30780 231 231 0 34709 0
vsize: 139760
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31520 0 0 0 89905 110 0 0 25 0 1 0 453737473 143114240 30788 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30788 231 231 0 34709 0
vsize: 139760
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31525 0 0 0 90905 110 0 0 25 0 1 0 453737473 143114240 30793 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30793 231 231 0 34709 0
vsize: 139760
[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31532 0 0 0 91905 110 0 0 25 0 1 0 453737473 143114240 30800 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34940 30800 231 231 0 34709 0
vsize: 139760
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31567 0 0 0 92904 111 0 0 25 0 1 0 453737473 143273984 30835 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34979 30835 231 231 0 34748 0
vsize: 139916
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31574 0 0 0 93904 111 0 0 25 0 1 0 453737473 143273984 30842 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34979 30842 231 231 0 34748 0
vsize: 139916
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31579 0 0 0 94904 112 0 0 25 0 1 0 453737473 143273984 30847 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34979 30847 231 231 0 34748 0
vsize: 139916
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31591 0 0 0 95904 112 0 0 25 0 1 0 453737473 143273984 30859 4294967295 134512640 135450300 3221224640 3221223024 134602283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34979 30859 231 231 0 34748 0
vsize: 139916
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31598 0 0 0 96904 112 0 0 25 0 1 0 453737473 143273984 30866 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34979 30866 231 231 0 34748 0
vsize: 139916
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31619 0 0 0 97904 113 0 0 25 0 1 0 453737473 143417344 30887 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30887 231 231 0 34783 0
vsize: 140056
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31628 0 0 0 98903 113 0 0 25 0 1 0 453737473 143417344 30896 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30896 231 231 0 34783 0
vsize: 140056
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31634 0 0 0 99903 114 0 0 25 0 1 0 453737473 143417344 30902 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30902 231 231 0 34783 0
vsize: 140056
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31639 0 0 0 100903 114 0 0 25 0 1 0 453737473 143417344 30907 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30907 231 231 0 34783 0
vsize: 140056
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31646 0 0 0 101903 114 0 0 25 0 1 0 453737473 143417344 30914 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30914 231 231 0 34783 0
vsize: 140056
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31652 0 0 0 102903 115 0 0 25 0 1 0 453737473 143417344 30920 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30920 231 231 0 34783 0
vsize: 140056
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31661 0 0 0 103903 115 0 0 25 0 1 0 453737473 143417344 30929 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30929 231 231 0 34783 0
vsize: 140056
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31667 0 0 0 104902 115 0 0 25 0 1 0 453737473 143417344 30935 4294967295 134512640 135450300 3221224640 3221223104 134532709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30935 231 231 0 34783 0
vsize: 140056
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31675 0 0 0 105902 116 0 0 25 0 1 0 453737473 143417344 30943 4294967295 134512640 135450300 3221224640 3221223024 134602233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35014 30943 231 231 0 34783 0
vsize: 140056
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31686 0 0 0 106902 116 0 0 25 0 1 0 453737473 143556608 30954 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 30954 231 231 0 34817 0
vsize: 140192
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31692 0 0 0 107902 117 0 0 25 0 1 0 453737473 143556608 30960 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 30960 231 231 0 34817 0
vsize: 140192
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31698 0 0 0 108901 117 0 0 25 0 1 0 453737473 143556608 30966 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 30966 231 231 0 34817 0
vsize: 140192
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31714 0 0 0 109901 117 0 0 25 0 1 0 453737473 143556608 30982 4294967295 134512640 135450300 3221224640 3221223024 134602321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 30982 231 231 0 34817 0
vsize: 140192
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31718 0 0 0 110901 118 0 0 25 0 1 0 453737473 143556608 30986 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 30986 231 231 0 34817 0
vsize: 140192
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31729 0 0 0 111901 118 0 0 25 0 1 0 453737473 143556608 30997 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 30997 231 231 0 34817 0
vsize: 140192
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31736 0 0 0 112901 118 0 0 25 0 1 0 453737473 143556608 31004 4294967295 134512640 135450300 3221224640 3221223104 134532781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 31004 231 231 0 34817 0
vsize: 140192
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31753 0 0 0 113900 119 0 0 25 0 1 0 453737473 143556608 31021 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 31021 231 231 0 34817 0
vsize: 140192
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31759 0 0 0 114901 119 0 0 25 0 1 0 453737473 143556608 31027 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 31027 231 231 0 34817 0
vsize: 140192
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31763 0 0 0 115900 119 0 0 25 0 1 0 453737473 143556608 31031 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35048 31031 231 231 0 34817 0
vsize: 140192
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31779 0 0 0 116900 120 0 0 25 0 1 0 453737473 143708160 31047 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35085 31047 231 231 0 34854 0
vsize: 140340
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31789 0 0 0 117900 120 0 0 25 0 1 0 453737473 143708160 31057 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35085 31057 231 231 0 34854 0
vsize: 140340
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31796 0 0 0 118900 121 0 0 25 0 1 0 453737473 143708160 31064 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35085 31064 231 231 0 34854 0
vsize: 140340
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1601
Raw data (stat): 1601 (PBS4) R 1600 5897 5896 0 -1 0 31803 0 0 0 119900 121 0 0 25 0 1 0 453737473 143708160 31071 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35085 31071 231 231 0 34854 0
vsize: 140340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 1601
Raw data (stat): 1601 (PBS4) Z 1600 5897 5896 0 -1 1036 31803 0 0 0 119900 126 0 0 25 0 1 0 453737473 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.09
CPU time (s): 1200.27
CPU user time (s): 1199
CPU system time (s): 1.26981
CPU usage (%): 100.015
Max. virtual memory (Kb): 140340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####