PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM	ccbca61851d5d361647c00bb58b30d92
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	77106
Total number of constraints	218779
Number of constraints which are clauses	205559
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13220
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 42194

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 01:31:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25401 boxname=wulflinc1 idbench=303 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.ex.mem.LdValue.ucl.opb
IDLAUNCH: 25401
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        792896 kB
Buffers:         34244 kB
Cached:         183048 kB
SwapCached:       1192 kB
Active:          84556 kB
Inactive:       135044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        792644 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16392 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:51:06 (client local time) WITH STATUS 0 IN 1201.24 SECONDS
stats: 25401 7 1201.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 15843/328860	Time: 16.3335/86400
c Decision: 15969/328860	Time: 29.0956/86400
c Decision: 15969/328860	Time: 40.3669/86400
c Decision: 15969/328860	Time: 56.5794/86400
c Decision: 15986/328860	Time: 88.2976/86400
c Decision: 15986/328860	Time: 102.403/86400
c Decision: 15986/328860	Time: 110.786/86400
c Decision: 15986/328860	Time: 125.204/86400
c Decision: 16174/328860	Time: 146.655/86400
c Decision: 16178/328860	Time: 171.424/86400
c Decision: 16178/328860	Time: 189.659/86400
c Decision: 16178/328860	Time: 207.555/86400
c Decision: 16178/328860	Time: 219.431/86400
c Decision: 16178/328860	Time: 231.166/86400
c Decision: 16178/328860	Time: 245.717/86400
c Decision: 16178/328860	Time: 263/86400
c Decision: 16431/328860	Time: 325.578/86400
c Decision: 16431/328860	Time: 346.838/86400
c Decision: 16431/328860	Time: 368.237/86400
c Decision: 16431/328860	Time: 386.292/86400
c Decision: 16431/328860	Time: 407.991/86400
c Decision: 16647/328860	Time: 457.391/86400
c Decision: 16653/328860	Time: 521.88/86400
c Decision: 16653/328860	Time: 543.969/86400
c Decision: 16655/328860	Time: 576.996/86400
c Decision: 16655/328860	Time: 597.88/86400
c Decision: 16655/328860	Time: 618.518/86400
c Decision: 16657/328860	Time: 656.281/86400
c Decision: 16662/328860	Time: 713.459/86400
c Decision: 18463/328860	Time: 770.772/86400
c Decision: 18463/328860	Time: 788.978/86400
c Decision: 18463/328860	Time: 816.682/86400
c Decision: 18463/328860	Time: 840.079/86400
c Decision: 18478/328860	Time: 874.502/86400
c Decision: 18478/328860	Time: 891.914/86400
c Decision: 18478/328860	Time: 911.946/86400
c Decision: 18478/328860	Time: 937.046/86400
c Decision: 18478/328860	Time: 954.586/86400
c Decision: 18478/328860	Time: 973.896/86400
c Decision: 18478/328860	Time: 996.211/86400
c Decision: 18478/328860	Time: 1020.37/86400
c Decision: 18478/328860	Time: 1041.65/86400
c Decision: 18482/328860	Time: 1074.42/86400
c Decision: 18482/328860	Time: 1096.11/86400
c Decision: 18482/328860	Time: 1116.45/86400
c Decision: 18482/328860	Time: 1141.6/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.91 0.95 0.90 2/55 10597
Raw data (stat): 10597 (runsolver) R 10596 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909962626 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 5054 0 0 0 987 12 0 0 25 0 1 0 909962626 17326080 3128 4294967295 134512640 135730672 3221224576 3221221728 134576371 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4230 3128 301 301 0 3929 0
vsize: 16920
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 10004 0 0 0 1975 24 0 0 25 0 1 0 909962626 33370112 6058 4294967295 134512640 135730672 3221224576 3221221776 134577636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8147 6058 301 301 0 7846 0
vsize: 32588
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 26929 0 0 0 2933 66 0 0 25 0 1 0 909962626 82513920 15780 4294967295 134512640 135730672 3221224576 3221221184 135284212 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20145 15780 301 301 0 19844 0
vsize: 80580
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 40575 0 0 0 3905 94 0 0 25 0 1 0 909962626 115781632 23824 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28267 23824 301 301 0 27966 0
vsize: 113068
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 41276 0 0 0 4902 97 0 0 25 0 1 0 909962626 118906880 24525 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29030 24525 301 301 0 28729 0
vsize: 116120
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 41784 0 0 0 5899 100 0 0 25 0 1 0 909962626 121544704 25033 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29674 25033 301 301 0 29373 0
vsize: 118696
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 42659 0 0 0 6896 104 0 0 25 0 1 0 909962626 122748928 25265 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29968 25265 301 301 0 29667 0
vsize: 119872
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 43669 0 0 0 7893 108 0 0 25 0 1 0 909962626 124502016 25599 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30396 25599 301 301 0 30095 0
vsize: 121584
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 44104 0 0 0 8891 109 0 0 25 0 1 0 909962626 126574592 26034 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30902 26034 301 301 0 30601 0
vsize: 123608
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 44900 0 0 0 9887 113 0 0 25 0 1 0 909962626 127361024 26187 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31094 26187 301 301 0 30793 0
vsize: 124376
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 45126 0 0 0 10885 115 0 0 25 0 1 0 909962626 128520192 26413 4294967295 134512640 135730672 3221224576 3221222896 134732445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31377 26413 301 301 0 31076 0
vsize: 125508
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 45334 0 0 0 11883 117 0 0 25 0 1 0 909962626 129650688 26621 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31653 26621 301 301 0 31352 0
vsize: 126612
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 46029 0 0 0 12881 120 0 0 25 0 1 0 909962626 129785856 26673 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31686 26673 301 301 0 31385 0
vsize: 126744
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 46773 0 0 0 13877 123 0 0 25 0 1 0 909962626 130342912 26774 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31822 26774 301 301 0 31521 0
vsize: 127288
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 47508 0 0 0 14874 127 0 0 25 0 1 0 909962626 130674688 26866 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31903 26866 301 301 0 31602 0
vsize: 127612
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 47516 0 0 0 15874 128 0 0 25 0 1 0 909962626 130674688 26874 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31903 26874 301 301 0 31602 0
vsize: 127612
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 48233 0 0 0 16872 129 0 0 25 0 1 0 909962626 131108864 26948 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32009 26948 301 301 0 31708 0
vsize: 128036
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 48267 0 0 0 17871 131 0 0 25 0 1 0 909962626 131244032 26982 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32042 26982 301 301 0 31741 0
vsize: 128168
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 49032 0 0 0 18868 134 0 0 25 0 1 0 909962626 131891200 27104 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32200 27104 301 301 0 31899 0
vsize: 128800
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 49160 0 0 0 19867 135 0 0 25 0 1 0 909962626 132554752 27232 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32362 27232 301 301 0 32061 0
vsize: 129448
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 49834 0 0 0 20864 138 0 0 25 0 1 0 909962626 132554752 27263 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32362 27263 301 301 0 32061 0
vsize: 129448
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 49862 0 0 0 21862 140 0 0 25 0 1 0 909962626 132689920 27291 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32395 27291 301 301 0 32094 0
vsize: 129580
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 50561 0 0 0 22859 142 0 0 25 0 1 0 909962626 132886528 27347 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32443 27347 301 301 0 32142 0
vsize: 129772
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 50704 0 0 0 23857 144 0 0 25 0 1 0 909962626 133697536 27490 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32641 27490 301 301 0 32340 0
vsize: 130564
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 51375 0 0 0 24856 146 0 0 25 0 1 0 909962626 133697536 27518 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32641 27518 301 301 0 32340 0
vsize: 130564
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 52064 0 0 0 25853 148 0 0 25 0 1 0 909962626 133832704 27564 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32674 27564 301 301 0 32373 0
vsize: 130696
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 52748 0 0 0 26850 152 0 0 25 0 1 0 909962626 133967872 27605 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32707 27605 301 301 0 32406 0
vsize: 130828
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 52767 0 0 0 27849 153 0 0 25 0 1 0 909962626 133967872 27624 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32707 27624 301 301 0 32406 0
vsize: 130828
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 53452 0 0 0 28846 156 0 0 25 0 1 0 909962626 134103040 27666 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32740 27666 301 301 0 32439 0
vsize: 130960
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 54174 0 0 0 29844 159 0 0 25 0 1 0 909962626 134643712 27745 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32872 27745 301 301 0 32571 0
vsize: 131488
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 54222 0 0 0 30843 160 0 0 25 0 1 0 909962626 134914048 27793 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32938 27793 301 301 0 32637 0
vsize: 131752
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 54231 0 0 0 31842 161 0 0 25 0 1 0 909962626 134914048 27802 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32938 27802 301 301 0 32637 0
vsize: 131752
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 54289 0 0 0 32841 162 0 0 25 0 1 0 909962626 135049216 27860 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32971 27860 301 301 0 32670 0
vsize: 131884
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 54355 0 0 0 33840 163 0 0 25 0 1 0 909962626 135180288 27893 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33003 27893 301 301 0 32702 0
vsize: 132012
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 54393 0 0 0 34839 165 0 0 25 0 1 0 909962626 135315456 27931 4294967295 134512640 135730672 3221224576 3221223248 134748617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33036 27931 301 301 0 32735 0
vsize: 132144
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 54410 0 0 0 35837 166 0 0 25 0 1 0 909962626 135315456 27948 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33036 27948 301 301 0 32735 0
vsize: 132144
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 55128 0 0 0 36835 168 0 0 25 0 1 0 909962626 135585792 28023 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33102 28023 301 301 0 32801 0
vsize: 132408
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 55196 0 0 0 37834 170 0 0 25 0 1 0 909962626 135884800 28091 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33175 28091 301 301 0 32874 0
vsize: 132700
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 55847 0 0 0 38831 173 0 0 25 0 1 0 909962626 135884800 28099 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33175 28099 301 301 0 32874 0
vsize: 132700
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 62001 0 0 0 39818 186 0 0 25 0 1 0 909962626 161050624 28108 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39319 28108 301 301 0 39018 0
vsize: 157276
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 62658 0 0 0 40816 188 0 0 25 0 1 0 909962626 161050624 28122 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39319 28122 301 301 0 39018 0
vsize: 157276
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 62733 0 0 0 41815 189 0 0 25 0 1 0 909962626 161382400 28197 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39400 28197 301 301 0 39099 0
vsize: 157600
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 63438 0 0 0 42812 192 0 0 25 0 1 0 909962626 161652736 28259 4294967295 134512640 135730672 3221224576 3221223088 135282246 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39466 28259 301 301 0 39165 0
vsize: 157864
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 63476 0 0 0 43811 194 0 0 25 0 1 0 909962626 161787904 28297 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39499 28297 301 301 0 39198 0
vsize: 157996
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64172 0 0 0 44808 196 0 0 25 0 1 0 909962626 162058240 28350 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39565 28350 301 301 0 39264 0
vsize: 158260
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64189 0 0 0 45807 198 0 0 25 0 1 0 909962626 162058240 28367 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39565 28367 301 301 0 39264 0
vsize: 158260
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64234 0 0 0 46806 199 0 0 25 0 1 0 909962626 162328576 28412 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39631 28412 301 301 0 39330 0
vsize: 158524
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64241 0 0 0 47805 200 0 0 25 0 1 0 909962626 162328576 28419 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39631 28419 301 301 0 39330 0
vsize: 158524
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64245 0 0 0 48803 202 0 0 25 0 1 0 909962626 162328576 28423 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39631 28423 301 301 0 39330 0
vsize: 158524
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64892 0 0 0 49800 206 0 0 25 0 1 0 909962626 162328576 28427 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39631 28427 301 301 0 39330 0
vsize: 158524
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64952 0 0 0 50797 209 0 0 25 0 1 0 909962626 162734080 28487 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39730 28487 301 301 0 39429 0
vsize: 158920
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 64971 0 0 0 51796 210 0 0 25 0 1 0 909962626 162734080 28506 4294967295 134512640 135730672 3221224576 3221223228 134748262 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39730 28506 301 301 0 39429 0
vsize: 158920
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 65002 0 0 0 52795 211 0 0 25 0 1 0 909962626 162869248 28537 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39763 28537 301 301 0 39462 0
vsize: 159052
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 65012 0 0 0 53795 212 0 0 25 0 1 0 909962626 162869248 28547 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39763 28547 301 301 0 39462 0
vsize: 159052
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 65077 0 0 0 54793 214 0 0 25 0 1 0 909962626 163274752 28612 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39862 28612 301 301 0 39561 0
vsize: 159448
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 65737 0 0 0 55791 216 0 0 25 0 1 0 909962626 163274752 28629 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39862 28629 301 301 0 39561 0
vsize: 159448
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 65775 0 0 0 56790 217 0 0 25 0 1 0 909962626 163409920 28667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39895 28667 301 301 0 39594 0
vsize: 159580
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 66446 0 0 0 57787 220 0 0 25 0 1 0 909962626 163545088 28695 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39928 28695 301 301 0 39627 0
vsize: 159712
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 66459 0 0 0 58786 221 0 0 25 0 1 0 909962626 163545088 28708 4294967295 134512640 135730672 3221224576 3221223072 134747925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39928 28708 301 301 0 39627 0
vsize: 159712
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 66541 0 0 0 59785 222 0 0 25 0 1 0 909962626 163950592 28790 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40027 28790 301 301 0 39726 0
vsize: 160108
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 66556 0 0 0 60784 223 0 0 25 0 1 0 909962626 163950592 28805 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40027 28805 301 301 0 39726 0
vsize: 160108
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 67217 0 0 0 61783 225 0 0 25 0 1 0 909962626 163950592 28823 4294967295 134512640 135730672 3221224576 3221223264 134748475 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40027 28823 301 301 0 39726 0
vsize: 160108
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 67228 0 0 0 62781 226 0 0 25 0 1 0 909962626 163950592 28834 4294967295 134512640 135730672 3221224576 3221223200 134748266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40027 28834 301 301 0 39726 0
vsize: 160108
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 67880 0 0 0 63779 229 0 0 25 0 1 0 909962626 163950592 28843 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40027 28843 301 301 0 39726 0
vsize: 160108
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 67957 0 0 0 64778 230 0 0 25 0 1 0 909962626 164216832 28887 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40092 28887 301 301 0 39791 0
vsize: 160368
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 68632 0 0 0 65777 232 0 0 25 0 1 0 909962626 164352000 28919 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40125 28919 301 301 0 39824 0
vsize: 160500
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 68654 0 0 0 66775 233 0 0 25 0 1 0 909962626 164352000 28941 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40125 28941 301 301 0 39824 0
vsize: 160500
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 68666 0 0 0 67775 234 0 0 25 0 1 0 909962626 164352000 28953 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40125 28953 301 301 0 39824 0
vsize: 160500
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 68678 0 0 0 68774 235 0 0 25 0 1 0 909962626 164352000 28965 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40125 28965 301 301 0 39824 0
vsize: 160500
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 69331 0 0 0 69771 238 0 0 25 0 1 0 909962626 164352000 28975 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40125 28975 301 301 0 39824 0
vsize: 160500
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 69366 0 0 0 70770 239 0 0 25 0 1 0 909962626 164487168 29010 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40158 29010 301 301 0 39857 0
vsize: 160632
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 69378 0 0 0 71768 241 0 0 25 0 1 0 909962626 164487168 29022 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40158 29022 301 301 0 39857 0
vsize: 160632
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 69388 0 0 0 72767 242 0 0 25 0 1 0 909962626 164487168 29032 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40158 29032 301 301 0 39857 0
vsize: 160632
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 69399 0 0 0 73766 244 0 0 25 0 1 0 909962626 164487168 29043 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40158 29043 301 301 0 39857 0
vsize: 160632
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70069 0 0 0 74764 246 0 0 25 0 1 0 909962626 164487168 29070 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40158 29070 301 301 0 39857 0
vsize: 160632
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70079 0 0 0 75763 247 0 0 25 0 1 0 909962626 164487168 29080 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40158 29080 301 301 0 39857 0
vsize: 160632
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70209 0 0 0 76762 248 0 0 25 0 1 0 909962626 165027840 29210 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40290 29210 301 301 0 39989 0
vsize: 161160
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70223 0 0 0 77761 249 0 0 25 0 1 0 909962626 165027840 29224 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40290 29224 301 301 0 39989 0
vsize: 161160
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70232 0 0 0 78761 250 0 0 25 0 1 0 909962626 165027840 29233 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40290 29233 301 301 0 39989 0
vsize: 161160
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70272 0 0 0 79760 251 0 0 25 0 1 0 909962626 165163008 29273 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40323 29273 301 301 0 40022 0
vsize: 161292
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70929 0 0 0 80758 253 0 0 25 0 1 0 909962626 165163008 29287 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40323 29287 301 301 0 40022 0
vsize: 161292
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 70944 0 0 0 81758 254 0 0 25 0 1 0 909962626 165163008 29302 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40323 29302 301 301 0 40022 0
vsize: 161292
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 71622 0 0 0 82755 256 0 0 25 0 1 0 909962626 165298176 29337 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40356 29337 301 301 0 40055 0
vsize: 161424
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 71624 0 0 0 83754 257 0 0 25 0 1 0 909962626 165298176 29339 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40356 29339 301 301 0 40055 0
vsize: 161424
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 71632 0 0 0 84754 258 0 0 25 0 1 0 909962626 165298176 29347 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40356 29347 301 301 0 40055 0
vsize: 161424
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 72293 0 0 0 85752 260 0 0 25 0 1 0 909962626 165433344 29365 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40389 29365 301 301 0 40088 0
vsize: 161556
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 72296 0 0 0 86751 261 0 0 25 0 1 0 909962626 165433344 29368 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40389 29368 301 301 0 40088 0
vsize: 161556
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 72940 0 0 0 87748 264 0 0 25 0 1 0 909962626 165433344 29369 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40389 29369 301 301 0 40088 0
vsize: 161556
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 72959 0 0 0 88748 265 0 0 25 0 1 0 909962626 165568512 29388 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40422 29388 301 301 0 40121 0
vsize: 161688
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 72961 0 0 0 89747 266 0 0 25 0 1 0 909962626 165568512 29390 4294967295 134512640 135730672 3221224576 3221222912 134739208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40422 29390 301 301 0 40121 0
vsize: 161688
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 73606 0 0 0 90745 268 0 0 25 0 1 0 909962626 168202240 30035 4294967295 134512640 135730672 3221224576 3221222736 134768928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41065 30035 301 301 0 40764 0
vsize: 164260
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 73629 0 0 0 91744 269 0 0 25 0 1 0 909962626 165568512 29415 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40422 29415 301 301 0 40121 0
vsize: 161688
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 74327 0 0 0 92742 271 0 0 25 0 1 0 909962626 165838848 29470 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40488 29470 301 301 0 40187 0
vsize: 161952
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 74345 0 0 0 93742 272 0 0 25 0 1 0 909962626 165838848 29488 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40488 29488 301 301 0 40187 0
vsize: 161952
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 74993 0 0 0 94739 274 0 0 25 0 1 0 909962626 165838848 29493 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40488 29493 301 301 0 40187 0
vsize: 161952
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 74996 0 0 0 95738 276 0 0 25 0 1 0 909962626 165838848 29496 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40488 29496 301 301 0 40187 0
vsize: 161952
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 75009 0 0 0 96736 277 0 0 25 0 1 0 909962626 165838848 29509 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40488 29509 301 301 0 40187 0
vsize: 161952
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 75654 0 0 0 97734 280 0 0 25 0 1 0 909962626 165838848 29511 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40488 29511 301 301 0 40187 0
vsize: 161952
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 76302 0 0 0 98731 283 0 0 25 0 1 0 909962626 168472576 30159 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41131 30159 301 301 0 40830 0
vsize: 164524
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 76342 0 0 0 99730 284 0 0 25 0 1 0 909962626 166109184 29556 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 29556 301 301 0 40253 0
vsize: 162216
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 76988 0 0 0 100728 287 0 0 25 0 1 0 909962626 166109184 29559 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 29559 301 301 0 40253 0
vsize: 162216
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 76998 0 0 0 101727 288 0 0 25 0 1 0 909962626 166109184 29569 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 29569 301 301 0 40253 0
vsize: 162216
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 77012 0 0 0 102726 289 0 0 25 0 1 0 909962626 166109184 29583 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 29583 301 301 0 40253 0
vsize: 162216
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 77665 0 0 0 103723 292 0 0 25 0 1 0 909962626 166109184 29593 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 29593 301 301 0 40253 0
vsize: 162216
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 77676 0 0 0 104722 293 0 0 25 0 1 0 909962626 166109184 29604 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 29604 301 301 0 40253 0
vsize: 162216
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 78326 0 0 0 105721 295 0 0 25 0 1 0 909962626 166109184 29611 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 29611 301 301 0 40253 0
vsize: 162216
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 78346 0 0 0 106720 296 0 0 25 0 1 0 909962626 166244352 29631 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29631 301 301 0 40286 0
vsize: 162348
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 78353 0 0 0 107719 297 0 0 25 0 1 0 909962626 166244352 29638 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29638 301 301 0 40286 0
vsize: 162348
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 78383 0 0 0 108718 298 0 0 25 0 1 0 909962626 166244352 29668 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29668 301 301 0 40286 0
vsize: 162348
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 78390 0 0 0 109717 299 0 0 25 0 1 0 909962626 166244352 29675 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29675 301 301 0 40286 0
vsize: 162348
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 79037 0 0 0 110714 302 0 0 25 0 1 0 909962626 166244352 29679 4294967295 134512640 135730672 3221224576 3221223200 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29679 301 301 0 40286 0
vsize: 162348
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 79046 0 0 0 111714 303 0 0 25 0 1 0 909962626 166244352 29688 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29688 301 301 0 40286 0
vsize: 162348
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 79067 0 0 0 112713 304 0 0 25 0 1 0 909962626 166244352 29709 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29709 301 301 0 40286 0
vsize: 162348
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 79725 0 0 0 113711 306 0 0 25 0 1 0 909962626 166244352 29724 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40587 29724 301 301 0 40286 0
vsize: 162348
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 79737 0 0 0 114709 308 0 0 25 0 1 0 909962626 183021568 29736 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44683 29736 301 301 0 44382 0
vsize: 178732
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 80397 0 0 0 115707 310 0 0 25 0 1 0 909962626 183021568 29753 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44683 29753 301 301 0 44382 0
vsize: 178732
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 80408 0 0 0 116707 311 0 0 25 0 1 0 909962626 183021568 29764 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44683 29764 301 301 0 44382 0
vsize: 178732
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 81059 0 0 0 117704 313 0 0 25 0 1 0 909962626 183021568 29772 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44683 29772 301 301 0 44382 0
vsize: 178732
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 81060 0 0 0 118703 314 0 0 25 0 1 0 909962626 183021568 29773 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44683 29773 301 301 0 44382 0
vsize: 178732
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10597
Raw data (stat): 10597 (pb2sat-v2) R 10596 8378 8377 0 -1 0 81069 0 0 0 119702 315 0 0 25 0 1 0 909962626 183021568 29782 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44683 29782 301 301 0 44382 0
vsize: 178732
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10597
Raw data (stat): 10597 (pb2sat-v2) Z 10596 8378 8377 0 -1 12 81071 0 0 0 119801 321 0 0 25 0 1 0 909962626 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.07
CPU time (s): 1201.24
CPU user time (s): 1198.02
CPU system time (s): 3.21851
CPU usage (%): 100.014
Max. virtual memory (Kb): 178732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####