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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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	4742
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.33
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 42529

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 09:42:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25738 boxname=wulflinc2 idbench=1038 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 25738
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        904368 kB
Buffers:          7236 kB
Cached:         100948 kB
SwapCached:       1432 kB
Active:          26452 kB
Inactive:        83828 kB
HighTotal:      131008 kB
HighFree:        51436 kB
LowTotal:       903652 kB
LowFree:        852932 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14408 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:02:39 (client local time) WITH STATUS 0 IN 1200.88 SECONDS
stats: 25738 7 1200.88 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: 424.06/86400
c Decision: 9828/205859	Time: 501.834/86400
c Decision: 9828/205859	Time: 600.478/86400
c Decision: 9829/205859	Time: 807.332/86400
c Decision: 9829/205859	Time: 910.466/86400
c Decision: 9829/205859	Time: 995.086/86400
c Decision: 9829/205859	Time: 1081.92/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
Raw data (loadavg): 0.91 0.94 0.90 2/54 8749
Raw data (stat): 8749 (runsolver) R 8748 31399 31398 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 969773505 884736 93 4294967295 134512640 135332820 3221224464 3221219808 134957970 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 25824 0 0 0 939 60 0 0 25 0 1 0 969773505 79749120 14713 4294967295 134512640 135730672 3221224576 3221021792 134546572 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19470 14713 301 301 0 19169 0
vsize: 77880
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 28543 0 0 0 1934 65 0 0 25 0 1 0 969773505 87605248 17018 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21388 17018 301 301 0 21087 0
vsize: 85552
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 29471 0 0 0 2931 68 0 0 25 0 1 0 969773505 92221440 17946 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22515 17946 301 301 0 22214 0
vsize: 90060
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 29526 0 0 0 3930 70 0 0 25 0 1 0 969773505 92385280 18001 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22555 18001 301 301 0 22254 0
vsize: 90220
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 29694 0 0 0 4929 71 0 0 25 0 1 0 969773505 92987392 18169 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22702 18169 301 301 0 22401 0
vsize: 90808
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 29799 0 0 0 5927 72 0 0 25 0 1 0 969773505 93454336 18274 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22816 18274 301 301 0 22515 0
vsize: 91264
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 29879 0 0 0 6926 74 0 0 25 0 1 0 969773505 93724672 18354 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22882 18354 301 301 0 22581 0
vsize: 91528
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 29941 0 0 0 7925 74 0 0 25 0 1 0 969773505 93995008 18416 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22948 18416 301 301 0 22647 0
vsize: 91792
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 29993 0 0 0 8924 75 0 0 25 0 1 0 969773505 94130176 18468 4294967295 134512640 135730672 3221224576 3221223088 135282221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22981 18468 301 301 0 22680 0
vsize: 91924
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30127 0 0 0 9923 77 0 0 25 0 1 0 969773505 94670848 18602 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23113 18602 301 301 0 22812 0
vsize: 92452
[startup+110.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30202 0 0 0 10923 77 0 0 25 0 1 0 969773505 94941184 18677 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23179 18677 301 301 0 22878 0
vsize: 92716
[startup+120.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30231 0 0 0 11922 78 0 0 25 0 1 0 969773505 94941184 18706 4294967295 134512640 135730672 3221224576 3221223072 134747916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23179 18706 301 301 0 22878 0
vsize: 92716
[startup+130.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30281 0 0 0 12922 79 0 0 25 0 1 0 969773505 95076352 18756 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23212 18756 301 301 0 22911 0
vsize: 92848
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30334 0 0 0 13921 79 0 0 25 0 1 0 969773505 95211520 18809 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18809 301 301 0 22944 0
vsize: 92980
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30363 0 0 0 14921 79 0 0 25 0 1 0 969773505 95211520 18838 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18838 301 301 0 22944 0
vsize: 92980
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30396 0 0 0 15921 81 0 0 25 0 1 0 969773505 95211520 18871 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18871 301 301 0 22944 0
vsize: 92980
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30432 0 0 0 16920 81 0 0 25 0 1 0 969773505 95211520 18907 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23245 18907 301 301 0 22944 0
vsize: 92980
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30534 0 0 0 17919 82 0 0 25 0 1 0 969773505 95617024 19009 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23344 19009 301 301 0 23043 0
vsize: 93376
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30619 0 0 0 18919 83 0 0 25 0 1 0 969773505 95887360 19094 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23410 19094 301 301 0 23109 0
vsize: 93640
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30672 0 0 0 19919 83 0 0 25 0 1 0 969773505 96022528 19147 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23443 19147 301 301 0 23142 0
vsize: 93772
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30740 0 0 0 20918 84 0 0 25 0 1 0 969773505 96292864 19215 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23509 19215 301 301 0 23208 0
vsize: 94036
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30792 0 0 0 21918 85 0 0 25 0 1 0 969773505 96428032 19267 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23542 19267 301 301 0 23241 0
vsize: 94168
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30840 0 0 0 22917 86 0 0 25 0 1 0 969773505 96563200 19315 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23575 19315 301 301 0 23274 0
vsize: 94300
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30893 0 0 0 23917 86 0 0 25 0 1 0 969773505 96698368 19368 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19368 301 301 0 23307 0
vsize: 94432
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30929 0 0 0 24916 87 0 0 25 0 1 0 969773505 96698368 19404 4294967295 134512640 135730672 3221224576 3221223140 134740160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19404 301 301 0 23307 0
vsize: 94432
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 30989 0 0 0 25916 87 0 0 25 0 1 0 969773505 96833536 19464 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23641 19464 301 301 0 23340 0
vsize: 94564
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31038 0 0 0 26916 88 0 0 25 0 1 0 969773505 96968704 19513 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23674 19513 301 301 0 23373 0
vsize: 94696
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31110 0 0 0 27915 89 0 0 25 0 1 0 969773505 97234944 19585 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19585 301 301 0 23438 0
vsize: 94956
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31139 0 0 0 28914 89 0 0 25 0 1 0 969773505 97234944 19614 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19614 301 301 0 23438 0
vsize: 94956
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31186 0 0 0 29914 90 0 0 25 0 1 0 969773505 97234944 19661 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19661 301 301 0 23438 0
vsize: 94956
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31257 0 0 0 30914 90 0 0 25 0 1 0 969773505 97234944 19732 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19732 301 301 0 23438 0
vsize: 94956
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31330 0 0 0 31913 91 0 0 25 0 1 0 969773505 97234944 19805 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19805 301 301 0 23438 0
vsize: 94956
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31369 0 0 0 32913 91 0 0 25 0 1 0 969773505 97234944 19844 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19844 301 301 0 23438 0
vsize: 94956
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31414 0 0 0 33912 92 0 0 25 0 1 0 969773505 97234944 19889 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19889 301 301 0 23438 0
vsize: 94956
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31454 0 0 0 34912 93 0 0 25 0 1 0 969773505 97234944 19929 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19929 301 301 0 23438 0
vsize: 94956
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31504 0 0 0 35911 94 0 0 25 0 1 0 969773505 97234944 19979 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 19979 301 301 0 23438 0
vsize: 94956
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31563 0 0 0 36911 94 0 0 25 0 1 0 969773505 97234944 20038 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20038 301 301 0 23438 0
vsize: 94956
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31596 0 0 0 37910 95 0 0 25 0 1 0 969773505 97234944 20071 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20071 301 301 0 23438 0
vsize: 94956
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31636 0 0 0 38910 96 0 0 25 0 1 0 969773505 97234944 20111 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20111 301 301 0 23438 0
vsize: 94956
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31679 0 0 0 39909 96 0 0 25 0 1 0 969773505 97234944 20154 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20154 301 301 0 23438 0
vsize: 94956
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31719 0 0 0 40909 97 0 0 25 0 1 0 969773505 97234944 20194 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20194 301 301 0 23438 0
vsize: 94956
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31759 0 0 0 41908 98 0 0 25 0 1 0 969773505 97234944 20234 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23739 20234 301 301 0 23438 0
vsize: 94956
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 31861 0 0 0 42907 99 0 0 25 0 1 0 969773505 114012160 20336 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27835 20336 301 301 0 27534 0
vsize: 111340
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 32587 0 0 0 43904 102 0 0 25 0 1 0 969773505 114806784 20527 4294967295 134512640 135730672 3221224576 3221223072 134747945 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28029 20527 301 301 0 27728 0
vsize: 112116
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 33813 0 0 0 44901 104 0 0 25 0 1 0 969773505 119418880 21392 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29155 21392 301 301 0 28854 0
vsize: 116620
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 34940 0 0 0 45897 107 0 0 25 0 1 0 969773505 124346368 22288 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30358 22288 301 301 0 30057 0
vsize: 121432
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 35892 0 0 0 46896 109 0 0 25 0 1 0 969773505 128229376 22945 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31306 22945 301 301 0 31005 0
vsize: 125224
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 36690 0 0 0 47893 112 0 0 25 0 1 0 969773505 131444736 23512 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32091 23512 301 301 0 31790 0
vsize: 128364
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 37118 0 0 0 48893 113 0 0 25 0 1 0 969773505 132780032 23808 4294967295 134512640 135730672 3221224576 3221223072 134747893 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32417 23808 301 301 0 32116 0
vsize: 129668
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 37439 0 0 0 49892 114 0 0 25 0 1 0 969773505 134115328 23997 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32743 23997 301 301 0 32442 0
vsize: 130972
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 37995 0 0 0 50889 116 0 0 25 0 1 0 969773505 136396800 24421 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33300 24421 301 301 0 32999 0
vsize: 133200
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 38826 0 0 0 51888 118 0 0 25 0 1 0 969773505 137863168 24717 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33658 24717 301 301 0 33357 0
vsize: 134632
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 39257 0 0 0 52887 119 0 0 25 0 1 0 969773505 139464704 25016 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34049 25016 301 301 0 33748 0
vsize: 136196
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 40253 0 0 0 53885 122 0 0 25 0 1 0 969773505 143425536 25715 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35016 25715 301 301 0 34715 0
vsize: 140064
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 40454 0 0 0 54884 122 0 0 25 0 1 0 969773505 144228352 25850 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35212 25850 301 301 0 34911 0
vsize: 140848
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 40715 0 0 0 55884 123 0 0 25 0 1 0 969773505 145022976 25979 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35406 25979 301 301 0 35105 0
vsize: 141624
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 41447 0 0 0 56882 125 0 0 25 0 1 0 969773505 147144704 26382 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35924 26382 301 301 0 35623 0
vsize: 143696
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 41931 0 0 0 57881 127 0 0 25 0 1 0 969773505 149012480 26767 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36380 26767 301 301 0 36079 0
vsize: 145520
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 42187 0 0 0 58881 127 0 0 25 0 1 0 969773505 149950464 26957 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36609 26957 301 301 0 36308 0
vsize: 146436
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 42866 0 0 0 59879 129 0 0 25 0 1 0 969773505 152068096 27372 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37126 27372 301 301 0 36825 0
vsize: 148504
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 43260 0 0 0 60878 130 0 0 25 0 1 0 969773505 153735168 27742 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37533 27742 301 301 0 37232 0
vsize: 150132
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 43819 0 0 0 61876 132 0 0 25 0 1 0 969773505 154263552 27832 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37662 27832 301 301 0 37361 0
vsize: 150648
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 43966 0 0 0 62875 133 0 0 25 0 1 0 969773505 154791936 27913 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37791 27913 301 301 0 37490 0
vsize: 151164
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 44100 0 0 0 63875 133 0 0 25 0 1 0 969773505 155189248 27981 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37888 27981 301 301 0 37587 0
vsize: 151552
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 44232 0 0 0 64875 134 0 0 25 0 1 0 969773505 155582464 28015 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37984 28015 301 301 0 37683 0
vsize: 151936
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 44311 0 0 0 65874 134 0 0 25 0 1 0 969773505 155983872 28061 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38082 28061 301 301 0 37781 0
vsize: 152328
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 44458 0 0 0 66874 135 0 0 25 0 1 0 969773505 156512256 28142 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38211 28142 301 301 0 37910 0
vsize: 152844
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 44629 0 0 0 67874 135 0 0 25 0 1 0 969773505 157593600 28313 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38475 28313 301 301 0 38174 0
vsize: 153900
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 44682 0 0 0 68873 136 0 0 25 0 1 0 969773505 157790208 28366 4294967295 134512640 135730672 3221224576 3221223072 134747501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38523 28366 301 301 0 38222 0
vsize: 154092
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 45045 0 0 0 69872 137 0 0 25 0 1 0 969773505 159174656 28581 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38861 28581 301 301 0 38560 0
vsize: 155444
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 45165 0 0 0 70871 138 0 0 25 0 1 0 969773505 159576064 28668 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38959 28668 301 301 0 38658 0
vsize: 155836
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 45222 0 0 0 71871 139 0 0 25 0 1 0 969773505 159707136 28692 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38991 28692 301 301 0 38690 0
vsize: 155964
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 45619 0 0 0 72870 140 0 0 25 0 1 0 969773505 160825344 28892 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39264 28892 301 301 0 38963 0
vsize: 157056
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 45848 0 0 0 73869 142 0 0 25 0 1 0 969773505 161755136 29088 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39491 29088 301 301 0 39190 0
vsize: 157964
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 45978 0 0 0 74868 142 0 0 25 0 1 0 969773505 162553856 29218 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39686 29218 301 301 0 39385 0
vsize: 158744
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 46028 0 0 0 75868 142 0 0 25 0 1 0 969773505 162549760 29202 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39685 29202 301 301 0 39384 0
vsize: 158740
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 46038 0 0 0 76868 142 0 0 25 0 1 0 969773505 162549760 29212 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39685 29212 301 301 0 39384 0
vsize: 158740
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 46255 0 0 0 77867 144 0 0 25 0 1 0 969773505 163348480 29363 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39880 29363 301 301 0 39579 0
vsize: 159520
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 46772 0 0 0 78866 145 0 0 25 0 1 0 969773505 165072896 29650 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40301 29650 301 301 0 40000 0
vsize: 161204
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47099 0 0 0 79865 146 0 0 25 0 1 0 969773505 166273024 29845 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40594 29845 301 301 0 40293 0
vsize: 162376
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47267 0 0 0 80865 147 0 0 25 0 1 0 969773505 167071744 29980 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40789 29980 301 301 0 40488 0
vsize: 163156
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47796 0 0 0 81863 149 0 0 25 0 1 0 969773505 167469056 30073 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40886 30073 301 301 0 40585 0
vsize: 163544
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47881 0 0 0 82862 149 0 0 25 0 1 0 969773505 167866368 30125 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40983 30125 301 301 0 40682 0
vsize: 163932
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47923 0 0 0 83862 149 0 0 25 0 1 0 969773505 167997440 30134 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30134 301 301 0 40714 0
vsize: 164060
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47932 0 0 0 84862 150 0 0 25 0 1 0 969773505 167997440 30143 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30143 301 301 0 40714 0
vsize: 164060
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47949 0 0 0 85862 150 0 0 25 0 1 0 969773505 167997440 30160 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41015 30160 301 301 0 40714 0
vsize: 164060
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 47994 0 0 0 86862 150 0 0 25 0 1 0 969773505 168263680 30205 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41080 30205 301 301 0 40779 0
vsize: 164320
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 48015 0 0 0 87862 151 0 0 25 0 1 0 969773505 168263680 30226 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41080 30226 301 301 0 40779 0
vsize: 164320
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 48276 0 0 0 88861 152 0 0 25 0 1 0 969773505 168919040 30323 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41240 30323 301 301 0 40939 0
vsize: 164960
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 48378 0 0 0 89860 152 0 0 25 0 1 0 969773505 169181184 30359 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41304 30359 301 301 0 41003 0
vsize: 165216
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 48532 0 0 0 90859 153 0 0 25 0 1 0 969773505 169844736 30480 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41466 30480 301 301 0 41165 0
vsize: 165864
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 48817 0 0 0 91859 154 0 0 25 0 1 0 969773505 170766336 30602 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41691 30602 301 301 0 41390 0
vsize: 166764
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49250 0 0 0 92857 156 0 0 25 0 1 0 969773505 170766336 30632 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41691 30632 301 301 0 41390 0
vsize: 166764
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49382 0 0 0 93857 157 0 0 25 0 1 0 969773505 171163648 30698 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41788 30698 301 301 0 41487 0
vsize: 167152
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49412 0 0 0 94857 157 0 0 25 0 1 0 969773505 171163648 30728 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41788 30728 301 301 0 41487 0
vsize: 167152
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49627 0 0 0 95856 158 0 0 25 0 1 0 969773505 172097536 30877 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30877 301 301 0 41715 0
vsize: 168064
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49646 0 0 0 96856 159 0 0 25 0 1 0 969773505 172097536 30896 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42016 30896 301 301 0 41715 0
vsize: 168064
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49745 0 0 0 97855 159 0 0 25 0 1 0 969773505 172494848 30962 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42113 30962 301 301 0 41812 0
vsize: 168452
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49760 0 0 0 98855 160 0 0 25 0 1 0 969773505 172494848 30977 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42113 30977 301 301 0 41812 0
vsize: 168452
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 49829 0 0 0 99854 160 0 0 25 0 1 0 969773505 172625920 31013 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31013 301 301 0 41844 0
vsize: 168580
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50246 0 0 0 100853 162 0 0 25 0 1 0 969773505 172625920 31027 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31027 301 301 0 41844 0
vsize: 168580
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50258 0 0 0 101853 162 0 0 25 0 1 0 969773505 172625920 31039 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42145 31039 301 301 0 41844 0
vsize: 168580
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50331 0 0 0 102853 162 0 0 25 0 1 0 969773505 172756992 31079 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42177 31079 301 301 0 41876 0
vsize: 168708
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8749
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50363 0 0 0 103853 162 0 0 25 0 1 0 969773505 172756992 31111 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42177 31111 301 301 0 41876 0
vsize: 168708
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 8787
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50591 0 0 0 104852 163 0 0 25 0 1 0 969773505 173281280 31208 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31208 301 301 0 42004 0
vsize: 169220
[startup+1060.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 8802
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50597 0 0 0 105852 164 0 0 25 0 1 0 969773505 173281280 31214 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31214 301 301 0 42004 0
vsize: 169220
[startup+1070.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8802
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50598 0 0 0 106852 164 0 0 25 0 1 0 969773505 173281280 31215 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42305 31215 301 301 0 42004 0
vsize: 169220
[startup+1080.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8802
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50636 0 0 0 107852 164 0 0 25 0 1 0 969773505 173412352 31220 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42337 31220 301 301 0 42036 0
vsize: 169348
[startup+1090.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8802
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 50688 0 0 0 108852 164 0 0 25 0 1 0 969773505 173879296 31272 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42451 31272 301 301 0 42150 0
vsize: 169804
[startup+1100.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8802
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51149 0 0 0 109850 166 0 0 25 0 1 0 969773505 174010368 31297 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31297 301 301 0 42182 0
vsize: 169932
[startup+1110.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8802
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51150 0 0 0 110850 167 0 0 25 0 1 0 969773505 174010368 31298 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42483 31298 301 301 0 42182 0
vsize: 169932
[startup+1120.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51203 0 0 0 111850 167 0 0 25 0 1 0 969773505 174141440 31318 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42515 31318 301 301 0 42214 0
vsize: 170060
[startup+1130.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51275 0 0 0 112849 168 0 0 25 0 1 0 969773505 174276608 31390 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42548 31390 301 301 0 42247 0
vsize: 170192
[startup+1140.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51294 0 0 0 113849 168 0 0 25 0 1 0 969773505 174276608 31409 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42548 31409 301 301 0 42247 0
vsize: 170192
[startup+1150.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51402 0 0 0 114848 169 0 0 25 0 1 0 969773505 174538752 31451 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42612 31451 301 301 0 42311 0
vsize: 170448
[startup+1160.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51447 0 0 0 115848 170 0 0 25 0 1 0 969773505 174669824 31463 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42644 31463 301 301 0 42343 0
vsize: 170576
[startup+1170.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51491 0 0 0 116848 170 0 0 25 0 1 0 969773505 174804992 31507 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42677 31507 301 301 0 42376 0
vsize: 170708
[startup+1180.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51596 0 0 0 117847 171 0 0 25 0 1 0 969773505 175206400 31579 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42775 31579 301 301 0 42474 0
vsize: 171100
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51653 0 0 0 118846 172 0 0 25 0 1 0 969773505 175337472 31603 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42807 31603 301 301 0 42506 0
vsize: 171228
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8804
Raw data (stat): 8749 (pb2sat-v2) R 8748 31399 31398 0 -1 0 51830 0 0 0 119845 173 0 0 25 0 1 0 969773505 176197632 31747 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43017 31747 301 301 0 42716 0
vsize: 172068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.73 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 8804
Raw data (stat): 8749 (pb2sat-v2) Z 8748 31399 31398 0 -1 12 51832 0 0 0 119908 179 0 0 25 0 1 0 969773505 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.73
CPU time (s): 1200.88
CPU user time (s): 1199.08
CPU system time (s): 1.79973
CPU usage (%): 100.013
Max. virtual memory (Kb): 172068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####