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/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM	85cf0fb6ed84e77eea7ef88259fe2fe8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	16.5575
Number of variables	4644
Total number of constraints	35898
Number of constraints which are clauses	30228
Number of constraints which are cardinality constraints (but not clauses)	5592
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 7951

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-17 17:23:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3246 boxname=wulflinc30 idbench=361 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc30/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 3246
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        701960 kB
Buffers:         39260 kB
Cached:         251780 kB
SwapCached:          0 kB
Active:          93640 kB
Inactive:       200320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701708 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            33080 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:43:55 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 3246 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-ppp:3-13,25,26.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.84 0.95 0.91 2/54 3743
Raw data (stat): 3743 (runsolver) R 3742 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512286529 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 2644 0 0 0 988 11 0 0 25 0 1 0 512286529 13959168 2301 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3408 2301 231 231 0 3177 0
vsize: 13632
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3016 0 0 0 1977 21 0 0 25 0 1 0 512286529 14508032 2673 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3542 2673 231 231 0 3311 0
vsize: 14168
[startup+30.0006 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3205 0 0 0 2967 32 0 0 25 0 1 0 512286529 14921728 2862 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3643 2862 231 231 0 3412 0
vsize: 14572
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3267 0 0 0 3956 43 0 0 25 0 1 0 512286529 15216640 2924 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2924 231 231 0 3484 0
vsize: 14860
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3321 0 0 0 4945 54 0 0 25 0 1 0 512286529 15331328 2978 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3743 2978 231 231 0 3512 0
vsize: 14972
[startup+60.001 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3390 0 0 0 5936 64 0 0 25 0 1 0 512286529 15482880 3047 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3780 3047 231 231 0 3549 0
vsize: 15120
[startup+70.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3437 0 0 0 6926 73 0 0 25 0 1 0 512286529 15622144 3094 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3814 3094 231 231 0 3583 0
vsize: 15256
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3493 0 0 0 7916 84 0 0 25 0 1 0 512286529 15835136 3150 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 3150 231 231 0 3635 0
vsize: 15464
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3528 0 0 0 8905 95 0 0 25 0 1 0 512286529 15835136 3185 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 3185 231 231 0 3635 0
vsize: 15464
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3954 0 0 0 9894 106 0 0 25 0 1 0 512286529 17641472 3226 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4307 3226 231 231 0 4076 0
vsize: 17228
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 3996 0 0 0 10883 117 0 0 25 0 1 0 512286529 17641472 3268 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4307 3268 231 231 0 4076 0
vsize: 17228
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4025 0 0 0 11874 126 0 0 25 0 1 0 512286529 17813504 3297 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4349 3297 231 231 0 4118 0
vsize: 17396
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4069 0 0 0 12864 137 0 0 25 0 1 0 512286529 17813504 3341 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4349 3341 231 231 0 4118 0
vsize: 17396
[startup+140.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4103 0 0 0 13854 147 0 0 25 0 1 0 512286529 18063360 3375 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3375 231 231 0 4179 0
vsize: 17640
[startup+150.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4142 0 0 0 14845 156 0 0 25 0 1 0 512286529 18063360 3414 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3414 231 231 0 4179 0
vsize: 17640
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4184 0 0 0 15833 168 0 0 25 0 1 0 512286529 18268160 3456 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3456 231 231 0 4229 0
vsize: 17840
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4214 0 0 0 16822 180 0 0 25 0 1 0 512286529 18268160 3486 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3486 231 231 0 4229 0
vsize: 17840
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4241 0 0 0 17810 191 0 0 25 0 1 0 512286529 18268160 3513 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3513 231 231 0 4229 0
vsize: 17840
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4268 0 0 0 18800 202 0 0 25 0 1 0 512286529 18268160 3540 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3540 231 231 0 4229 0
vsize: 17840
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4324 0 0 0 19790 212 0 0 25 0 1 0 512286529 18509824 3596 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3596 231 231 0 4288 0
vsize: 18076
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4357 0 0 0 20778 224 0 0 25 0 1 0 512286529 18657280 3629 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4555 3629 231 231 0 4324 0
vsize: 18220
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4384 0 0 0 21767 235 0 0 25 0 1 0 512286529 18657280 3656 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4555 3656 231 231 0 4324 0
vsize: 18220
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4428 0 0 0 22758 244 0 0 25 0 1 0 512286529 18771968 3700 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4583 3700 231 231 0 4352 0
vsize: 18332
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4471 0 0 0 23749 254 0 0 25 0 1 0 512286529 18927616 3743 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4621 3743 231 231 0 4390 0
vsize: 18484
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4492 0 0 0 24741 262 0 0 25 0 1 0 512286529 18927616 3764 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4621 3764 231 231 0 4390 0
vsize: 18484
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4531 0 0 0 25732 271 0 0 25 0 1 0 512286529 19046400 3803 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3803 231 231 0 4419 0
vsize: 18600
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4569 0 0 0 26724 279 0 0 25 0 1 0 512286529 19210240 3841 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3841 231 231 0 4459 0
vsize: 18760
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4615 0 0 0 27715 288 0 0 25 0 1 0 512286529 19210240 3887 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3887 231 231 0 4459 0
vsize: 18760
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4655 0 0 0 28705 299 0 0 25 0 1 0 512286529 19386368 3927 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4733 3927 231 231 0 4502 0
vsize: 18932
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4688 0 0 0 29694 310 0 0 25 0 1 0 512286529 19484672 3960 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4757 3960 231 231 0 4526 0
vsize: 19028
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4706 0 0 0 30683 321 0 0 25 0 1 0 512286529 19484672 3978 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4757 3978 231 231 0 4526 0
vsize: 19028
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4737 0 0 0 31673 331 0 0 25 0 1 0 512286529 19668992 4009 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 4009 231 231 0 4571 0
vsize: 19208
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4774 0 0 0 32662 342 0 0 25 0 1 0 512286529 19668992 4046 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 4046 231 231 0 4571 0
vsize: 19208
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4800 0 0 0 33653 352 0 0 25 0 1 0 512286529 19668992 4072 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 4072 231 231 0 4571 0
vsize: 19208
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4833 0 0 0 34644 361 0 0 25 0 1 0 512286529 19865600 4105 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4850 4105 231 231 0 4619 0
vsize: 19400
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 4857 0 0 0 35634 370 0 0 25 0 1 0 512286529 19865600 4129 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4850 4129 231 231 0 4619 0
vsize: 19400
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5653 0 0 0 36623 382 0 0 25 0 1 0 512286529 23011328 4156 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5618 4156 231 231 0 5387 0
vsize: 22472
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5678 0 0 0 37614 391 0 0 25 0 1 0 512286529 23011328 4181 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5618 4181 231 231 0 5387 0
vsize: 22472
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5712 0 0 0 38604 402 0 0 25 0 1 0 512286529 23220224 4215 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5669 4215 231 231 0 5438 0
vsize: 22676
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5739 0 0 0 39592 414 0 0 25 0 1 0 512286529 23220224 4242 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5669 4242 231 231 0 5438 0
vsize: 22676
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5759 0 0 0 40583 422 0 0 25 0 1 0 512286529 23220224 4262 4294967295 134512640 135450300 3221224640 3221223568 134539588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5669 4262 231 231 0 5438 0
vsize: 22676
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5792 0 0 0 41572 433 0 0 25 0 1 0 512286529 23330816 4295 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5696 4295 231 231 0 5465 0
vsize: 22784
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5817 0 0 0 42566 440 0 0 25 0 1 0 512286529 23330816 4320 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5696 4320 231 231 0 5465 0
vsize: 22784
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5845 0 0 0 43557 449 0 0 25 0 1 0 512286529 23552000 4348 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 4348 231 231 0 5519 0
vsize: 23000
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5874 0 0 0 44548 458 0 0 25 0 1 0 512286529 23552000 4377 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 4377 231 231 0 5519 0
vsize: 23000
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5905 0 0 0 45538 468 0 0 25 0 1 0 512286529 23654400 4408 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4408 231 231 0 5544 0
vsize: 23100
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5927 0 0 0 46528 478 0 0 25 0 1 0 512286529 23654400 4430 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4430 231 231 0 5544 0
vsize: 23100
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5963 0 0 0 47519 487 0 0 25 0 1 0 512286529 23887872 4466 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4466 231 231 0 5601 0
vsize: 23328
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 5989 0 0 0 48510 496 0 0 25 0 1 0 512286529 23887872 4492 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4492 231 231 0 5601 0
vsize: 23328
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6017 0 0 0 49503 504 0 0 25 0 1 0 512286529 23887872 4520 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4520 231 231 0 5601 0
vsize: 23328
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6034 0 0 0 50493 514 0 0 25 0 1 0 512286529 23887872 4537 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4537 231 231 0 5601 0
vsize: 23328
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6065 0 0 0 51484 523 0 0 25 0 1 0 512286529 23887872 4568 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4568 231 231 0 5601 0
vsize: 23328
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6090 0 0 0 52476 531 0 0 25 0 1 0 512286529 24137728 4593 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5893 4593 231 231 0 5662 0
vsize: 23572
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6118 0 0 0 53468 539 0 0 25 0 1 0 512286529 24137728 4621 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5893 4621 231 231 0 5662 0
vsize: 23572
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6151 0 0 0 54458 550 0 0 25 0 1 0 512286529 24137728 4654 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5893 4654 231 231 0 5662 0
vsize: 23572
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6173 0 0 0 55448 559 0 0 25 0 1 0 512286529 24137728 4676 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5893 4676 231 231 0 5662 0
vsize: 23572
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6210 0 0 0 56438 570 0 0 25 0 1 0 512286529 24502272 4713 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 4713 231 231 0 5751 0
vsize: 23928
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6246 0 0 0 57429 579 0 0 25 0 1 0 512286529 24502272 4749 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 4749 231 231 0 5751 0
vsize: 23928
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6260 0 0 0 58420 588 0 0 25 0 1 0 512286529 24502272 4763 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 4763 231 231 0 5751 0
vsize: 23928
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6283 0 0 0 59410 599 0 0 25 0 1 0 512286529 24502272 4786 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 4786 231 231 0 5751 0
vsize: 23928
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6317 0 0 0 60403 605 0 0 25 0 1 0 512286529 24502272 4820 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 4820 231 231 0 5751 0
vsize: 23928
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6341 0 0 0 61395 614 0 0 25 0 1 0 512286529 24784896 4844 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 4844 231 231 0 5820 0
vsize: 24204
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6362 0 0 0 62387 622 0 0 25 0 1 0 512286529 24784896 4865 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 4865 231 231 0 5820 0
vsize: 24204
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6396 0 0 0 63378 632 0 0 25 0 1 0 512286529 24784896 4899 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 4899 231 231 0 5820 0
vsize: 24204
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6410 0 0 0 64368 642 0 0 25 0 1 0 512286529 24784896 4913 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 4913 231 231 0 5820 0
vsize: 24204
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6423 0 0 0 65358 651 0 0 25 0 1 0 512286529 24784896 4926 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 4926 231 231 0 5820 0
vsize: 24204
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6442 0 0 0 66351 659 0 0 25 0 1 0 512286529 24784896 4945 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 4945 231 231 0 5820 0
vsize: 24204
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6480 0 0 0 67342 668 0 0 25 0 1 0 512286529 24784896 4983 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 4983 231 231 0 5820 0
vsize: 24204
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6510 0 0 0 68334 676 0 0 25 0 1 0 512286529 25083904 5013 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 5013 231 231 0 5893 0
vsize: 24496
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6524 0 0 0 69326 684 0 0 25 0 1 0 512286529 25083904 5027 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 5027 231 231 0 5893 0
vsize: 24496
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6559 0 0 0 70317 694 0 0 25 0 1 0 512286529 25083904 5062 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 5062 231 231 0 5893 0
vsize: 24496
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6585 0 0 0 71311 700 0 0 25 0 1 0 512286529 25083904 5088 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 5088 231 231 0 5893 0
vsize: 24496
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6610 0 0 0 72304 707 0 0 25 0 1 0 512286529 25083904 5113 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 5113 231 231 0 5893 0
vsize: 24496
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6634 0 0 0 73295 716 0 0 25 0 1 0 512286529 25501696 5137 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5137 231 231 0 5995 0
vsize: 24904
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6648 0 0 0 74287 724 0 0 25 0 1 0 512286529 25501696 5151 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5151 231 231 0 5995 0
vsize: 24904
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6678 0 0 0 75278 733 0 0 25 0 1 0 512286529 25501696 5181 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5181 231 231 0 5995 0
vsize: 24904
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6704 0 0 0 76272 740 0 0 25 0 1 0 512286529 25501696 5207 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5207 231 231 0 5995 0
vsize: 24904
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6718 0 0 0 77265 747 0 0 25 0 1 0 512286529 25501696 5221 4294967295 134512640 135450300 3221224640 3221223360 134533730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5221 231 231 0 5995 0
vsize: 24904
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6736 0 0 0 78260 753 0 0 25 0 1 0 512286529 25501696 5239 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5239 231 231 0 5995 0
vsize: 24904
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6769 0 0 0 79252 760 0 0 25 0 1 0 512286529 25501696 5272 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5272 231 231 0 5995 0
vsize: 24904
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6793 0 0 0 80244 769 0 0 25 0 1 0 512286529 25501696 5296 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5296 231 231 0 5995 0
vsize: 24904
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6815 0 0 0 81237 776 0 0 25 0 1 0 512286529 25837568 5318 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5318 231 231 0 6077 0
vsize: 25232
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6829 0 0 0 82227 785 0 0 25 0 1 0 512286529 25837568 5332 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5332 231 231 0 6077 0
vsize: 25232
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6855 0 0 0 83220 793 0 0 25 0 1 0 512286529 25837568 5358 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5358 231 231 0 6077 0
vsize: 25232
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6878 0 0 0 84212 802 0 0 25 0 1 0 512286529 25837568 5381 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5381 231 231 0 6077 0
vsize: 25232
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6903 0 0 0 85202 812 0 0 25 0 1 0 512286529 25837568 5406 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5406 231 231 0 6077 0
vsize: 25232
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6922 0 0 0 86193 821 0 0 25 0 1 0 512286529 25935872 5425 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6332 5425 231 231 0 6101 0
vsize: 25328
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6954 0 0 0 87184 829 0 0 25 0 1 0 512286529 25935872 5457 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6332 5457 231 231 0 6101 0
vsize: 25328
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 6989 0 0 0 88174 840 0 0 25 0 1 0 512286529 25935872 5492 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6332 5492 231 231 0 6101 0
vsize: 25328
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7025 0 0 0 89166 848 0 0 25 0 1 0 512286529 26296320 5528 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 5528 231 231 0 6189 0
vsize: 25680
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7040 0 0 0 90158 857 0 0 25 0 1 0 512286529 26296320 5543 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 5543 231 231 0 6189 0
vsize: 25680
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7074 0 0 0 91149 866 0 0 25 0 1 0 512286529 26406912 5577 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6447 5577 231 231 0 6216 0
vsize: 25788
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7130 0 0 0 92139 876 0 0 25 0 1 0 512286529 26513408 5633 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5633 231 231 0 6242 0
vsize: 25892
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7147 0 0 0 93130 884 0 0 25 0 1 0 512286529 26513408 5650 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5650 231 231 0 6242 0
vsize: 25892
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7167 0 0 0 94124 891 0 0 25 0 1 0 512286529 26513408 5670 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5670 231 231 0 6242 0
vsize: 25892
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7212 0 0 0 95115 900 0 0 25 0 1 0 512286529 26513408 5715 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5715 231 231 0 6242 0
vsize: 25892
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7246 0 0 0 96107 909 0 0 25 0 1 0 512286529 27000832 5749 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6592 5749 231 231 0 6361 0
vsize: 26368
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7262 0 0 0 97100 915 0 0 25 0 1 0 512286529 27000832 5765 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6592 5765 231 231 0 6361 0
vsize: 26368
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7293 0 0 0 98094 922 0 0 25 0 1 0 512286529 27000832 5796 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6592 5796 231 231 0 6361 0
vsize: 26368
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7319 0 0 0 99087 929 0 0 25 0 1 0 512286529 27000832 5822 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6592 5822 231 231 0 6361 0
vsize: 26368
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7344 0 0 0 100078 938 0 0 25 0 1 0 512286529 27111424 5847 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6619 5847 231 231 0 6388 0
vsize: 26476
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7359 0 0 0 101072 944 0 0 25 0 1 0 512286529 27111424 5862 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6619 5862 231 231 0 6388 0
vsize: 26476
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 7383 0 0 0 102067 949 0 0 25 0 1 0 512286529 27111424 5886 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6619 5886 231 231 0 6388 0
vsize: 26476
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 8946 0 0 0 103058 958 0 0 25 0 1 0 512286529 33402880 5912 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5912 231 231 0 7924 0
vsize: 32620
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 8975 0 0 0 104051 965 0 0 25 0 1 0 512286529 33402880 5941 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5941 231 231 0 7924 0
vsize: 32620
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9003 0 0 0 105045 972 0 0 25 0 1 0 512286529 33808384 5969 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 5969 231 231 0 8023 0
vsize: 33016
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9016 0 0 0 106038 979 0 0 25 0 1 0 512286529 33808384 5982 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 5982 231 231 0 8023 0
vsize: 33016
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9040 0 0 0 107032 986 0 0 25 0 1 0 512286529 33808384 6006 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6006 231 231 0 8023 0
vsize: 33016
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9075 0 0 0 108023 995 0 0 25 0 1 0 512286529 33808384 6041 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6041 231 231 0 8023 0
vsize: 33016
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9090 0 0 0 109015 1003 0 0 25 0 1 0 512286529 33808384 6056 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6056 231 231 0 8023 0
vsize: 33016
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9114 0 0 0 110008 1010 0 0 25 0 1 0 512286529 33808384 6080 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6080 231 231 0 8023 0
vsize: 33016
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9140 0 0 0 111000 1018 0 0 25 0 1 0 512286529 33808384 6106 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6106 231 231 0 8023 0
vsize: 33016
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9171 0 0 0 111994 1024 0 0 25 0 1 0 512286529 33808384 6137 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6137 231 231 0 8023 0
vsize: 33016
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9192 0 0 0 112989 1030 0 0 25 0 1 0 512286529 33808384 6158 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6158 231 231 0 8023 0
vsize: 33016
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9207 0 0 0 113981 1038 0 0 25 0 1 0 512286529 33808384 6173 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 6173 231 231 0 8023 0
vsize: 33016
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9233 0 0 0 114973 1045 0 0 25 0 1 0 512286529 34336768 6199 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8383 6199 231 231 0 8152 0
vsize: 33532
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9249 0 0 0 115966 1053 0 0 25 0 1 0 512286529 34336768 6215 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8383 6215 231 231 0 8152 0
vsize: 33532
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9264 0 0 0 116960 1059 0 0 25 0 1 0 512286529 34336768 6230 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8383 6230 231 231 0 8152 0
vsize: 33532
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9290 0 0 0 117956 1063 0 0 25 0 1 0 512286529 34336768 6256 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8383 6256 231 231 0 8152 0
vsize: 33532
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3743
Raw data (stat): 3743 (PBS4) R 3742 11931 11930 0 -1 0 9309 0 0 0 118950 1070 0 0 25 0 1 0 512286529 34336768 6275 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8383 6275 231 231 0 8152 0
vsize: 33532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3743
Raw data (stat): 3743 (PBS4) Z 3742 11931 11930 0 -1 1036 9309 0 0 0 118950 1071 0 0 25 0 1 0 512286529 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.22
CPU user time (s): 1189.5
CPU system time (s): 10.7164
CPU usage (%): 100.015
Max. virtual memory (Kb): 33532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####