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/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM	ccbca61851d5d361647c00bb58b30d92
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	77106
Total number of constraints	218779
Number of constraints which are clauses	205559
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13220
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 7879

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-04-17 16:52:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2724 boxname=wulflinc3 idbench=303 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.ex.mem.LdValue.ucl.opb
IDLAUNCH: 2724
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        779100 kB
Buffers:         37400 kB
Cached:         192904 kB
SwapCached:       3276 kB
Active:          99040 kB
Inactive:       137456 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        778848 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13416 kB
Committed_AS:    71672 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:12:33 (client local time) WITH STATUS 0 IN 1200.52 SECONDS
stats: 2724 7 1200.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.ex.mem.LdValue.ucl.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.93 0.97 0.91 2/54 4513
Raw data (stat): 4513 (runsolver) R 4512 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453875508 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.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 8723 0 0 0 975 23 0 0 25 0 1 0 453875508 34242560 7075 4294967295 134512640 135450300 3221224624 3221157360 134855135 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8360 7075 231 231 0 8129 0
vsize: 33440
[startup+20.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 10314 0 0 0 1971 27 0 0 25 0 1 0 453875508 40484864 8410 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9884 8410 231 231 0 9653 0
vsize: 39536
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 10935 0 0 0 2968 30 0 0 25 0 1 0 453875508 42516480 8880 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10380 8880 231 231 0 10149 0
vsize: 41520
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 11318 0 0 0 3967 31 0 0 25 0 1 0 453875508 43433984 9112 4294967295 134512640 135450300 3221224624 3221223488 134539179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10604 9112 231 231 0 10373 0
vsize: 42416
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 11628 0 0 0 4966 32 0 0 25 0 1 0 453875508 44097536 9271 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10766 9271 231 231 0 10535 0
vsize: 43064
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 11919 0 0 0 5965 34 0 0 25 0 1 0 453875508 44490752 9411 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10862 9411 231 231 0 10631 0
vsize: 43448
[startup+70.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 12260 0 0 0 6964 35 0 0 25 0 1 0 453875508 45277184 9601 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 9601 231 231 0 10823 0
vsize: 44216
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 12339 0 0 0 7963 37 0 0 25 0 1 0 453875508 45608960 9680 4294967295 134512640 135450300 3221224624 3221223360 134538960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11135 9680 231 231 0 10904 0
vsize: 44540
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 12543 0 0 0 8962 38 0 0 25 0 1 0 453875508 46374912 9884 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11322 9884 231 231 0 11091 0
vsize: 45288
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 12848 0 0 0 9959 40 0 0 25 0 1 0 453875508 47095808 10038 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11498 10038 231 231 0 11267 0
vsize: 45992
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 13226 0 0 0 10958 42 0 0 25 0 1 0 453875508 47980544 10265 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11714 10265 231 231 0 11483 0
vsize: 46856
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 13328 0 0 0 11957 43 0 0 25 0 1 0 453875508 48279552 10367 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11787 10367 231 231 0 11556 0
vsize: 47148
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 13655 0 0 0 12955 45 0 0 25 0 1 0 453875508 49065984 10543 4294967295 134512640 135450300 3221224624 3221223488 134539158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11979 10543 231 231 0 11748 0
vsize: 47916
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 13876 0 0 0 13953 47 0 0 25 0 1 0 453875508 49262592 10613 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12027 10613 231 231 0 11796 0
vsize: 48108
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 14082 0 0 0 14951 49 0 0 25 0 1 0 453875508 49262592 10668 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12027 10668 231 231 0 11796 0
vsize: 48108
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 14251 0 0 0 15950 50 0 0 25 0 1 0 453875508 49262592 10686 4294967295 134512640 135450300 3221224624 3221223524 134539773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12027 10686 231 231 0 11796 0
vsize: 48108
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 14318 0 0 0 16949 52 0 0 25 0 1 0 453875508 49397760 10753 4294967295 134512640 135450300 3221224624 3221223360 134538498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12060 10753 231 231 0 11829 0
vsize: 48240
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 14535 0 0 0 17947 54 0 0 25 0 1 0 453875508 49594368 10819 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12108 10819 231 231 0 11877 0
vsize: 48432
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 14771 0 0 0 18946 55 0 0 25 0 1 0 453875508 49790976 10904 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12156 10904 231 231 0 11925 0
vsize: 48624
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 14998 0 0 0 19945 57 0 0 25 0 1 0 453875508 50061312 10980 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12222 10980 231 231 0 11991 0
vsize: 48888
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 15167 0 0 0 20944 58 0 0 25 0 1 0 453875508 50061312 10998 4294967295 134512640 135450300 3221224624 3221223488 134539211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12222 10998 231 231 0 11991 0
vsize: 48888
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 15322 0 0 0 21942 60 0 0 25 0 1 0 453875508 50061312 11002 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12222 11002 231 231 0 11991 0
vsize: 48888
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 15488 0 0 0 22940 62 0 0 25 0 1 0 453875508 50061312 11017 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12222 11017 231 231 0 11991 0
vsize: 48888
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 15511 0 0 0 23939 64 0 0 25 0 1 0 453875508 50061312 11040 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12222 11040 231 231 0 11991 0
vsize: 48888
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 15777 0 0 0 24937 66 0 0 25 0 1 0 453875508 50585600 11155 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12350 11155 231 231 0 12119 0
vsize: 49400
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 15957 0 0 0 25936 67 0 0 25 0 1 0 453875508 50585600 11184 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12350 11184 231 231 0 12119 0
vsize: 49400
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 16184 0 0 0 26935 68 0 0 25 0 1 0 453875508 50855936 11260 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 11260 231 231 0 12185 0
vsize: 49664
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 16213 0 0 0 27934 69 0 0 25 0 1 0 453875508 50855936 11289 4294967295 134512640 135450300 3221224624 3221223488 134539141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 11289 231 231 0 12185 0
vsize: 49664
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 16435 0 0 0 28933 71 0 0 25 0 1 0 453875508 51216384 11360 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12504 11360 231 231 0 12273 0
vsize: 50016
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 16654 0 0 0 29932 72 0 0 25 0 1 0 453875508 51351552 11428 4294967295 134512640 135450300 3221224624 3221222976 134533084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12537 11428 231 231 0 12306 0
vsize: 50148
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 16726 0 0 0 30931 73 0 0 25 0 1 0 453875508 51621888 11500 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12603 11500 231 231 0 12372 0
vsize: 50412
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 16986 0 0 0 31929 75 0 0 25 0 1 0 453875508 60538880 11609 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14780 11609 231 231 0 14549 0
vsize: 59120
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 17110 0 0 0 32927 78 0 0 25 0 1 0 453875508 60899328 11733 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14868 11733 231 231 0 14637 0
vsize: 59472
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 17251 0 0 0 33925 80 0 0 25 0 1 0 453875508 61575168 11874 4294967295 134512640 135450300 3221224624 3221223512 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15033 11874 231 231 0 14802 0
vsize: 60132
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 17280 0 0 0 34924 81 0 0 25 0 1 0 453875508 61575168 11903 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15033 11903 231 231 0 14802 0
vsize: 60132
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 17465 0 0 0 35923 82 0 0 25 0 1 0 453875508 61739008 11937 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15073 11937 231 231 0 14842 0
vsize: 60292
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 17745 0 0 0 36922 84 0 0 25 0 1 0 453875508 62132224 12066 4294967295 134512640 135450300 3221224624 3221223488 134539211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15169 12066 231 231 0 14938 0
vsize: 60676
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 17767 0 0 0 37921 85 0 0 25 0 1 0 453875508 62132224 12088 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15169 12088 231 231 0 14938 0
vsize: 60676
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 17951 0 0 0 38919 86 0 0 25 0 1 0 453875508 62132224 12121 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15169 12121 231 231 0 14938 0
vsize: 60676
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18148 0 0 0 39918 88 0 0 25 0 1 0 453875508 62267392 12167 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 12167 231 231 0 14971 0
vsize: 60808
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18324 0 0 0 40917 89 0 0 25 0 1 0 453875508 62267392 12192 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 12192 231 231 0 14971 0
vsize: 60808
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18420 0 0 0 41915 91 0 0 25 0 1 0 453875508 62599168 12288 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15283 12288 231 231 0 15052 0
vsize: 61132
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18501 0 0 0 42914 93 0 0 25 0 1 0 453875508 62930944 12369 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15364 12369 231 231 0 15133 0
vsize: 61456
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18691 0 0 0 43912 94 0 0 25 0 1 0 453875508 63066112 12408 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15397 12408 231 231 0 15166 0
vsize: 61588
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4513
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18695 0 0 0 44911 96 0 0 25 0 1 0 453875508 63066112 12412 4294967295 134512640 135450300 3221224624 3221223360 134538163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15397 12412 231 231 0 15166 0
vsize: 61588
[startup+460.192 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 4551
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18857 0 0 0 45927 97 0 0 25 0 1 0 453875508 63066112 12423 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15397 12423 231 231 0 15166 0
vsize: 61588
[startup+470.285 s]
Raw data (loadavg): 1.14 1.00 0.92 2/58 4556
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 18894 0 0 0 46935 99 0 0 25 0 1 0 453875508 63066112 12460 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15397 12460 231 231 0 15166 0
vsize: 61588
[startup+480.285 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 4566
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19067 0 0 0 47934 100 0 0 25 0 1 0 453875508 63066112 12482 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15397 12482 231 231 0 15166 0
vsize: 61588
[startup+490.286 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 4566
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19085 0 0 0 48931 103 0 0 25 0 1 0 453875508 63066112 12500 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15397 12500 231 231 0 15166 0
vsize: 61588
[startup+500.287 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 4566
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19290 0 0 0 49929 105 0 0 25 0 1 0 453875508 63201280 12554 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15430 12554 231 231 0 15199 0
vsize: 61720
[startup+510.287 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4566
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19321 0 0 0 50928 106 0 0 25 0 1 0 453875508 63201280 12585 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15430 12585 231 231 0 15199 0
vsize: 61720
[startup+520.287 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 4566
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19495 0 0 0 51927 108 0 0 25 0 1 0 453875508 63201280 12608 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15430 12608 231 231 0 15199 0
vsize: 61720
[startup+530.288 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 4566
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19543 0 0 0 52925 110 0 0 25 0 1 0 453875508 63336448 12656 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15463 12656 231 231 0 15232 0
vsize: 61852
[startup+540.288 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4566
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19755 0 0 0 53924 112 0 0 25 0 1 0 453875508 64016384 12717 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15629 12717 231 231 0 15398 0
vsize: 62516
[startup+550.288 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19912 0 0 0 54922 113 0 0 25 0 1 0 453875508 64016384 12723 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15629 12723 231 231 0 15398 0
vsize: 62516
[startup+560.288 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 19916 0 0 0 55921 114 0 0 25 0 1 0 453875508 64016384 12727 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15629 12727 231 231 0 15398 0
vsize: 62516
[startup+570.289 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20090 0 0 0 56920 116 0 0 25 0 1 0 453875508 64016384 12750 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15629 12750 231 231 0 15398 0
vsize: 62516
[startup+580.288 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20117 0 0 0 57918 118 0 0 25 0 1 0 453875508 64151552 12777 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15662 12777 231 231 0 15431 0
vsize: 62648
[startup+590.29 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20162 0 0 0 58917 119 0 0 25 0 1 0 453875508 64421888 12822 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15728 12822 231 231 0 15497 0
vsize: 62912
[startup+600.29 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20178 0 0 0 59916 120 0 0 25 0 1 0 453875508 64421888 12838 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15728 12838 231 231 0 15497 0
vsize: 62912
[startup+610.29 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20227 0 0 0 60915 122 0 0 25 0 1 0 453875508 64557056 12887 4294967295 134512640 135450300 3221224624 3221223056 134533440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15761 12887 231 231 0 15530 0
vsize: 63044
[startup+620.29 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20424 0 0 0 61914 123 0 0 25 0 1 0 453875508 64692224 12933 4294967295 134512640 135450300 3221224624 3221223552 134539744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15794 12933 231 231 0 15563 0
vsize: 63176
[startup+630.29 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20603 0 0 0 62912 125 0 0 25 0 1 0 453875508 64692224 12961 4294967295 134512640 135450300 3221224624 3221223360 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15794 12961 231 231 0 15563 0
vsize: 63176
[startup+640.29 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20627 0 0 0 63911 126 0 0 25 0 1 0 453875508 64692224 12985 4294967295 134512640 135450300 3221224624 3221223552 134539679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15794 12985 231 231 0 15563 0
vsize: 63176
[startup+650.291 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20854 0 0 0 64909 128 0 0 25 0 1 0 453875508 65097728 13061 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15893 13061 231 231 0 15662 0
vsize: 63572
[startup+660.29 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 20860 0 0 0 65908 130 0 0 25 0 1 0 453875508 65097728 13067 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15893 13067 231 231 0 15662 0
vsize: 63572
[startup+670.291 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21034 0 0 0 66907 131 0 0 25 0 1 0 453875508 65232896 13090 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15926 13090 231 231 0 15695 0
vsize: 63704
[startup+680.291 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21189 0 0 0 67905 133 0 0 25 0 1 0 453875508 65232896 13094 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15926 13094 231 231 0 15695 0
vsize: 63704
[startup+690.292 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21217 0 0 0 68904 134 0 0 25 0 1 0 453875508 65368064 13122 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15959 13122 231 231 0 15728 0
vsize: 63836
[startup+700.292 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21303 0 0 0 69903 136 0 0 25 0 1 0 453875508 65773568 13208 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16058 13208 231 231 0 15827 0
vsize: 64232
[startup+710.293 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21329 0 0 0 70901 138 0 0 25 0 1 0 453875508 65773568 13234 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16058 13234 231 231 0 15827 0
vsize: 64232
[startup+720.293 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21508 0 0 0 71899 140 0 0 25 0 1 0 453875508 65773568 13262 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16058 13262 231 231 0 15827 0
vsize: 64232
[startup+730.293 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21550 0 0 0 72897 142 0 0 25 0 1 0 453875508 65908736 13304 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16091 13304 231 231 0 15860 0
vsize: 64364
[startup+740.294 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21590 0 0 0 73895 144 0 0 25 0 1 0 453875508 65908736 13344 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16091 13344 231 231 0 15860 0
vsize: 64364
[startup+750.294 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21805 0 0 0 74894 145 0 0 25 0 1 0 453875508 66179072 13408 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16157 13408 231 231 0 15926 0
vsize: 64628
[startup+760.293 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21896 0 0 0 75892 147 0 0 25 0 1 0 453875508 66584576 13499 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16256 13499 231 231 0 16025 0
vsize: 65024
[startup+770.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 21960 0 0 0 76891 149 0 0 25 0 1 0 453875508 66854912 13563 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16322 13563 231 231 0 16091 0
vsize: 65288
[startup+780.294 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22143 0 0 0 77890 150 0 0 25 0 1 0 453875508 66990080 13595 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16355 13595 231 231 0 16124 0
vsize: 65420
[startup+790.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22147 0 0 0 78888 152 0 0 25 0 1 0 453875508 66990080 13599 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16355 13599 231 231 0 16124 0
vsize: 65420
[startup+800.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4568
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22308 0 0 0 79887 153 0 0 25 0 1 0 453875508 66990080 13609 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16355 13609 231 231 0 16124 0
vsize: 65420
[startup+810.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22465 0 0 0 80886 154 0 0 25 0 1 0 453875508 66990080 13615 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16355 13615 231 231 0 16124 0
vsize: 65420
[startup+820.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22473 0 0 0 81885 155 0 0 25 0 1 0 453875508 66990080 13623 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16355 13623 231 231 0 16124 0
vsize: 65420
[startup+830.296 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22629 0 0 0 82883 158 0 0 25 0 1 0 453875508 66990080 13628 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16355 13628 231 231 0 16124 0
vsize: 65420
[startup+840.296 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22648 0 0 0 83882 159 0 0 25 0 1 0 453875508 66990080 13647 4294967295 134512640 135450300 3221224624 3221223448 135069723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16355 13647 231 231 0 16124 0
vsize: 65420
[startup+850.296 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22690 0 0 0 84880 161 0 0 25 0 1 0 453875508 67125248 13689 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13689 231 231 0 16157 0
vsize: 65552
[startup+860.296 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 22862 0 0 0 85878 163 0 0 25 0 1 0 453875508 67125248 13710 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13710 231 231 0 16157 0
vsize: 65552
[startup+870.296 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23041 0 0 0 86877 165 0 0 25 0 1 0 453875508 67125248 13738 4294967295 134512640 135450300 3221224624 3221223536 134597354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13738 231 231 0 16157 0
vsize: 65552
[startup+880.297 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23044 0 0 0 87876 166 0 0 25 0 1 0 453875508 67125248 13741 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13741 231 231 0 16157 0
vsize: 65552
[startup+890.298 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23201 0 0 0 88874 168 0 0 25 0 1 0 453875508 67125248 13747 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13747 231 231 0 16157 0
vsize: 65552
[startup+900.298 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23204 0 0 0 89873 169 0 0 25 0 1 0 453875508 67125248 13750 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13750 231 231 0 16157 0
vsize: 65552
[startup+910.297 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23364 0 0 0 90871 171 0 0 25 0 1 0 453875508 67125248 13759 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13759 231 231 0 16157 0
vsize: 65552
[startup+920.297 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23369 0 0 0 91869 173 0 0 25 0 1 0 453875508 67125248 13764 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13764 231 231 0 16157 0
vsize: 65552
[startup+930.297 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23532 0 0 0 92868 174 0 0 25 0 1 0 453875508 67125248 13776 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13776 231 231 0 16157 0
vsize: 65552
[startup+940.297 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23535 0 0 0 93866 176 0 0 25 0 1 0 453875508 67125248 13779 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13779 231 231 0 16157 0
vsize: 65552
[startup+950.299 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23691 0 0 0 94865 178 0 0 25 0 1 0 453875508 67125248 13784 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13784 231 231 0 16157 0
vsize: 65552
[startup+960.298 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23705 0 0 0 95864 179 0 0 25 0 1 0 453875508 67125248 13798 4294967295 134512640 135450300 3221224624 3221223360 134538515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16388 13798 231 231 0 16157 0
vsize: 65552
[startup+970.299 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 23887 0 0 0 96863 181 0 0 25 0 1 0 453875508 67260416 13829 4294967295 134512640 135450300 3221224624 3221223096 134534889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16421 13829 231 231 0 16190 0
vsize: 65684
[startup+980.299 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24086 0 0 0 97861 183 0 0 25 0 1 0 453875508 67395584 13877 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13877 231 231 0 16223 0
vsize: 65816
[startup+990.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24090 0 0 0 98859 185 0 0 25 0 1 0 453875508 67395584 13881 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13881 231 231 0 16223 0
vsize: 65816
[startup+1000.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24244 0 0 0 99857 187 0 0 25 0 1 0 453875508 67395584 13884 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13884 231 231 0 16223 0
vsize: 65816
[startup+1010.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24416 0 0 0 100857 188 0 0 25 0 1 0 453875508 67395584 13905 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13905 231 231 0 16223 0
vsize: 65816
[startup+1020.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24420 0 0 0 101856 189 0 0 25 0 1 0 453875508 67395584 13909 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13909 231 231 0 16223 0
vsize: 65816
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24423 0 0 0 102855 190 0 0 25 0 1 0 453875508 67395584 13912 4294967295 134512640 135450300 3221224624 3221223360 134538139 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13912 231 231 0 16223 0
vsize: 65816
[startup+1040.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24587 0 0 0 103853 191 0 0 25 0 1 0 453875508 67395584 13925 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13925 231 231 0 16223 0
vsize: 65816
[startup+1050.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24781 0 0 0 104852 193 0 0 25 0 1 0 453875508 67395584 13968 4294967295 134512640 135450300 3221224624 3221223440 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13968 231 231 0 16223 0
vsize: 65816
[startup+1060.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24786 0 0 0 105851 194 0 0 25 0 1 0 453875508 67395584 13973 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13973 231 231 0 16223 0
vsize: 65816
[startup+1070.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 24941 0 0 0 106850 196 0 0 25 0 1 0 453875508 67395584 13977 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13977 231 231 0 16223 0
vsize: 65816
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25100 0 0 0 107848 198 0 0 25 0 1 0 453875508 67395584 13985 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13985 231 231 0 16223 0
vsize: 65816
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25103 0 0 0 108847 199 0 0 25 0 1 0 453875508 67395584 13988 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 13988 231 231 0 16223 0
vsize: 65816
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25296 0 0 0 109845 201 0 0 25 0 1 0 453875508 68104192 14030 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14030 231 231 0 16396 0
vsize: 66508
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25300 0 0 0 110843 203 0 0 25 0 1 0 453875508 68104192 14034 4294967295 134512640 135450300 3221224624 3221223440 134546889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14034 231 231 0 16396 0
vsize: 66508
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25455 0 0 0 111843 203 0 0 25 0 1 0 453875508 68104192 14038 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14038 231 231 0 16396 0
vsize: 66508
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25466 0 0 0 112843 204 0 0 25 0 1 0 453875508 68104192 14049 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14049 231 231 0 16396 0
vsize: 66508
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25627 0 0 0 113841 205 0 0 25 0 1 0 453875508 68104192 14059 4294967295 134512640 135450300 3221224624 3221222976 134533072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14059 231 231 0 16396 0
vsize: 66508
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25630 0 0 0 114840 207 0 0 25 0 1 0 453875508 68104192 14062 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14062 231 231 0 16396 0
vsize: 66508
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25785 0 0 0 115839 208 0 0 25 0 1 0 453875508 68104192 14066 4294967295 134512640 135450300 3221224624 3221223552 134539676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14066 231 231 0 16396 0
vsize: 66508
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25956 0 0 0 116839 209 0 0 25 0 1 0 453875508 68104192 14086 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14086 231 231 0 16396 0
vsize: 66508
[startup+1180.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 25981 0 0 0 117837 210 0 0 25 0 1 0 453875508 68104192 14111 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16627 14111 231 231 0 16396 0
vsize: 66508
[startup+1190.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 27711 0 0 0 118833 215 0 0 25 0 1 0 453875508 74395648 14153 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18163 14153 231 231 0 17932 0
vsize: 72652
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4570
Raw data (stat): 4513 (PBS4) R 4512 10720 10719 0 -1 0 27895 0 0 0 119831 217 0 0 25 0 1 0 453875508 74395648 14186 4294967295 134512640 135450300 3221224624 3221222976 134533306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18163 14186 231 231 0 17932 0
vsize: 72652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 4570
Raw data (stat): 4513 (PBS4) Z 4512 10720 10719 0 -1 1036 27895 0 0 0 119831 219 0 0 25 0 1 0 453875508 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.33
CPU time (s): 1200.52
CPU user time (s): 1198.32
CPU system time (s): 2.19867
CPU usage (%): 100.015
Max. virtual memory (Kb): 72652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####