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/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUM	b95391b071a3986ad670119101f16613
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	126082
Number of constraints which are clauses	126082
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	2
Trace number 7941

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-17 17:20:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3156 boxname=wulflinc28 idbench=351 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b95391b071a3986ad670119101f16613  /oldhome/oroussel/tmp/wulflinc28/normalized-frb59-26-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc28/normalized-frb59-26-3.opb
IDLAUNCH: 3156
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        833768 kB
Buffers:         37400 kB
Cached:         124844 kB
SwapCached:          4 kB
Active:          75576 kB
Inactive:        90464 kB
HighTotal:      131008 kB
HighFree:         1568 kB
LowTotal:       903652 kB
LowFree:        832200 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            29100 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:40:38 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 3156 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc28/normalized-frb59-26-3.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.90 2/54 7315
Raw data (stat): 7315 (runsolver) R 7314 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512274139 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.88 0.94 0.90 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 4148 0 0 0 986 12 0 0 25 0 1 0 512274139 14745600 3412 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3600 3412 231 231 0 3369 0
vsize: 14400
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 5625 0 0 0 1982 16 0 0 25 0 1 0 512274139 23269376 4889 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5681 4889 231 231 0 5450 0
vsize: 22724
[startup+30.001 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 6789 0 0 0 2980 19 0 0 25 0 1 0 512274139 40046592 6053 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9777 6053 231 231 0 9546 0
vsize: 39108
[startup+40.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 8009 0 0 0 3977 21 0 0 25 0 1 0 512274139 40181760 7273 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9810 7273 231 231 0 9579 0
vsize: 39240
[startup+50.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 9088 0 0 0 4975 24 0 0 25 0 1 0 512274139 40181760 8352 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9810 8352 231 231 0 9579 0
vsize: 39240
[startup+60.002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 10140 0 0 0 5973 26 0 0 25 0 1 0 512274139 40181760 9404 4294967295 134512640 135450300 3221224640 3221223024 134579411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9810 9404 231 231 0 9579 0
vsize: 39240
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 11127 0 0 0 6971 28 0 0 25 0 1 0 512274139 73736192 10391 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18002 10391 231 231 0 17771 0
vsize: 72008
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 12400 0 0 0 7969 31 0 0 25 0 1 0 512274139 73736192 11664 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18002 11664 231 231 0 17771 0
vsize: 72008
[startup+90.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 13456 0 0 0 8967 33 0 0 25 0 1 0 512274139 73875456 12720 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18036 12720 231 231 0 17805 0
vsize: 72144
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 14499 0 0 0 9964 36 0 0 25 0 1 0 512274139 73875456 13763 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18036 13763 231 231 0 17805 0
vsize: 72144
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 15277 0 0 0 10962 38 0 0 25 0 1 0 512274139 74022912 14541 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 14541 231 231 0 17841 0
vsize: 72288
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 16116 0 0 0 11961 40 0 0 25 0 1 0 512274139 74022912 15380 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 15380 231 231 0 17841 0
vsize: 72288
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 16892 0 0 0 12959 42 0 0 25 0 1 0 512274139 74022912 16156 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16156 231 231 0 17841 0
vsize: 72288
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 18315 0 0 0 13956 45 0 0 25 0 1 0 512274139 77168640 16810 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18840 16810 231 231 0 18609 0
vsize: 75360
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 19122 0 0 0 14955 46 0 0 25 0 1 0 512274139 77316096 17617 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 17617 231 231 0 18645 0
vsize: 75504
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 20529 0 0 0 15951 51 0 0 25 0 1 0 512274139 144424960 19024 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35260 19024 231 231 0 35029 0
vsize: 141040
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 21647 0 0 0 16949 53 0 0 25 0 1 0 512274139 144424960 20142 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35260 20142 231 231 0 35029 0
vsize: 141040
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 22934 0 0 0 17946 56 0 0 25 0 1 0 512274139 144424960 21429 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35260 21429 231 231 0 35029 0
vsize: 141040
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 24059 0 0 0 18943 59 0 0 25 0 1 0 512274139 144424960 22554 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35260 22554 231 231 0 35029 0
vsize: 141040
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 25541 0 0 0 19940 62 0 0 25 0 1 0 512274139 144719872 24036 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35332 24036 231 231 0 35101 0
vsize: 141328
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 27284 0 0 0 20935 68 0 0 25 0 1 0 512274139 145010688 25779 4294967295 134512640 135450300 3221224640 3221223472 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35403 25779 231 231 0 35172 0
vsize: 141612
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 28649 0 0 0 21931 71 0 0 25 0 1 0 512274139 145440768 27144 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35508 27146 231 231 0 35277 0
vsize: 142032
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 30568 0 0 0 22928 75 0 0 25 0 1 0 512274139 145883136 29063 4294967295 134512640 135450300 3221224640 3221223472 134549514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35616 29063 231 231 0 35385 0
vsize: 142464
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 30693 0 0 0 23927 75 0 0 25 0 1 0 512274139 146305024 29188 4294967295 134512640 135450300 3221224640 3221223116 134572098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35719 29188 231 231 0 35488 0
vsize: 142876
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 30795 0 0 0 24928 76 0 0 25 0 1 0 512274139 146759680 29290 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35830 29290 231 231 0 35599 0
vsize: 143320
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 30891 0 0 0 25928 76 0 0 25 0 1 0 512274139 147361792 29386 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35977 29386 231 231 0 35746 0
vsize: 143908
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 30900 0 0 0 26928 76 0 0 25 0 1 0 512274139 147361792 29395 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35977 29395 231 231 0 35746 0
vsize: 143908
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 30969 0 0 0 27928 76 0 0 25 0 1 0 512274139 147644416 29464 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36046 29464 231 231 0 35815 0
vsize: 144184
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 31870 0 0 0 28926 78 0 0 25 0 1 0 512274139 147783680 30365 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36080 30365 231 231 0 35849 0
vsize: 144320
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 33099 0 0 0 29922 82 0 0 25 0 1 0 512274139 148373504 31594 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36224 31594 231 231 0 35993 0
vsize: 144896
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 34283 0 0 0 30920 84 0 0 25 0 1 0 512274139 148848640 32778 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36340 32778 231 231 0 36109 0
vsize: 145360
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36195 0 0 0 31917 88 0 0 25 0 1 0 512274139 149012480 34690 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36380 34690 231 231 0 36149 0
vsize: 145520
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36256 0 0 0 32916 88 0 0 25 0 1 0 512274139 149176320 34751 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36420 34751 231 231 0 36189 0
vsize: 145680
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36326 0 0 0 33916 88 0 0 25 0 1 0 512274139 149606400 34821 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36525 34821 231 231 0 36294 0
vsize: 146100
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36337 0 0 0 34916 89 0 0 25 0 1 0 512274139 149606400 34832 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36525 34832 231 231 0 36294 0
vsize: 146100
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36343 0 0 0 35917 89 0 0 25 0 1 0 512274139 149606400 34838 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36525 34838 231 231 0 36294 0
vsize: 146100
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36404 0 0 0 36916 89 0 0 25 0 1 0 512274139 149901312 34899 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36597 34899 231 231 0 36366 0
vsize: 146388
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36406 0 0 0 37916 89 0 0 25 0 1 0 512274139 149901312 34901 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36597 34901 231 231 0 36366 0
vsize: 146388
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 36461 0 0 0 38916 89 0 0 25 0 1 0 512274139 150192128 34956 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36668 34956 231 231 0 36437 0
vsize: 146672
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 37390 0 0 0 39915 91 0 0 25 0 1 0 512274139 284696576 35885 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69506 35885 231 231 0 69275 0
vsize: 278024
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 38569 0 0 0 40912 94 0 0 25 0 1 0 512274139 284696576 37064 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69506 37064 231 231 0 69275 0
vsize: 278024
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 39188 0 0 0 41911 95 0 0 25 0 1 0 512274139 285114368 37683 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69608 37683 231 231 0 69377 0
vsize: 278432
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 39191 0 0 0 42911 96 0 0 25 0 1 0 512274139 285114368 37686 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69608 37686 231 231 0 69377 0
vsize: 278432
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 39284 0 0 0 43911 96 0 0 25 0 1 0 512274139 285405184 37779 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69679 37779 231 231 0 69448 0
vsize: 278716
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 39333 0 0 0 44911 96 0 0 25 0 1 0 512274139 285683712 37828 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69747 37828 231 231 0 69516 0
vsize: 278988
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 39351 0 0 0 45911 96 0 0 25 0 1 0 512274139 285683712 37846 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69747 37846 231 231 0 69516 0
vsize: 278988
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 39396 0 0 0 46911 96 0 0 25 0 1 0 512274139 285962240 37891 4294967295 134512640 135450300 3221224640 3221223116 134571948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69815 37891 231 231 0 69584 0
vsize: 279260
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 39434 0 0 0 47911 97 0 0 25 0 1 0 512274139 286109696 37929 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69851 37929 231 231 0 69620 0
vsize: 279404
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41163 0 0 0 48907 100 0 0 25 0 1 0 512274139 286109696 39658 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69851 39658 231 231 0 69620 0
vsize: 279404
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41352 0 0 0 49907 101 0 0 25 0 1 0 512274139 286400512 39847 4294967295 134512640 135450300 3221224640 3221223116 134572343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69922 39847 231 231 0 69691 0
vsize: 279688
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41356 0 0 0 50907 101 0 0 25 0 1 0 512274139 286400512 39851 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69922 39851 231 231 0 69691 0
vsize: 279688
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41380 0 0 0 51907 101 0 0 25 0 1 0 512274139 286400512 39875 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69922 39875 231 231 0 69691 0
vsize: 279688
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41382 0 0 0 52907 101 0 0 25 0 1 0 512274139 286400512 39877 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69922 39877 231 231 0 69691 0
vsize: 279688
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41413 0 0 0 53907 101 0 0 25 0 1 0 512274139 286539776 39908 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69956 39908 231 231 0 69725 0
vsize: 279824
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41416 0 0 0 54907 102 0 0 25 0 1 0 512274139 286539776 39911 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69956 39911 231 231 0 69725 0
vsize: 279824
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41448 0 0 0 55907 102 0 0 25 0 1 0 512274139 286683136 39943 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69991 39943 231 231 0 69760 0
vsize: 279964
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41450 0 0 0 56907 102 0 0 25 0 1 0 512274139 286683136 39945 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69991 39945 231 231 0 69760 0
vsize: 279964
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 41588 0 0 0 57907 102 0 0 25 0 1 0 512274139 287436800 40083 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70175 40083 231 231 0 69944 0
vsize: 280700
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 42941 0 0 0 58904 106 0 0 25 0 1 0 512274139 287436800 41436 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70175 41436 231 231 0 69944 0
vsize: 280700
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 42990 0 0 0 59904 106 0 0 25 0 1 0 512274139 287584256 41485 4294967295 134512640 135450300 3221224640 3221223116 134572070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70211 41485 231 231 0 69980 0
vsize: 280844
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 42993 0 0 0 60904 106 0 0 25 0 1 0 512274139 287584256 41488 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70211 41488 231 231 0 69980 0
vsize: 280844
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 43080 0 0 0 61904 106 0 0 25 0 1 0 512274139 288059392 41575 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70327 41575 231 231 0 70096 0
vsize: 281308
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 43105 0 0 0 62904 106 0 0 25 0 1 0 512274139 288059392 41600 4294967295 134512640 135450300 3221224640 3221223456 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70327 41600 231 231 0 70096 0
vsize: 281308
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 43134 0 0 0 63904 106 0 0 25 0 1 0 512274139 288223232 41629 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70367 41629 231 231 0 70136 0
vsize: 281468
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 43138 0 0 0 64904 106 0 0 25 0 1 0 512274139 288223232 41633 4294967295 134512640 135450300 3221224640 3221223132 134579990 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70367 41633 231 231 0 70136 0
vsize: 281468
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 43177 0 0 0 65904 106 0 0 25 0 1 0 512274139 288362496 41672 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70401 41672 231 231 0 70170 0
vsize: 281604
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 43179 0 0 0 66904 106 0 0 25 0 1 0 512274139 288362496 41674 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70401 41674 231 231 0 70170 0
vsize: 281604
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 43217 0 0 0 67904 106 0 0 25 0 1 0 512274139 288673792 41712 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70477 41712 231 231 0 70246 0
vsize: 281908
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44186 0 0 0 68902 109 0 0 25 0 1 0 512274139 288673792 42681 4294967295 134512640 135450300 3221224640 3221223552 134597050 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70477 42681 231 231 0 70246 0
vsize: 281908
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44251 0 0 0 69902 109 0 0 25 0 1 0 512274139 288948224 42746 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70544 42746 231 231 0 70313 0
vsize: 282176
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44282 0 0 0 70902 109 0 0 25 0 1 0 512274139 289095680 42777 4294967295 134512640 135450300 3221224640 3221223360 134598274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70580 42777 231 231 0 70349 0
vsize: 282320
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44322 0 0 0 71902 110 0 0 25 0 1 0 512274139 289370112 42817 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70647 42817 231 231 0 70416 0
vsize: 282588
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44325 0 0 0 72902 110 0 0 25 0 1 0 512274139 289370112 42820 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70647 42820 231 231 0 70416 0
vsize: 282588
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44370 0 0 0 73902 110 0 0 25 0 1 0 512274139 289533952 42865 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70687 42865 231 231 0 70456 0
vsize: 282748
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44398 0 0 0 74902 110 0 0 25 0 1 0 512274139 289689600 42893 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70725 42893 231 231 0 70494 0
vsize: 282900
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44401 0 0 0 75902 110 0 0 25 0 1 0 512274139 289689600 42896 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70725 42896 231 231 0 70494 0
vsize: 282900
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 44580 0 0 0 76902 111 0 0 25 0 1 0 512274139 289845248 43075 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70763 43075 231 231 0 70532 0
vsize: 283052
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45164 0 0 0 77900 112 0 0 25 0 1 0 512274139 289845248 43659 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70763 43659 231 231 0 70532 0
vsize: 283052
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45178 0 0 0 78900 112 0 0 25 0 1 0 512274139 289980416 43673 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70796 43673 231 231 0 70565 0
vsize: 283184
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45232 0 0 0 79900 113 0 0 25 0 1 0 512274139 290127872 43727 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70832 43727 231 231 0 70601 0
vsize: 283328
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45242 0 0 0 80900 113 0 0 25 0 1 0 512274139 290127872 43737 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70832 43737 231 231 0 70601 0
vsize: 283328
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45260 0 0 0 81900 113 0 0 25 0 1 0 512274139 290275328 43755 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70868 43755 231 231 0 70637 0
vsize: 283472
[startup+830.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45262 0 0 0 82900 113 0 0 25 0 1 0 512274139 290275328 43757 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70868 43757 231 231 0 70637 0
vsize: 283472
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45280 0 0 0 83900 114 0 0 25 0 1 0 512274139 290275328 43775 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70868 43775 231 231 0 70637 0
vsize: 283472
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45294 0 0 0 84900 114 0 0 25 0 1 0 512274139 290414592 43789 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70902 43789 231 231 0 70671 0
vsize: 283608
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45315 0 0 0 85900 114 0 0 25 0 1 0 512274139 290414592 43810 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70902 43810 231 231 0 70671 0
vsize: 283608
[startup+870.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45536 0 0 0 86900 114 0 0 25 0 1 0 512274139 290414592 44031 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70902 44031 231 231 0 70671 0
vsize: 283608
[startup+880.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45861 0 0 0 87900 115 0 0 25 0 1 0 512274139 290553856 44356 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70936 44356 231 231 0 70705 0
vsize: 283744
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45878 0 0 0 88899 115 0 0 25 0 1 0 512274139 290705408 44373 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70973 44373 231 231 0 70742 0
vsize: 283892
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45892 0 0 0 89900 115 0 0 25 0 1 0 512274139 290705408 44387 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70973 44387 231 231 0 70742 0
vsize: 283892
[startup+910 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45910 0 0 0 90899 115 0 0 25 0 1 0 512274139 290869248 44405 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71013 44405 231 231 0 70782 0
vsize: 284052
[startup+920 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45913 0 0 0 91900 115 0 0 25 0 1 0 512274139 290869248 44408 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71013 44408 231 231 0 70782 0
vsize: 284052
[startup+929.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45946 0 0 0 92900 115 0 0 25 0 1 0 512274139 291016704 44441 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71049 44441 231 231 0 70818 0
vsize: 284196
[startup+939.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45948 0 0 0 93900 115 0 0 25 0 1 0 512274139 291016704 44443 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71049 44443 231 231 0 70818 0
vsize: 284196
[startup+949.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45991 0 0 0 94900 116 0 0 25 0 1 0 512274139 291180544 44486 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71089 44486 231 231 0 70858 0
vsize: 284356
[startup+959.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 45994 0 0 0 95900 116 0 0 25 0 1 0 512274139 291180544 44489 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71089 44489 231 231 0 70858 0
vsize: 284356
[startup+969.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46033 0 0 0 96899 116 0 0 25 0 1 0 512274139 291332096 44528 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71126 44528 231 231 0 70895 0
vsize: 284504
[startup+979.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46455 0 0 0 97899 117 0 0 25 0 1 0 512274139 291495936 44950 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71166 44950 231 231 0 70935 0
vsize: 284664
[startup+989.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46495 0 0 0 98899 117 0 0 25 0 1 0 512274139 291635200 44990 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71200 44990 231 231 0 70969 0
vsize: 284800
[startup+999.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46496 0 0 0 99899 117 0 0 25 0 1 0 512274139 291635200 44991 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71200 44991 231 231 0 70969 0
vsize: 284800
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46557 0 0 0 100899 117 0 0 25 0 1 0 512274139 291913728 45052 4294967295 134512640 135450300 3221224640 3221223168 134544109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71268 45052 231 231 0 71037 0
vsize: 285072
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46560 0 0 0 101899 118 0 0 25 0 1 0 512274139 291913728 45055 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71268 45055 231 231 0 71037 0
vsize: 285072
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46581 0 0 0 102898 118 0 0 25 0 1 0 512274139 291913728 45076 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71268 45076 231 231 0 71037 0
vsize: 285072
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46583 0 0 0 103899 118 0 0 25 0 1 0 512274139 291913728 45078 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71268 45078 231 231 0 71037 0
vsize: 285072
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46653 0 0 0 104898 119 0 0 25 0 1 0 512274139 292196352 45148 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71337 45148 231 231 0 71106 0
vsize: 285348
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46672 0 0 0 105898 119 0 0 25 0 1 0 512274139 292343808 45167 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 45167 231 231 0 71142 0
vsize: 285492
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46897 0 0 0 106898 119 0 0 25 0 1 0 512274139 292343808 45392 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 45392 231 231 0 71142 0
vsize: 285492
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46959 0 0 0 107898 119 0 0 25 0 1 0 512274139 292487168 45454 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71408 45454 231 231 0 71177 0
vsize: 285632
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46962 0 0 0 108898 119 0 0 25 0 1 0 512274139 292487168 45457 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71408 45457 231 231 0 71177 0
vsize: 285632
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46982 0 0 0 109898 120 0 0 25 0 1 0 512274139 292487168 45477 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71408 45477 231 231 0 71177 0
vsize: 285632
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46985 0 0 0 110898 120 0 0 25 0 1 0 512274139 292487168 45480 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71408 45480 231 231 0 71177 0
vsize: 285632
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46991 0 0 0 111898 120 0 0 25 0 1 0 512274139 292487168 45486 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71408 45486 231 231 0 71177 0
vsize: 285632
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 46995 0 0 0 112898 120 0 0 25 0 1 0 512274139 292487168 45490 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71408 45490 231 231 0 71177 0
vsize: 285632
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 47026 0 0 0 113898 120 0 0 25 0 1 0 512274139 292610048 45521 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71438 45521 231 231 0 71207 0
vsize: 285752
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 47035 0 0 0 114898 120 0 0 25 0 1 0 512274139 292806656 45530 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71486 45530 231 231 0 71255 0
vsize: 285944
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 47100 0 0 0 115898 120 0 0 25 0 1 0 512274139 292806656 45595 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71486 45595 231 231 0 71255 0
vsize: 285944
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 47251 0 0 0 116898 121 0 0 25 0 1 0 512274139 292806656 45746 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71486 45746 231 231 0 71255 0
vsize: 285944
[startup+1179.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 47255 0 0 0 117898 121 0 0 25 0 1 0 512274139 292806656 45750 4294967295 134512640 135450300 3221224640 3221223168 134544145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71486 45750 231 231 0 71255 0
vsize: 285944
[startup+1189.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 47300 0 0 0 118898 121 0 0 25 0 1 0 512274139 293109760 45795 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71560 45795 231 231 0 71329 0
vsize: 286240
[startup+1199.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7315
Raw data (stat): 7315 (PBS4) R 7314 10614 10613 0 -1 0 47308 0 0 0 119898 121 0 0 25 0 1 0 512274139 293109760 45803 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71560 45803 231 231 0 71329 0
vsize: 286240
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7315
Raw data (stat): 7315 (PBS4) Z 7314 10614 10613 0 -1 1036 47308 0 0 0 119898 130 0 0 25 0 1 0 512274139 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.08
CPU time (s): 1200.28
CPU user time (s): 1198.98
CPU system time (s): 1.3038
CPU usage (%): 100.017
Max. virtual memory (Kb): 286240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####