PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 7656

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-17 15:37:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=411 boxname=wulflinc13 idbench=46 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  888577ab8fe81abf9fdd366d65e4c3b7  /oldhome/oroussel/tmp/wulflinc13/normalized-fpga30_28_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-fpga30_28_sat_pb.cnf.cr.opb
IDLAUNCH: 411
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        861960 kB
Buffers:         36504 kB
Cached:         115152 kB
SwapCached:        392 kB
Active:          65672 kB
Inactive:        89204 kB
HighTotal:      131008 kB
HighFree:        11956 kB
LowTotal:       903652 kB
LowFree:        850004 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12376 kB
Committed_AS:    63476 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:57:43 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 411 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc13/normalized-fpga30_28_sat_pb.cnf.cr.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.77 0.35 0.13 2/54 23124
Raw data (stat): 23124 (runsolver) R 23123 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453434539 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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 s]
Raw data (loadavg): 0.80 0.37 0.13 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 1731 0 0 0 991 7 0 0 25 0 1 0 453434539 10678272 1727 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2607 1727 231 231 0 2376 0
vsize: 10428
[startup+20.0011 s]
Raw data (loadavg): 0.83 0.39 0.14 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 3367 0 0 0 1981 17 0 0 25 0 1 0 453434539 20078592 3363 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4902 3363 231 231 0 4671 0
vsize: 19608
[startup+30.0015 s]
Raw data (loadavg): 0.86 0.41 0.15 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 3714 0 0 0 2978 21 0 0 25 0 1 0 453434539 20828160 3661 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5085 3661 231 231 0 4854 0
vsize: 20340
[startup+40.0019 s]
Raw data (loadavg): 0.88 0.43 0.16 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 3956 0 0 0 3973 25 0 0 25 0 1 0 453434539 21778432 3806 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5317 3806 231 231 0 5086 0
vsize: 21268
[startup+50.0086 s]
Raw data (loadavg): 0.90 0.45 0.17 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 4068 0 0 0 4967 32 0 0 25 0 1 0 453434539 22069248 3918 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 3918 231 231 0 5157 0
vsize: 21552
[startup+60.0084 s]
Raw data (loadavg): 0.91 0.46 0.18 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 4172 0 0 0 5962 38 0 0 25 0 1 0 453434539 22401024 4022 4294967295 134512640 135450300 3221224624 3221223456 134549299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4022 231 231 0 5238 0
vsize: 21876
[startup+70.0087 s]
Raw data (loadavg): 0.92 0.48 0.19 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 4265 0 0 0 6958 42 0 0 25 0 1 0 453434539 22835200 4115 4294967295 134512640 135450300 3221224624 3221223344 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5575 4115 231 231 0 5344 0
vsize: 22300
[startup+80.0084 s]
Raw data (loadavg): 0.94 0.50 0.19 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 4277 0 0 0 7957 43 0 0 25 0 1 0 453434539 22835200 4127 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5575 4127 231 231 0 5344 0
vsize: 22300
[startup+90.0093 s]
Raw data (loadavg): 0.95 0.51 0.20 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 4281 0 0 0 8957 43 0 0 25 0 1 0 453434539 22835200 4131 4294967295 134512640 135450300 3221224624 3221223440 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5575 4131 231 231 0 5344 0
vsize: 22300
[startup+100.009 s]
Raw data (loadavg): 0.95 0.53 0.21 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 4662 0 0 0 9956 44 0 0 25 0 1 0 453434539 22970368 4512 4294967295 134512640 135450300 3221224624 3221223440 134547182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5608 4512 231 231 0 5377 0
vsize: 22432
[startup+110.008 s]
Raw data (loadavg): 0.96 0.54 0.22 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 5168 0 0 0 10955 45 0 0 25 0 1 0 453434539 23109632 5018 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5642 5018 231 231 0 5411 0
vsize: 22568
[startup+120.009 s]
Raw data (loadavg): 0.97 0.56 0.23 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 6048 0 0 0 11953 47 0 0 25 0 1 0 453434539 40300544 5898 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9839 5898 231 231 0 9608 0
vsize: 39356
[startup+130.009 s]
Raw data (loadavg): 0.97 0.57 0.23 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 6750 0 0 0 12951 50 0 0 25 0 1 0 453434539 40300544 6600 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9839 6600 231 231 0 9608 0
vsize: 39356
[startup+140.009 s]
Raw data (loadavg): 0.97 0.59 0.24 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 7573 0 0 0 13949 52 0 0 25 0 1 0 453434539 40579072 7423 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9907 7423 231 231 0 9676 0
vsize: 39628
[startup+150.01 s]
Raw data (loadavg): 0.98 0.60 0.25 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 8353 0 0 0 14948 54 0 0 25 0 1 0 453434539 41005056 8203 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10011 8203 231 231 0 9780 0
vsize: 40044
[startup+160.009 s]
Raw data (loadavg): 0.98 0.61 0.26 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 9299 0 0 0 15945 56 0 0 25 0 1 0 453434539 41791488 8956 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10203 8956 231 231 0 9972 0
vsize: 40812
[startup+170.009 s]
Raw data (loadavg): 0.98 0.62 0.27 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 10185 0 0 0 16944 58 0 0 25 0 1 0 453434539 42491904 9842 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 9842 231 231 0 10143 0
vsize: 41496
[startup+180.009 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 10974 0 0 0 17941 61 0 0 25 0 1 0 453434539 76324864 10631 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18634 10631 231 231 0 18403 0
vsize: 74536
[startup+190.009 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 11677 0 0 0 18939 63 0 0 25 0 1 0 453434539 76472320 11334 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18670 11334 231 231 0 18439 0
vsize: 74680
[startup+200.009 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 12415 0 0 0 19937 65 0 0 25 0 1 0 453434539 76775424 12072 4294967295 134512640 135450300 3221224624 3221223088 134532761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18744 12072 231 231 0 18513 0
vsize: 74976
[startup+210.009 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 13280 0 0 0 20935 67 0 0 25 0 1 0 453434539 77799424 12937 4294967295 134512640 135450300 3221224624 3221223440 134547184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18994 12937 231 231 0 18763 0
vsize: 75976
[startup+220.01 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 14192 0 0 0 21933 69 0 0 25 0 1 0 453434539 78979072 13849 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 13849 231 231 0 19051 0
vsize: 77128
[startup+230.009 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 15081 0 0 0 22931 71 0 0 25 0 1 0 453434539 80027648 14738 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19538 14738 231 231 0 19307 0
vsize: 78152
[startup+240.01 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 16034 0 0 0 23929 73 0 0 25 0 1 0 453434539 81207296 15691 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19826 15691 231 231 0 19595 0
vsize: 79304
[startup+250.01 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 16883 0 0 0 24927 76 0 0 25 0 1 0 453434539 82747392 16540 4294967295 134512640 135450300 3221224624 3221223520 134539779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20202 16540 231 231 0 19971 0
vsize: 80808
[startup+260.01 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 17691 0 0 0 25925 78 0 0 25 0 1 0 453434539 83697664 17348 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20434 17348 231 231 0 20203 0
vsize: 81736
[startup+270.01 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 18604 0 0 0 26922 81 0 0 25 0 1 0 453434539 85336064 18261 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20834 18261 231 231 0 20603 0
vsize: 83336
[startup+280.009 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 19244 0 0 0 27921 83 0 0 25 0 1 0 453434539 85663744 18901 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20914 18901 231 231 0 20683 0
vsize: 83656
[startup+290.01 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 19947 0 0 0 28919 85 0 0 25 0 1 0 453434539 85663744 19604 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20914 19604 231 231 0 20683 0
vsize: 83656
[startup+300.009 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 20562 0 0 0 29918 86 0 0 25 0 1 0 453434539 152772608 20219 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37298 20219 231 231 0 37067 0
vsize: 149192
[startup+310.01 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 21235 0 0 0 30916 88 0 0 25 0 1 0 453434539 153370624 20892 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37444 20892 231 231 0 37213 0
vsize: 149776
[startup+320.01 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 21677 0 0 0 31915 89 0 0 25 0 1 0 453434539 153518080 21334 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37480 21334 231 231 0 37249 0
vsize: 149920
[startup+330.009 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 21712 0 0 0 32914 90 0 0 25 0 1 0 453434539 153518080 21369 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37480 21369 231 231 0 37249 0
vsize: 149920
[startup+340.01 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 21778 0 0 0 33914 90 0 0 25 0 1 0 453434539 153845760 21435 4294967295 134512640 135450300 3221224624 3221223344 134536028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37560 21435 231 231 0 37329 0
vsize: 150240
[startup+350.01 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 21859 0 0 0 34914 90 0 0 25 0 1 0 453434539 154337280 21516 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37680 21516 231 231 0 37449 0
vsize: 150720
[startup+360.009 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 22050 0 0 0 35914 91 0 0 25 0 1 0 453434539 155148288 21707 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37878 21707 231 231 0 37647 0
vsize: 151512
[startup+370.01 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 22235 0 0 0 36913 92 0 0 25 0 1 0 453434539 155148288 21892 4294967295 134512640 135450300 3221224624 3221223456 134549475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37878 21892 231 231 0 37647 0
vsize: 151512
[startup+380.01 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 22971 0 0 0 37911 94 0 0 25 0 1 0 453434539 155312128 22628 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37918 22628 231 231 0 37687 0
vsize: 151672
[startup+390.01 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 23051 0 0 0 38911 95 0 0 25 0 1 0 453434539 155475968 22708 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37958 22708 231 231 0 37727 0
vsize: 151832
[startup+400.011 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 23347 0 0 0 39910 95 0 0 25 0 1 0 453434539 156950528 23004 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38318 23004 231 231 0 38087 0
vsize: 153272
[startup+410.01 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 23489 0 0 0 40910 96 0 0 25 0 1 0 453434539 157769728 23146 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38518 23146 231 231 0 38287 0
vsize: 154072
[startup+420.01 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 23502 0 0 0 41910 96 0 0 25 0 1 0 453434539 157769728 23159 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38518 23159 231 231 0 38287 0
vsize: 154072
[startup+430.01 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 23515 0 0 0 42910 96 0 0 25 0 1 0 453434539 157962240 23172 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38565 23172 231 231 0 38334 0
vsize: 154260
[startup+440.01 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 24032 0 0 0 43909 97 0 0 25 0 1 0 453434539 158781440 23689 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38765 23689 231 231 0 38534 0
vsize: 155060
[startup+450.01 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 24188 0 0 0 44908 98 0 0 25 0 1 0 453434539 158978048 23845 4294967295 134512640 135450300 3221224624 3221223416 134535633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38813 23845 231 231 0 38582 0
vsize: 155252
[startup+460.01 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 24270 0 0 0 45908 99 0 0 25 0 1 0 453434539 159141888 23927 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38853 23927 231 231 0 38622 0
vsize: 155412
[startup+470.01 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 24847 0 0 0 46907 100 0 0 25 0 1 0 453434539 159141888 24504 4294967295 134512640 135450300 3221224624 3221223440 134537263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38853 24504 231 231 0 38622 0
vsize: 155412
[startup+480.01 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 25657 0 0 0 47905 102 0 0 25 0 1 0 453434539 159961088 25314 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39053 25314 231 231 0 38822 0
vsize: 156212
[startup+490.011 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 26444 0 0 0 48903 104 0 0 25 0 1 0 453434539 161271808 26101 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39373 26101 231 231 0 39142 0
vsize: 157492
[startup+500.011 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 27182 0 0 0 49901 106 0 0 25 0 1 0 453434539 162123776 26839 4294967295 134512640 135450300 3221224624 3221223440 134547865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39581 26839 231 231 0 39350 0
vsize: 158324
[startup+510.011 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 27690 0 0 0 50900 108 0 0 25 0 1 0 453434539 162123776 27347 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39581 27347 231 231 0 39350 0
vsize: 158324
[startup+520.011 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 28568 0 0 0 51897 110 0 0 25 0 1 0 453434539 163827712 28225 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39997 28225 231 231 0 39766 0
vsize: 159988
[startup+530.01 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 29104 0 0 0 52896 112 0 0 25 0 1 0 453434539 164188160 28761 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40085 28761 231 231 0 39854 0
vsize: 160340
[startup+540.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 29760 0 0 0 53895 113 0 0 25 0 1 0 453434539 164843520 29417 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40245 29417 231 231 0 40014 0
vsize: 160980
[startup+550.011 s]
Raw data (loadavg): 0.99 0.88 0.50 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 30298 0 0 0 54894 114 0 0 25 0 1 0 453434539 165007360 29955 4294967295 134512640 135450300 3221224624 3221223456 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40285 29955 231 231 0 40054 0
vsize: 161140
[startup+560.01 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 30990 0 0 0 55892 116 0 0 25 0 1 0 453434539 165171200 30647 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40325 30647 231 231 0 40094 0
vsize: 161300
[startup+570.011 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 31747 0 0 0 56890 118 0 0 25 0 1 0 453434539 166350848 31404 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40613 31404 231 231 0 40382 0
vsize: 162452
[startup+580.011 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 31992 0 0 0 57890 119 0 0 25 0 1 0 453434539 167038976 31649 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40781 31649 231 231 0 40550 0
vsize: 163124
[startup+590.011 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 32000 0 0 0 58890 119 0 0 25 0 1 0 453434539 167038976 31657 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40781 31657 231 231 0 40550 0
vsize: 163124
[startup+600.011 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 32036 0 0 0 59890 119 0 0 25 0 1 0 453434539 167038976 31693 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40781 31693 231 231 0 40550 0
vsize: 163124
[startup+610.011 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 32746 0 0 0 60889 120 0 0 25 0 1 0 453434539 168415232 32403 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41117 32403 231 231 0 40886 0
vsize: 164468
[startup+620.011 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 33149 0 0 0 61888 121 0 0 25 0 1 0 453434539 168611840 32806 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41165 32806 231 231 0 40934 0
vsize: 164660
[startup+630.011 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 33833 0 0 0 62887 123 0 0 25 0 1 0 453434539 168611840 33490 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41165 33490 231 231 0 40934 0
vsize: 164660
[startup+640.012 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 34374 0 0 0 63886 125 0 0 25 0 1 0 453434539 168808448 34031 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41213 34031 231 231 0 40982 0
vsize: 164852
[startup+650.012 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 34668 0 0 0 64885 125 0 0 25 0 1 0 453434539 168808448 34325 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41213 34325 231 231 0 40982 0
vsize: 164852
[startup+660.011 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 34673 0 0 0 65885 125 0 0 25 0 1 0 453434539 168808448 34330 4294967295 134512640 135450300 3221224624 3221223232 134622106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41213 34330 231 231 0 40982 0
vsize: 164852
[startup+670.012 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 34716 0 0 0 66885 125 0 0 25 0 1 0 453434539 169005056 34373 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41261 34373 231 231 0 41030 0
vsize: 165044
[startup+680.012 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 34796 0 0 0 67885 126 0 0 25 0 1 0 453434539 169336832 34453 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 34453 231 231 0 41111 0
vsize: 165368
[startup+690.012 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 35419 0 0 0 68883 128 0 0 25 0 1 0 453434539 169336832 35076 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 35076 231 231 0 41111 0
vsize: 165368
[startup+700.012 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 36195 0 0 0 69881 130 0 0 25 0 1 0 453434539 171106304 35852 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41774 35852 231 231 0 41543 0
vsize: 167096
[startup+710.013 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 36618 0 0 0 70880 131 0 0 25 0 1 0 453434539 171302912 36275 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41822 36275 231 231 0 41591 0
vsize: 167288
[startup+720.012 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 37149 0 0 0 71879 133 0 0 25 0 1 0 453434539 171302912 36806 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41822 36806 231 231 0 41591 0
vsize: 167288
[startup+730.013 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 37253 0 0 0 72879 133 0 0 25 0 1 0 453434539 171696128 36910 4294967295 134512640 135450300 3221224624 3221223456 134549440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41918 36910 231 231 0 41687 0
vsize: 167672
[startup+740.013 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 37459 0 0 0 73878 134 0 0 25 0 1 0 453434539 172875776 37116 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42206 37116 231 231 0 41975 0
vsize: 168824
[startup+750.013 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 37614 0 0 0 74878 134 0 0 25 0 1 0 453434539 173559808 37271 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42373 37271 231 231 0 42142 0
vsize: 169492
[startup+760.013 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38003 0 0 0 75877 135 0 0 25 0 1 0 453434539 175132672 37275 4294967295 134512640 135450300 3221224624 3221223152 134544883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37275 231 231 0 42526 0
vsize: 171028
[startup+770.014 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38007 0 0 0 76878 135 0 0 25 0 1 0 453434539 175132672 37279 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37279 231 231 0 42526 0
vsize: 171028
[startup+780.013 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38011 0 0 0 77877 136 0 0 25 0 1 0 453434539 175132672 37283 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37283 231 231 0 42526 0
vsize: 171028
[startup+790.014 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38015 0 0 0 78878 136 0 0 25 0 1 0 453434539 175132672 37287 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37287 231 231 0 42526 0
vsize: 171028
[startup+800.014 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38019 0 0 0 79877 136 0 0 25 0 1 0 453434539 175132672 37291 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37291 231 231 0 42526 0
vsize: 171028
[startup+810.014 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38023 0 0 0 80877 136 0 0 25 0 1 0 453434539 175132672 37295 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37295 231 231 0 42526 0
vsize: 171028
[startup+820.015 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38027 0 0 0 81878 136 0 0 25 0 1 0 453434539 175132672 37299 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37299 231 231 0 42526 0
vsize: 171028
[startup+830.014 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38031 0 0 0 82877 137 0 0 25 0 1 0 453434539 175132672 37303 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37303 231 231 0 42526 0
vsize: 171028
[startup+840.015 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38036 0 0 0 83878 137 0 0 25 0 1 0 453434539 175132672 37308 4294967295 134512640 135450300 3221224624 3221223008 134602457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37308 231 231 0 42526 0
vsize: 171028
[startup+850.016 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38040 0 0 0 84878 137 0 0 25 0 1 0 453434539 175132672 37312 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37312 231 231 0 42526 0
vsize: 171028
[startup+860.015 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38044 0 0 0 85878 137 0 0 25 0 1 0 453434539 175132672 37316 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37316 231 231 0 42526 0
vsize: 171028
[startup+870.015 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38047 0 0 0 86878 137 0 0 25 0 1 0 453434539 175132672 37319 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37319 231 231 0 42526 0
vsize: 171028
[startup+880.015 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38051 0 0 0 87878 137 0 0 25 0 1 0 453434539 175132672 37323 4294967295 134512640 135450300 3221224624 3221223152 134544177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37323 231 231 0 42526 0
vsize: 171028
[startup+890.015 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38056 0 0 0 88878 137 0 0 25 0 1 0 453434539 175132672 37328 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37328 231 231 0 42526 0
vsize: 171028
[startup+900.015 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38061 0 0 0 89878 137 0 0 25 0 1 0 453434539 175132672 37333 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37333 231 231 0 42526 0
vsize: 171028
[startup+910.015 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38065 0 0 0 90878 137 0 0 25 0 1 0 453434539 175132672 37337 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37337 231 231 0 42526 0
vsize: 171028
[startup+920.015 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38073 0 0 0 91878 138 0 0 25 0 1 0 453434539 175132672 37345 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37345 231 231 0 42526 0
vsize: 171028
[startup+930.015 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38076 0 0 0 92878 138 0 0 25 0 1 0 453434539 175132672 37348 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37348 231 231 0 42526 0
vsize: 171028
[startup+940.015 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38079 0 0 0 93878 138 0 0 25 0 1 0 453434539 175132672 37351 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37351 231 231 0 42526 0
vsize: 171028
[startup+950.015 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38083 0 0 0 94878 138 0 0 25 0 1 0 453434539 175132672 37355 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37355 231 231 0 42526 0
vsize: 171028
[startup+960.015 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38087 0 0 0 95878 138 0 0 25 0 1 0 453434539 175132672 37359 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37359 231 231 0 42526 0
vsize: 171028
[startup+970.016 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38095 0 0 0 96878 139 0 0 25 0 1 0 453434539 175132672 37367 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37367 231 231 0 42526 0
vsize: 171028
[startup+980.015 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38099 0 0 0 97878 139 0 0 25 0 1 0 453434539 175132672 37371 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37371 231 231 0 42526 0
vsize: 171028
[startup+990.015 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38106 0 0 0 98878 139 0 0 25 0 1 0 453434539 175132672 37378 4294967295 134512640 135450300 3221224624 3221223536 134597348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37378 231 231 0 42526 0
vsize: 171028
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38114 0 0 0 99878 139 0 0 25 0 1 0 453434539 175132672 37386 4294967295 134512640 135450300 3221224624 3221223440 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37386 231 231 0 42526 0
vsize: 171028
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38118 0 0 0 100878 139 0 0 25 0 1 0 453434539 175132672 37390 4294967295 134512640 135450300 3221224624 3221223440 134537242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37390 231 231 0 42526 0
vsize: 171028
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38123 0 0 0 101878 140 0 0 25 0 1 0 453434539 175132672 37395 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37395 231 231 0 42526 0
vsize: 171028
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38131 0 0 0 102878 140 0 0 25 0 1 0 453434539 175132672 37403 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37403 231 231 0 42526 0
vsize: 171028
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38134 0 0 0 103877 141 0 0 25 0 1 0 453434539 175132672 37406 4294967295 134512640 135450300 3221224624 3221222928 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42757 37406 231 231 0 42526 0
vsize: 171028
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38240 0 0 0 104876 142 0 0 25 0 1 0 453434539 175497216 37512 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37512 231 231 0 42615 0
vsize: 171384
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38251 0 0 0 105876 142 0 0 25 0 1 0 453434539 175497216 37523 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37523 231 231 0 42615 0
vsize: 171384
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38255 0 0 0 106876 142 0 0 25 0 1 0 453434539 175497216 37527 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37527 231 231 0 42615 0
vsize: 171384
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38259 0 0 0 107876 142 0 0 25 0 1 0 453434539 175497216 37531 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37531 231 231 0 42615 0
vsize: 171384
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38263 0 0 0 108876 143 0 0 25 0 1 0 453434539 175497216 37535 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37535 231 231 0 42615 0
vsize: 171384
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38267 0 0 0 109876 143 0 0 25 0 1 0 453434539 175497216 37539 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37539 231 231 0 42615 0
vsize: 171384
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38271 0 0 0 110876 143 0 0 25 0 1 0 453434539 175497216 37543 4294967295 134512640 135450300 3221224624 3221223344 134536034 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37543 231 231 0 42615 0
vsize: 171384
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38276 0 0 0 111876 143 0 0 25 0 1 0 453434539 175497216 37548 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37548 231 231 0 42615 0
vsize: 171384
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38280 0 0 0 112876 144 0 0 25 0 1 0 453434539 175497216 37552 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37552 231 231 0 42615 0
vsize: 171384
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38284 0 0 0 113875 144 0 0 25 0 1 0 453434539 175497216 37556 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37556 231 231 0 42615 0
vsize: 171384
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38290 0 0 0 114875 144 0 0 25 0 1 0 453434539 175497216 37562 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37562 231 231 0 42615 0
vsize: 171384
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38295 0 0 0 115875 145 0 0 25 0 1 0 453434539 175497216 37567 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37567 231 231 0 42615 0
vsize: 171384
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38299 0 0 0 116875 145 0 0 25 0 1 0 453434539 175497216 37571 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37571 231 231 0 42615 0
vsize: 171384
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38303 0 0 0 117875 145 0 0 25 0 1 0 453434539 175497216 37575 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37575 231 231 0 42615 0
vsize: 171384
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38307 0 0 0 118875 145 0 0 25 0 1 0 453434539 175497216 37579 4294967295 134512640 135450300 3221224624 3221223344 134536040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37579 231 231 0 42615 0
vsize: 171384
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 23124
Raw data (stat): 23124 (PBS4) R 23123 30701 30700 0 -1 0 38311 0 0 0 119875 146 0 0 25 0 1 0 453434539 175497216 37583 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42846 37583 231 231 0 42615 0
vsize: 171384
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.73 1/54 23124
Raw data (stat): 23124 (PBS4) Z 23123 30701 30700 0 -1 1036 38311 0 0 0 119875 152 0 0 25 0 1 0 453434539 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.29
CPU user time (s): 1198.76
CPU system time (s): 1.52977
CPU usage (%): 100.017
Max. virtual memory (Kb): 171384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####