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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.69
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 42913

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 18:07:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26122 boxname=wulflinc5 idbench=1422 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 26122
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        693696 kB
Buffers:         27556 kB
Cached:         290160 kB
SwapCached:        660 kB
Active:          28276 kB
Inactive:       291576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        693444 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15388 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:27:56 (client local time) WITH STATUS 0 IN 1200.84 SECONDS
stats: 26122 7 1200.84 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 9828/205859	Time: 420.027/86400
c Decision: 9828/205859	Time: 496.637/86400
c Decision: 9828/205859	Time: 593.616/86400
c Decision: 9829/205859	Time: 796.721/86400
c Decision: 9829/205859	Time: 897.97/86400
c Decision: 9829/205859	Time: 981.104/86400
c Decision: 9829/205859	Time: 1066.35/86400
c Decision: 9829/205859	Time: 1178.73/86400s UNKNOWN
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.82 0.94 0.90 2/54 18322
Raw data (stat): 18322 (runsolver) R 18321 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972801678 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0018 s]
Raw data (loadavg): 0.85 0.94 0.90 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 26114 0 0 0 944 54 0 0 25 0 1 0 972801678 79749120 14998 4294967295 134512640 135730672 3221224576 3221115984 134546575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19470 14998 301 301 0 19169 0
vsize: 77880
[startup+20.0025 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 28566 0 0 0 1937 61 0 0 25 0 1 0 972801678 87605248 17041 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21388 17041 301 301 0 21087 0
vsize: 85552
[startup+30.0026 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 29471 0 0 0 2936 63 0 0 25 0 1 0 972801678 92221440 17946 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22515 17946 301 301 0 22214 0
vsize: 90060
[startup+40.0027 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 29526 0 0 0 3935 64 0 0 25 0 1 0 972801678 92385280 18001 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22555 18001 301 301 0 22254 0
vsize: 90220
[startup+50.0034 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 29695 0 0 0 4935 64 0 0 25 0 1 0 972801678 92987392 18170 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22702 18170 301 301 0 22401 0
vsize: 90808
[startup+60.0039 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 29799 0 0 0 5934 65 0 0 25 0 1 0 972801678 93454336 18274 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22816 18274 301 301 0 22515 0
vsize: 91264
[startup+70.005 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 29879 0 0 0 6933 66 0 0 25 0 1 0 972801678 93724672 18354 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 18354 301 301 0 22581 0
vsize: 91528
[startup+80.0061 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 29942 0 0 0 7933 67 0 0 25 0 1 0 972801678 93995008 18417 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22948 18417 301 301 0 22647 0
vsize: 91792
[startup+90.0062 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 29995 0 0 0 8932 68 0 0 25 0 1 0 972801678 94130176 18470 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22981 18470 301 301 0 22680 0
vsize: 91924
[startup+100.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30129 0 0 0 9932 68 0 0 25 0 1 0 972801678 94670848 18604 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23113 18604 301 301 0 22812 0
vsize: 92452
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30203 0 0 0 10932 69 0 0 25 0 1 0 972801678 94941184 18678 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23179 18678 301 301 0 22878 0
vsize: 92716
[startup+120.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30233 0 0 0 11931 69 0 0 25 0 1 0 972801678 94941184 18708 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23179 18708 301 301 0 22878 0
vsize: 92716
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30284 0 0 0 12931 70 0 0 25 0 1 0 972801678 95076352 18759 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23212 18759 301 301 0 22911 0
vsize: 92848
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30338 0 0 0 13931 70 0 0 25 0 1 0 972801678 95211520 18813 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18813 301 301 0 22944 0
vsize: 92980
[startup+150.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30366 0 0 0 14930 71 0 0 25 0 1 0 972801678 95211520 18841 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18841 301 301 0 22944 0
vsize: 92980
[startup+160.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30400 0 0 0 15930 72 0 0 25 0 1 0 972801678 95211520 18875 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18875 301 301 0 22944 0
vsize: 92980
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30435 0 0 0 16929 73 0 0 25 0 1 0 972801678 95211520 18910 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18910 301 301 0 22944 0
vsize: 92980
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30538 0 0 0 17928 73 0 0 25 0 1 0 972801678 95617024 19013 4294967295 134512640 135730672 3221224576 3221223200 134748266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23344 19013 301 301 0 23043 0
vsize: 93376
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30625 0 0 0 18928 74 0 0 25 0 1 0 972801678 95887360 19100 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23410 19100 301 301 0 23109 0
vsize: 93640
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30696 0 0 0 19927 75 0 0 25 0 1 0 972801678 96157696 19171 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23476 19171 301 301 0 23175 0
vsize: 93904
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30743 0 0 0 20927 76 0 0 25 0 1 0 972801678 96292864 19218 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23509 19218 301 301 0 23208 0
vsize: 94036
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30819 0 0 0 21926 77 0 0 25 0 1 0 972801678 96563200 19294 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23575 19294 301 301 0 23274 0
vsize: 94300
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30867 0 0 0 22926 77 0 0 25 0 1 0 972801678 96698368 19342 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19342 301 301 0 23307 0
vsize: 94432
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30903 0 0 0 23925 78 0 0 25 0 1 0 972801678 96698368 19378 4294967295 134512640 135730672 3221224576 3221222956 135291064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19378 301 301 0 23307 0
vsize: 94432
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30935 0 0 0 24925 79 0 0 25 0 1 0 972801678 96698368 19410 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19410 301 301 0 23307 0
vsize: 94432
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 30996 0 0 0 25924 80 0 0 25 0 1 0 972801678 96833536 19471 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23641 19471 301 301 0 23340 0
vsize: 94564
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31046 0 0 0 26924 80 0 0 25 0 1 0 972801678 96968704 19521 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23674 19521 301 301 0 23373 0
vsize: 94696
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31117 0 0 0 27923 81 0 0 25 0 1 0 972801678 97234944 19592 4294967295 134512640 135730672 3221224576 3221223048 134730405 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19592 301 301 0 23438 0
vsize: 94956
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31149 0 0 0 28923 82 0 0 25 0 1 0 972801678 97234944 19624 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19624 301 301 0 23438 0
vsize: 94956
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31219 0 0 0 29922 83 0 0 25 0 1 0 972801678 97234944 19694 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19694 301 301 0 23438 0
vsize: 94956
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31271 0 0 0 30921 84 0 0 25 0 1 0 972801678 97234944 19746 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19746 301 301 0 23438 0
vsize: 94956
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31341 0 0 0 31920 85 0 0 25 0 1 0 972801678 97234944 19816 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19816 301 301 0 23438 0
vsize: 94956
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31382 0 0 0 32920 85 0 0 25 0 1 0 972801678 97234944 19857 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19857 301 301 0 23438 0
vsize: 94956
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31424 0 0 0 33919 87 0 0 25 0 1 0 972801678 97234944 19899 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19899 301 301 0 23438 0
vsize: 94956
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31468 0 0 0 34918 87 0 0 25 0 1 0 972801678 97234944 19943 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19943 301 301 0 23438 0
vsize: 94956
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31534 0 0 0 35918 88 0 0 25 0 1 0 972801678 97234944 20009 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20009 301 301 0 23438 0
vsize: 94956
[startup+370.016 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31574 0 0 0 36918 88 0 0 25 0 1 0 972801678 97234944 20049 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20049 301 301 0 23438 0
vsize: 94956
[startup+380.016 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31612 0 0 0 37917 89 0 0 25 0 1 0 972801678 97234944 20087 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20087 301 301 0 23438 0
vsize: 94956
[startup+390.017 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31651 0 0 0 38917 89 0 0 25 0 1 0 972801678 97234944 20126 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20126 301 301 0 23438 0
vsize: 94956
[startup+400.017 s]
Raw data (loadavg): 1.24 1.03 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31691 0 0 0 39916 91 0 0 25 0 1 0 972801678 97234944 20166 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20166 301 301 0 23438 0
vsize: 94956
[startup+410.017 s]
Raw data (loadavg): 1.20 1.03 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31731 0 0 0 40914 92 0 0 25 0 1 0 972801678 97234944 20206 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20206 301 301 0 23438 0
vsize: 94956
[startup+420.018 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 31817 0 0 0 41914 93 0 0 25 0 1 0 972801678 114012160 20292 4294967295 134512640 135730672 3221224576 3221222736 134783984 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27835 20292 301 301 0 27534 0
vsize: 111340
[startup+430.018 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 32287 0 0 0 42912 95 0 0 25 0 1 0 972801678 114012160 20359 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27835 20359 301 301 0 27534 0
vsize: 111340
[startup+440.019 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 32898 0 0 0 43910 96 0 0 25 0 1 0 972801678 115728384 20675 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28254 20675 301 301 0 27953 0
vsize: 113016
[startup+450.019 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 34432 0 0 0 44906 100 0 0 25 0 1 0 972801678 122408960 21912 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29885 21912 301 301 0 29584 0
vsize: 119540
[startup+460.02 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 35482 0 0 0 45903 103 0 0 25 0 1 0 972801678 126488576 22666 4294967295 134512640 135730672 3221224576 3221223152 134764100 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30881 22666 301 301 0 30580 0
vsize: 123524
[startup+470.021 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 36349 0 0 0 46901 105 0 0 25 0 1 0 972801678 130244608 23303 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31798 23303 301 301 0 31497 0
vsize: 127192
[startup+480.02 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 36943 0 0 0 47900 107 0 0 25 0 1 0 972801678 132247552 23699 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32287 23699 301 301 0 31986 0
vsize: 129148
[startup+490.02 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 37337 0 0 0 48899 108 0 0 25 0 1 0 972801678 133853184 23961 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32679 23961 301 301 0 32378 0
vsize: 130716
[startup+500.021 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 37821 0 0 0 49897 110 0 0 25 0 1 0 972801678 135450624 24247 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33069 24247 301 301 0 32768 0
vsize: 132276
[startup+510.021 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 38577 0 0 0 50896 111 0 0 25 0 1 0 972801678 137203712 24567 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33497 24567 301 301 0 33196 0
vsize: 133988
[startup+520.021 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 39076 0 0 0 51894 113 0 0 25 0 1 0 972801678 138792960 24868 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33885 24868 301 301 0 33584 0
vsize: 135540
[startup+530.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 39944 0 0 0 52892 115 0 0 25 0 1 0 972801678 142295040 25505 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34740 25505 301 301 0 34439 0
vsize: 138960
[startup+540.021 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 40387 0 0 0 53891 117 0 0 25 0 1 0 972801678 143962112 25816 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35147 25816 301 301 0 34846 0
vsize: 140588
[startup+550.021 s]
Raw data (loadavg): 1.17 1.05 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 40465 0 0 0 54890 118 0 0 25 0 1 0 972801678 144228352 25861 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35212 25861 301 301 0 34911 0
vsize: 140848
[startup+560.021 s]
Raw data (loadavg): 1.14 1.05 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 41227 0 0 0 55888 120 0 0 25 0 1 0 972801678 146616320 26261 4294967295 134512640 135730672 3221224576 3221223072 134747932 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35795 26261 301 301 0 35494 0
vsize: 143180
[startup+570.021 s]
Raw data (loadavg): 1.12 1.05 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 41725 0 0 0 56887 121 0 0 25 0 1 0 972801678 148279296 26594 4294967295 134512640 135730672 3221224576 3221223264 134748446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36201 26594 301 301 0 35900 0
vsize: 144804
[startup+580.021 s]
Raw data (loadavg): 1.10 1.04 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 42185 0 0 0 57886 122 0 0 25 0 1 0 972801678 149950464 26955 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36609 26955 301 301 0 36308 0
vsize: 146436
[startup+590.021 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 42620 0 0 0 58885 124 0 0 25 0 1 0 972801678 151138304 27225 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36899 27225 301 301 0 36598 0
vsize: 147596
[startup+600.021 s]
Raw data (loadavg): 1.07 1.04 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 43223 0 0 0 59883 125 0 0 25 0 1 0 972801678 153600000 27705 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37500 27705 301 301 0 37199 0
vsize: 150000
[startup+610.02 s]
Raw data (loadavg): 1.06 1.04 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 43769 0 0 0 60881 127 0 0 25 0 1 0 972801678 154132480 27815 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37630 27815 301 301 0 37329 0
vsize: 150520
[startup+620.02 s]
Raw data (loadavg): 1.05 1.04 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 43957 0 0 0 61881 127 0 0 25 0 1 0 972801678 154791936 27904 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37791 27904 301 301 0 37490 0
vsize: 151164
[startup+630.02 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 44069 0 0 0 62881 128 0 0 25 0 1 0 972801678 155054080 27950 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37855 27950 301 301 0 37554 0
vsize: 151420
[startup+640.02 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 44145 0 0 0 63880 128 0 0 25 0 1 0 972801678 155320320 27993 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37920 27993 301 301 0 37619 0
vsize: 151680
[startup+650.02 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 44311 0 0 0 64880 129 0 0 25 0 1 0 972801678 155983872 28061 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38082 28061 301 301 0 37781 0
vsize: 152328
[startup+660.02 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 44399 0 0 0 65879 130 0 0 25 0 1 0 972801678 156381184 28116 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38179 28116 301 301 0 37878 0
vsize: 152716
[startup+670.021 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 44551 0 0 0 66879 131 0 0 25 0 1 0 972801678 157052928 28235 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38343 28235 301 301 0 38042 0
vsize: 153372
[startup+680.021 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 44682 0 0 0 67878 131 0 0 25 0 1 0 972801678 157790208 28366 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38523 28366 301 301 0 38222 0
vsize: 154092
[startup+690.021 s]
Raw data (loadavg): 1.01 1.03 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 45030 0 0 0 68878 132 0 0 25 0 1 0 972801678 159174656 28566 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38861 28566 301 301 0 38560 0
vsize: 155444
[startup+700.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 45165 0 0 0 69877 133 0 0 25 0 1 0 972801678 159576064 28668 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38959 28668 301 301 0 38658 0
vsize: 155836
[startup+710.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 45222 0 0 0 70877 133 0 0 25 0 1 0 972801678 159707136 28692 4294967295 134512640 135730672 3221224576 3221223072 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38991 28692 301 301 0 38690 0
vsize: 155964
[startup+720.022 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 45619 0 0 0 71876 135 0 0 25 0 1 0 972801678 160825344 28892 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39264 28892 301 301 0 38963 0
vsize: 157056
[startup+730.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 45848 0 0 0 72874 137 0 0 25 0 1 0 972801678 161755136 29088 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39491 29088 301 301 0 39190 0
vsize: 157964
[startup+740.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 45978 0 0 0 73873 137 0 0 25 0 1 0 972801678 162553856 29218 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39686 29218 301 301 0 39385 0
vsize: 158744
[startup+750.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 45988 0 0 0 74873 138 0 0 25 0 1 0 972801678 162418688 29195 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39653 29195 301 301 0 39352 0
vsize: 158612
[startup+760.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 46038 0 0 0 75872 139 0 0 25 0 1 0 972801678 162549760 29212 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39685 29212 301 301 0 39384 0
vsize: 158740
[startup+770.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 46255 0 0 0 76871 140 0 0 25 0 1 0 972801678 163348480 29363 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39880 29363 301 301 0 39579 0
vsize: 159520
[startup+780.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 46772 0 0 0 77870 141 0 0 25 0 1 0 972801678 165072896 29650 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40301 29650 301 301 0 40000 0
vsize: 161204
[startup+790.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47099 0 0 0 78869 143 0 0 25 0 1 0 972801678 166273024 29845 4294967295 134512640 135730672 3221224576 3221223192 134748218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40594 29845 301 301 0 40293 0
vsize: 162376
[startup+800.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47281 0 0 0 79868 143 0 0 25 0 1 0 972801678 167071744 29994 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40789 29994 301 301 0 40488 0
vsize: 163156
[startup+810.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47797 0 0 0 80866 145 0 0 25 0 1 0 972801678 167469056 30074 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40886 30074 301 301 0 40585 0
vsize: 163544
[startup+820.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47882 0 0 0 81865 146 0 0 25 0 1 0 972801678 167866368 30126 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40983 30126 301 301 0 40682 0
vsize: 163932
[startup+830.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47925 0 0 0 82865 146 0 0 25 0 1 0 972801678 167997440 30136 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30136 301 301 0 40714 0
vsize: 164060
[startup+840.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47933 0 0 0 83864 147 0 0 25 0 1 0 972801678 167997440 30144 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30144 301 301 0 40714 0
vsize: 164060
[startup+850.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47949 0 0 0 84864 147 0 0 25 0 1 0 972801678 167997440 30160 4294967295 134512640 135730672 3221224576 3221223264 134748486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30160 301 301 0 40714 0
vsize: 164060
[startup+860.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 47997 0 0 0 85864 148 0 0 25 0 1 0 972801678 168263680 30208 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41080 30208 301 301 0 40779 0
vsize: 164320
[startup+870.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 48068 0 0 0 86863 149 0 0 25 0 1 0 972801678 168394752 30246 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41112 30246 301 301 0 40811 0
vsize: 164448
[startup+880.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 48277 0 0 0 87863 149 0 0 25 0 1 0 972801678 168919040 30324 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41240 30324 301 301 0 40939 0
vsize: 164960
[startup+890.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 48471 0 0 0 88863 150 0 0 25 0 1 0 972801678 169578496 30419 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41401 30419 301 301 0 41100 0
vsize: 165604
[startup+900.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 48533 0 0 0 89863 150 0 0 25 0 1 0 972801678 169844736 30481 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41466 30481 301 301 0 41165 0
vsize: 165864
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49225 0 0 0 90861 152 0 0 25 0 1 0 972801678 170766336 30607 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41691 30607 301 301 0 41390 0
vsize: 166764
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49260 0 0 0 91861 152 0 0 25 0 1 0 972801678 170766336 30642 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41691 30642 301 301 0 41390 0
vsize: 166764
[startup+930.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49391 0 0 0 92860 153 0 0 25 0 1 0 972801678 171163648 30707 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41788 30707 301 301 0 41487 0
vsize: 167152
[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49614 0 0 0 93860 154 0 0 25 0 1 0 972801678 172097536 30864 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30864 301 301 0 41715 0
vsize: 168064
[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49629 0 0 0 94859 154 0 0 25 0 1 0 972801678 172097536 30879 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30879 301 301 0 41715 0
vsize: 168064
[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49647 0 0 0 95859 154 0 0 25 0 1 0 972801678 172097536 30897 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30897 301 301 0 41715 0
vsize: 168064
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49748 0 0 0 96859 155 0 0 25 0 1 0 972801678 172494848 30965 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42113 30965 301 301 0 41812 0
vsize: 168452
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49825 0 0 0 97859 155 0 0 25 0 1 0 972801678 172625920 31009 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31009 301 301 0 41844 0
vsize: 168580
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 49833 0 0 0 98858 156 0 0 25 0 1 0 972801678 172625920 31017 4294967295 134512640 135730672 3221224576 3221222992 134741561 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31017 301 301 0 41844 0
vsize: 168580
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50246 0 0 0 99857 157 0 0 25 0 1 0 972801678 172625920 31027 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31027 301 301 0 41844 0
vsize: 168580
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50313 0 0 0 100856 159 0 0 25 0 1 0 972801678 172756992 31061 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42177 31061 301 301 0 41876 0
vsize: 168708
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50331 0 0 0 101855 159 0 0 25 0 1 0 972801678 172756992 31079 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42177 31079 301 301 0 41876 0
vsize: 168708
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50434 0 0 0 102855 160 0 0 25 0 1 0 972801678 172888064 31149 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42209 31149 301 301 0 41908 0
vsize: 168836
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50591 0 0 0 103855 161 0 0 25 0 1 0 972801678 173281280 31208 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31208 301 301 0 42004 0
vsize: 169220
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50598 0 0 0 104855 161 0 0 25 0 1 0 972801678 173281280 31215 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31215 301 301 0 42004 0
vsize: 169220
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50598 0 0 0 105855 161 0 0 25 0 1 0 972801678 173281280 31215 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31215 301 301 0 42004 0
vsize: 169220
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 50639 0 0 0 106854 162 0 0 25 0 1 0 972801678 173412352 31223 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42337 31223 301 301 0 42036 0
vsize: 169348
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51149 0 0 0 107852 164 0 0 25 0 1 0 972801678 174010368 31297 4294967295 134512640 135730672 3221224576 3221223228 134748262 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31297 301 301 0 42182 0
vsize: 169932
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51150 0 0 0 108852 164 0 0 25 0 1 0 972801678 174010368 31298 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31298 301 301 0 42182 0
vsize: 169932
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51155 0 0 0 109852 164 0 0 25 0 1 0 972801678 174010368 31303 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31303 301 301 0 42182 0
vsize: 169932
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51244 0 0 0 110851 165 0 0 25 0 1 0 972801678 174276608 31359 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42548 31359 301 301 0 42247 0
vsize: 170192
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51281 0 0 0 111851 166 0 0 25 0 1 0 972801678 174276608 31396 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42548 31396 301 301 0 42247 0
vsize: 170192
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51359 0 0 0 112851 166 0 0 25 0 1 0 972801678 174407680 31441 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 31441 301 301 0 42279 0
vsize: 170320
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51436 0 0 0 113850 167 0 0 25 0 1 0 972801678 174669824 31452 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42644 31452 301 301 0 42343 0
vsize: 170576
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51470 0 0 0 114850 167 0 0 25 0 1 0 972801678 174804992 31486 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42677 31486 301 301 0 42376 0
vsize: 170708
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51538 0 0 0 115850 168 0 0 25 0 1 0 972801678 175075328 31554 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42743 31554 301 301 0 42442 0
vsize: 170972
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51653 0 0 0 116849 168 0 0 25 0 1 0 972801678 175337472 31603 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42807 31603 301 301 0 42506 0
vsize: 171228
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 51826 0 0 0 117848 169 0 0 25 0 1 0 972801678 176197632 31743 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43017 31743 301 301 0 42716 0
vsize: 172068
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 52463 0 0 0 118847 171 0 0 25 0 1 0 972801678 176721920 31846 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 31846 301 301 0 42844 0
vsize: 172580
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18322
Raw data (stat): 18322 (pb2sat-v2) R 18321 7266 7265 0 -1 0 52465 0 0 0 119845 173 0 0 25 0 1 0 972801678 176721920 31848 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 31848 301 301 0 42844 0
vsize: 172580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.69 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 18322
Raw data (stat): 18322 (pb2sat-v2) Z 18321 7266 7265 0 -1 12 52467 0 0 0 119904 179 0 0 25 0 1 0 972801678 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0
Real time (s): 1200.69
CPU time (s): 1200.84
CPU user time (s): 1199.05
CPU system time (s): 1.79573
CPU usage (%): 100.012
Max. virtual memory (Kb): 172580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####