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.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUM	5d90b7cbb5bac2aa14257b9c5448f25d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	304
Optimality of the best value was proved	NO
Number of terms in the objective function	173
Biggest coefficient in the objective function	100
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	8448
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	100
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	8448
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	257
Total number of constraints	353
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	353
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Trace number 7947

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-17 17:23:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3201 boxname=wulflinc20 idbench=356 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc20/normalized-ss97-6.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc20/normalized-ss97-6.opb
IDLAUNCH: 3201
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        791288 kB
Buffers:         37268 kB
Cached:         169680 kB
SwapCached:       2628 kB
Active:          64736 kB
Inactive:       147668 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791036 kB
SwapTotal:     2097892 kB
SwapFree:      2095264 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            25328 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:43:27 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 3201 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc20/normalized-ss97-6.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.92 0.98 0.95 2/54 24092
Raw data (stat): 24092 (runsolver) R 24091 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512285738 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.0005 s]
Raw data (loadavg): 0.93 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 1140 0 0 0 993 5 0 0 25 0 1 0 512285738 6266880 1087 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1530 1087 231 231 0 1299 0
vsize: 6120
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 1442 0 0 0 1992 7 0 0 25 0 1 0 512285738 10461184 1389 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2554 1389 231 231 0 2323 0
vsize: 10216
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 1694 0 0 0 2991 8 0 0 25 0 1 0 512285738 10604544 1641 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2589 1641 231 231 0 2358 0
vsize: 10356
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 1903 0 0 0 3989 10 0 0 25 0 1 0 512285738 10747904 1850 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1850 231 231 0 2393 0
vsize: 10496
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 2177 0 0 0 4987 12 0 0 25 0 1 0 512285738 11141120 2027 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2720 2027 231 231 0 2489 0
vsize: 10880
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 2351 0 0 0 5986 13 0 0 25 0 1 0 512285738 11288576 2201 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2756 2201 231 231 0 2525 0
vsize: 11024
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 2462 0 0 0 6985 14 0 0 25 0 1 0 512285738 11427840 2312 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2790 2312 231 231 0 2559 0
vsize: 11160
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 2623 0 0 0 7983 16 0 0 25 0 1 0 512285738 11427840 2473 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2790 2473 231 231 0 2559 0
vsize: 11160
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 2682 0 0 0 8982 18 0 0 25 0 1 0 512285738 11567104 2532 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2824 2532 231 231 0 2593 0
vsize: 11296
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 2829 0 0 0 9980 20 0 0 25 0 1 0 512285738 20103168 2679 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2679 231 231 0 4677 0
vsize: 19632
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 2915 0 0 0 10980 20 0 0 25 0 1 0 512285738 20103168 2765 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2765 231 231 0 4677 0
vsize: 19632
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3063 0 0 0 11978 22 0 0 25 0 1 0 512285738 20103168 2913 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2913 231 231 0 4677 0
vsize: 19632
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3186 0 0 0 12978 23 0 0 25 0 1 0 512285738 20250624 3036 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4944 3036 231 231 0 4713 0
vsize: 19776
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3251 0 0 0 13977 24 0 0 25 0 1 0 512285738 20250624 3101 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4944 3101 231 231 0 4713 0
vsize: 19776
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3564 0 0 0 14976 25 0 0 25 0 1 0 512285738 21037056 3221 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5136 3221 231 231 0 4905 0
vsize: 20544
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3666 0 0 0 15975 26 0 0 25 0 1 0 512285738 21184512 3323 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5172 3323 231 231 0 4941 0
vsize: 20688
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3777 0 0 0 16975 27 0 0 25 0 1 0 512285738 21184512 3434 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5172 3434 231 231 0 4941 0
vsize: 20688
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3889 0 0 0 17974 27 0 0 25 0 1 0 512285738 21184512 3546 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5172 3546 231 231 0 4941 0
vsize: 20688
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 3994 0 0 0 18974 28 0 0 25 0 1 0 512285738 21331968 3651 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 3651 231 231 0 4977 0
vsize: 20832
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4110 0 0 0 19973 29 0 0 25 0 1 0 512285738 21331968 3767 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 3767 231 231 0 4977 0
vsize: 20832
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4217 0 0 0 20972 30 0 0 25 0 1 0 512285738 21495808 3874 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5248 3874 231 231 0 5017 0
vsize: 20992
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4314 0 0 0 21972 31 0 0 25 0 1 0 512285738 21495808 3971 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5248 3971 231 231 0 5017 0
vsize: 20992
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4423 0 0 0 22971 32 0 0 25 0 1 0 512285738 21659648 4080 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4080 231 231 0 5057 0
vsize: 21152
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4526 0 0 0 23970 32 0 0 25 0 1 0 512285738 21823488 4183 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5328 4183 231 231 0 5097 0
vsize: 21312
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4636 0 0 0 24970 33 0 0 25 0 1 0 512285738 21823488 4293 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5328 4293 231 231 0 5097 0
vsize: 21312
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4725 0 0 0 25969 34 0 0 25 0 1 0 512285738 21987328 4382 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4382 231 231 0 5137 0
vsize: 21472
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4812 0 0 0 26969 34 0 0 25 0 1 0 512285738 21987328 4469 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4469 231 231 0 5137 0
vsize: 21472
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4915 0 0 0 27969 35 0 0 25 0 1 0 512285738 22151168 4572 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4572 231 231 0 5177 0
vsize: 21632
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 4997 0 0 0 28968 35 0 0 25 0 1 0 512285738 22151168 4654 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4654 231 231 0 5177 0
vsize: 21632
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5075 0 0 0 29968 36 0 0 25 0 1 0 512285738 22151168 4732 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4732 231 231 0 5177 0
vsize: 21632
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5158 0 0 0 30967 37 0 0 25 0 1 0 512285738 22151168 4815 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4815 231 231 0 5177 0
vsize: 21632
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5253 0 0 0 31967 38 0 0 25 0 1 0 512285738 22315008 4910 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5448 4910 231 231 0 5217 0
vsize: 21792
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5324 0 0 0 32966 38 0 0 25 0 1 0 512285738 22315008 4981 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5448 4981 231 231 0 5217 0
vsize: 21792
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5389 0 0 0 33966 39 0 0 25 0 1 0 512285738 22315008 5046 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5448 5046 231 231 0 5217 0
vsize: 21792
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5457 0 0 0 34966 39 0 0 25 0 1 0 512285738 22315008 5114 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5448 5114 231 231 0 5217 0
vsize: 21792
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5537 0 0 0 35966 40 0 0 25 0 1 0 512285738 39092224 5194 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9544 5194 231 231 0 9313 0
vsize: 38176
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5607 0 0 0 36965 41 0 0 25 0 1 0 512285738 39092224 5264 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9544 5264 231 231 0 9313 0
vsize: 38176
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5695 0 0 0 37965 41 0 0 25 0 1 0 512285738 39092224 5352 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9544 5352 231 231 0 9313 0
vsize: 38176
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5746 0 0 0 38964 41 0 0 25 0 1 0 512285738 39092224 5403 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9544 5403 231 231 0 9313 0
vsize: 38176
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5822 0 0 0 39964 42 0 0 25 0 1 0 512285738 39092224 5479 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9544 5479 231 231 0 9313 0
vsize: 38176
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5919 0 0 0 40964 42 0 0 25 0 1 0 512285738 39288832 5576 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9592 5576 231 231 0 9361 0
vsize: 38368
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 5994 0 0 0 41963 44 0 0 25 0 1 0 512285738 39288832 5651 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9592 5651 231 231 0 9361 0
vsize: 38368
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6054 0 0 0 42963 44 0 0 25 0 1 0 512285738 39288832 5711 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9592 5711 231 231 0 9361 0
vsize: 38368
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6116 0 0 0 43962 45 0 0 25 0 1 0 512285738 39288832 5773 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9592 5773 231 231 0 9361 0
vsize: 38368
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6194 0 0 0 44962 45 0 0 25 0 1 0 512285738 39288832 5851 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9592 5851 231 231 0 9361 0
vsize: 38368
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6243 0 0 0 45962 45 0 0 25 0 1 0 512285738 39288832 5900 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9592 5900 231 231 0 9361 0
vsize: 38368
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6325 0 0 0 46962 46 0 0 25 0 1 0 512285738 39452672 5982 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9632 5982 231 231 0 9401 0
vsize: 38528
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6383 0 0 0 47962 46 0 0 25 0 1 0 512285738 39452672 6040 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9632 6040 231 231 0 9401 0
vsize: 38528
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6395 0 0 0 48961 47 0 0 25 0 1 0 512285738 39452672 6052 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9632 6052 231 231 0 9401 0
vsize: 38528
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6433 0 0 0 49961 47 0 0 25 0 1 0 512285738 39649280 6090 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9680 6090 231 231 0 9449 0
vsize: 38720
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6494 0 0 0 50961 47 0 0 25 0 1 0 512285738 39649280 6151 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9680 6151 231 231 0 9449 0
vsize: 38720
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6576 0 0 0 51961 48 0 0 25 0 1 0 512285738 39649280 6233 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9680 6233 231 231 0 9449 0
vsize: 38720
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 6655 0 0 0 52961 48 0 0 25 0 1 0 512285738 39845888 6312 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9728 6312 231 231 0 9497 0
vsize: 38912
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7073 0 0 0 53960 49 0 0 25 0 1 0 512285738 41418752 6345 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10112 6345 231 231 0 9881 0
vsize: 40448
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7108 0 0 0 54960 49 0 0 25 0 1 0 512285738 41418752 6380 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10112 6380 231 231 0 9881 0
vsize: 40448
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7164 0 0 0 55960 50 0 0 25 0 1 0 512285738 41418752 6436 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10112 6436 231 231 0 9881 0
vsize: 40448
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7260 0 0 0 56960 50 0 0 25 0 1 0 512285738 41615360 6532 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10160 6532 231 231 0 9929 0
vsize: 40640
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7318 0 0 0 57960 50 0 0 25 0 1 0 512285738 41615360 6590 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10160 6590 231 231 0 9929 0
vsize: 40640
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7334 0 0 0 58960 50 0 0 25 0 1 0 512285738 41615360 6606 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10160 6606 231 231 0 9929 0
vsize: 40640
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7370 0 0 0 59959 51 0 0 25 0 1 0 512285738 41811968 6642 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10208 6642 231 231 0 9977 0
vsize: 40832
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7430 0 0 0 60959 51 0 0 25 0 1 0 512285738 41811968 6702 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10208 6702 231 231 0 9977 0
vsize: 40832
[startup+620.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7507 0 0 0 61959 51 0 0 25 0 1 0 512285738 42008576 6779 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 6779 231 231 0 10025 0
vsize: 41024
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7568 0 0 0 62959 52 0 0 25 0 1 0 512285738 42008576 6840 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 6840 231 231 0 10025 0
vsize: 41024
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7605 0 0 0 63959 52 0 0 25 0 1 0 512285738 42008576 6877 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 6877 231 231 0 10025 0
vsize: 41024
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7609 0 0 0 64959 52 0 0 25 0 1 0 512285738 42008576 6881 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 6881 231 231 0 10025 0
vsize: 41024
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7670 0 0 0 65958 53 0 0 25 0 1 0 512285738 42008576 6942 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 6942 231 231 0 10025 0
vsize: 41024
[startup+670.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7725 0 0 0 66958 53 0 0 25 0 1 0 512285738 42008576 6997 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 6997 231 231 0 10025 0
vsize: 41024
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7807 0 0 0 67958 54 0 0 25 0 1 0 512285738 42008576 7079 4294967295 134512640 135450300 3221224640 3221223456 134537302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 7079 231 231 0 10025 0
vsize: 41024
[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7857 0 0 0 68957 54 0 0 25 0 1 0 512285738 42008576 7129 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 7129 231 231 0 10025 0
vsize: 41024
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7921 0 0 0 69957 55 0 0 25 0 1 0 512285738 42205184 7193 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7193 231 231 0 10073 0
vsize: 41216
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 7968 0 0 0 70957 56 0 0 25 0 1 0 512285738 42205184 7240 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7240 231 231 0 10073 0
vsize: 41216
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8017 0 0 0 71956 56 0 0 25 0 1 0 512285738 42205184 7289 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7289 231 231 0 10073 0
vsize: 41216
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8065 0 0 0 72956 56 0 0 25 0 1 0 512285738 42205184 7337 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7337 231 231 0 10073 0
vsize: 41216
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8113 0 0 0 73956 57 0 0 25 0 1 0 512285738 42205184 7385 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7385 231 231 0 10073 0
vsize: 41216
[startup+750.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8159 0 0 0 74956 57 0 0 25 0 1 0 512285738 42205184 7431 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7431 231 231 0 10073 0
vsize: 41216
[startup+760.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8208 0 0 0 75956 57 0 0 25 0 1 0 512285738 42205184 7480 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7480 231 231 0 10073 0
vsize: 41216
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8252 0 0 0 76956 57 0 0 25 0 1 0 512285738 42205184 7524 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7524 231 231 0 10073 0
vsize: 41216
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8304 0 0 0 77956 58 0 0 25 0 1 0 512285738 42205184 7576 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7576 231 231 0 10073 0
vsize: 41216
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8364 0 0 0 78956 58 0 0 25 0 1 0 512285738 42205184 7636 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7636 231 231 0 10073 0
vsize: 41216
[startup+800.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8430 0 0 0 79955 59 0 0 25 0 1 0 512285738 42340352 7702 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7702 231 231 0 10106 0
vsize: 41348
[startup+810.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8482 0 0 0 80955 59 0 0 25 0 1 0 512285738 42340352 7754 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7754 231 231 0 10106 0
vsize: 41348
[startup+820.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8530 0 0 0 81955 59 0 0 25 0 1 0 512285738 42340352 7802 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7802 231 231 0 10106 0
vsize: 41348
[startup+830.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8566 0 0 0 82955 59 0 0 25 0 1 0 512285738 42340352 7838 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7838 231 231 0 10106 0
vsize: 41348
[startup+840.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8569 0 0 0 83955 59 0 0 25 0 1 0 512285738 42340352 7841 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 7841 231 231 0 10106 0
vsize: 41348
[startup+850.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8587 0 0 0 84955 60 0 0 25 0 1 0 512285738 42536960 7859 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7859 231 231 0 10154 0
vsize: 41540
[startup+860.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8594 0 0 0 85955 60 0 0 25 0 1 0 512285738 42536960 7866 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7866 231 231 0 10154 0
vsize: 41540
[startup+870.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8620 0 0 0 86955 60 0 0 25 0 1 0 512285738 42536960 7892 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7892 231 231 0 10154 0
vsize: 41540
[startup+880.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8663 0 0 0 87955 60 0 0 25 0 1 0 512285738 42536960 7935 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7935 231 231 0 10154 0
vsize: 41540
[startup+890.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8723 0 0 0 88955 60 0 0 25 0 1 0 512285738 42536960 7995 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7995 231 231 0 10154 0
vsize: 41540
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8781 0 0 0 89955 61 0 0 25 0 1 0 512285738 42672128 8053 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10418 8053 231 231 0 10187 0
vsize: 41672
[startup+910.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8873 0 0 0 90955 61 0 0 25 0 1 0 512285738 42807296 8145 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10451 8145 231 231 0 10220 0
vsize: 41804
[startup+920.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 8916 0 0 0 91954 62 0 0 25 0 1 0 512285738 42807296 8188 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10451 8188 231 231 0 10220 0
vsize: 41804
[startup+930.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9004 0 0 0 92954 62 0 0 25 0 1 0 512285738 43003904 8276 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10499 8276 231 231 0 10268 0
vsize: 41996
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9069 0 0 0 93954 63 0 0 25 0 1 0 512285738 43139072 8341 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8341 231 231 0 10301 0
vsize: 42128
[startup+950.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9113 0 0 0 94954 63 0 0 25 0 1 0 512285738 43139072 8385 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8385 231 231 0 10301 0
vsize: 42128
[startup+960.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9156 0 0 0 95954 63 0 0 25 0 1 0 512285738 43139072 8428 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8428 231 231 0 10301 0
vsize: 42128
[startup+970.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9205 0 0 0 96954 63 0 0 25 0 1 0 512285738 43335680 8477 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8477 231 231 0 10349 0
vsize: 42320
[startup+980.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9246 0 0 0 97954 63 0 0 25 0 1 0 512285738 43335680 8518 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8518 231 231 0 10349 0
vsize: 42320
[startup+990.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9288 0 0 0 98954 64 0 0 25 0 1 0 512285738 43335680 8560 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8560 231 231 0 10349 0
vsize: 42320
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9337 0 0 0 99954 64 0 0 25 0 1 0 512285738 43335680 8609 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8609 231 231 0 10349 0
vsize: 42320
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9375 0 0 0 100954 64 0 0 25 0 1 0 512285738 43335680 8647 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8647 231 231 0 10349 0
vsize: 42320
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9418 0 0 0 101954 64 0 0 25 0 1 0 512285738 43335680 8690 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8690 231 231 0 10349 0
vsize: 42320
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9466 0 0 0 102953 65 0 0 25 0 1 0 512285738 43335680 8738 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8738 231 231 0 10349 0
vsize: 42320
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9506 0 0 0 103953 65 0 0 25 0 1 0 512285738 43335680 8778 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8778 231 231 0 10349 0
vsize: 42320
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9541 0 0 0 104953 65 0 0 25 0 1 0 512285738 43335680 8813 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8813 231 231 0 10349 0
vsize: 42320
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9588 0 0 0 105953 65 0 0 25 0 1 0 512285738 43335680 8860 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8860 231 231 0 10349 0
vsize: 42320
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9633 0 0 0 106953 65 0 0 25 0 1 0 512285738 43335680 8905 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8905 231 231 0 10349 0
vsize: 42320
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9674 0 0 0 107954 65 0 0 25 0 1 0 512285738 43335680 8946 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8946 231 231 0 10349 0
vsize: 42320
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9720 0 0 0 108953 66 0 0 25 0 1 0 512285738 43335680 8992 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 8992 231 231 0 10349 0
vsize: 42320
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9764 0 0 0 109953 66 0 0 25 0 1 0 512285738 43335680 9036 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9036 231 231 0 10349 0
vsize: 42320
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9830 0 0 0 110953 66 0 0 25 0 1 0 512285738 43470848 9102 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10613 9102 231 231 0 10382 0
vsize: 42452
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9884 0 0 0 111953 67 0 0 25 0 1 0 512285738 43606016 9156 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 9156 231 231 0 10415 0
vsize: 42584
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9907 0 0 0 112953 67 0 0 25 0 1 0 512285738 43606016 9179 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 9179 231 231 0 10415 0
vsize: 42584
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 9965 0 0 0 113953 67 0 0 25 0 1 0 512285738 43606016 9237 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 9237 231 231 0 10415 0
vsize: 42584
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 10010 0 0 0 114953 67 0 0 25 0 1 0 512285738 43606016 9282 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 9282 231 231 0 10415 0
vsize: 42584
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 10051 0 0 0 115953 68 0 0 25 0 1 0 512285738 43606016 9323 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 9323 231 231 0 10415 0
vsize: 42584
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 10105 0 0 0 116953 68 0 0 25 0 1 0 512285738 43741184 9377 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10679 9377 231 231 0 10448 0
vsize: 42716
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 10147 0 0 0 117953 68 0 0 25 0 1 0 512285738 43741184 9419 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10679 9419 231 231 0 10448 0
vsize: 42716
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 10181 0 0 0 118953 69 0 0 25 0 1 0 512285738 43741184 9453 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10679 9453 231 231 0 10448 0
vsize: 42716
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 24092
Raw data (stat): 24092 (PBS4) R 24091 27565 27564 0 -1 0 10206 0 0 0 119953 69 0 0 25 0 1 0 512285738 43741184 9478 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10679 9478 231 231 0 10448 0
vsize: 42716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.95 1/54 24092
Raw data (stat): 24092 (PBS4) Z 24091 27565 27564 0 -1 1036 10206 0 0 0 119953 71 0 0 25 0 1 0 512285738 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.04
CPU time (s): 1200.24
CPU user time (s): 1199.53
CPU system time (s): 0.710891
CPU usage (%): 100.017
Max. virtual memory (Kb): 42716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####