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/miplib/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM	2c1654041c7ed087aa8883df6d85cbf7
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	14235
Biggest coefficient in the objective function	714038312960
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	68224730472397
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	714038312960
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	68224730472397
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12598
Number of variables	14265
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 42394

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 06:19:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25606 boxname=wulflinc3 idbench=906 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2c1654041c7ed087aa8883df6d85cbf7  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dcmulti.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dcmulti.opb
IDLAUNCH: 25606
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        727660 kB
Buffers:         23644 kB
Cached:         261272 kB
SwapCached:        820 kB
Active:          29980 kB
Inactive:       257112 kB
HighTotal:      131008 kB
HighFree:         3864 kB
LowTotal:       903652 kB
LowFree:        723796 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14228 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:39:59 (client local time) WITH STATUS 0 IN 1201.62 SECONDS
stats: 25606 7 1201.62 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 189637/556292	Time: 54.5457/86400
c Decision: 189655/556292	Time: 67.9337/86400
c Decision: 189666/556292	Time: 85.206/86400
c Decision: 189695/556292	Time: 98.2161/86400
c Decision: 189695/556292	Time: 108.627/86400
c Decision: 189700/556292	Time: 121.835/86400
c Decision: 189700/556292	Time: 131.115/86400
c Decision: 189928/556292	Time: 148.366/86400
c Decision: 189928/556292	Time: 157.102/86400
c Decision: 189952/556292	Time: 173.552/86400
c Decision: 189952/556292	Time: 184.341/86400
c Decision: 189952/556292	Time: 194.606/86400
c Decision: 189952/556292	Time: 203.739/86400
c Decision: 189952/556292	Time: 213.092/86400
c Decision: 189953/556292	Time: 230.273/86400
c Decision: 189953/556292	Time: 245.32/86400
c Decision: 189953/556292	Time: 254.134/86400
c Decision: 189953/556292	Time: 262.418/86400
c Decision: 189954/556292	Time: 273.669/86400
c Decision: 189982/556292	Time: 296.253/86400
c Decision: 190006/556292	Time: 318.765/86400
c Decision: 190006/556292	Time: 327.822/86400
c Decision: 190011/556292	Time: 343.621/86400
c Decision: 190033/556292	Time: 364.935/86400
c Decision: 190047/556292	Time: 376.136/86400
c Decision: 190047/556292	Time: 388.901/86400
c Decision: 190047/556292	Time: 400.842/86400
c Decision: 190058/556292	Time: 416.983/86400
c Decision: 190066/556292	Time: 434.182/86400
c Decision: 190066/556292	Time: 445.287/86400
c Decision: 190079/556292	Time: 460.655/86400
c Decision: 190079/556292	Time: 471.185/86400
c Decision: 190079/556292	Time: 480.599/86400
c Decision: 190079/556292	Time: 490.043/86400
c Decision: 190085/556292	Time: 504.81/86400
c Decision: 190091/556292	Time: 514.437/86400
c Decision: 190091/556292	Time: 523.795/86400
c Decision: 190091/556292	Time: 532.909/86400
c Decision: 190091/556292	Time: 540.471/86400
c Decision: 190091/556292	Time: 550.439/86400
c Decision: 190091/556292	Time: 561.854/86400
c Decision: 190091/556292	Time: 571.436/86400
c Decision: 190091/556292	Time: 579.289/86400
c Decision: 190232/556292	Time: 601.352/86400
c Decision: 190232/556292	Time: 611.383/86400
c Decision: 190232/556292	Time: 620.91/86400
c Decision: 190254/556292	Time: 636.619/86400
c Decision: 190254/556292	Time: 648.427/86400
c Decision: 190285/556292	Time: 683.758/86400
c Decision: 190288/556292	Time: 696.278/86400
c Decision: 190288/556292	Time: 708.829/86400
c Decision: 190288/556292	Time: 719.459/86400
c Decision: 190324/556292	Time: 745.057/86400
c Decision: 190324/556292	Time: 754.672/86400
c Decision: 190324/556292	Time: 765.008/86400
c Decision: 190328/556292	Time: 784.014/86400
c Decision: 190349/556292	Time: 802.726/86400
c Decision: 190349/556292	Time: 812.397/86400
c Decision: 190349/556292	Time: 821.738/86400
c Decision: 190357/556292	Time: 841.856/86400
c Decision: 190357/556292	Time: 853.539/86400
c Decision: 190361/556292	Time: 866.303/86400
c Decision: 190361/556292	Time: 876.089/86400
c Decision: 190365/556292	Time: 894.732/86400
c Decision: 190368/556292	Time: 909.105/86400
c Decision: 190368/556292	Time: 919.086/86400
c Decision: 190385/556292	Time: 940.236/86400
c Decision: 190396/556292	Time: 958.199/86400
c Decision: 190396/556292	Time: 967.64/86400
c Decision: 190397/556292	Time: 987.408/86400
c Decision: 190397/556292	Time: 999.493/86400
c Decision: 190397/556292	Time: 1010.42/86400
c Decision: 190414/556292	Time: 1033.98/86400
c Decision: 190414/556292	Time: 1046.17/86400
c Decision: 190414/556292	Time: 1057.29/86400
c Decision: 190414/556292	Time: 1069.17/86400
c Decision: 190414/556292	Time: 1077.65/86400
c Decision: 190414/556292	Time: 1088.46/86400
c Decision: 190415/556292	Time: 1106.15/86400
c Decision: 190415/556292	Time: 1116.87/86400
c Decision: 190437/556292	Time: 1138.38/86400
c Decision: 190437/556292	Time: 1149.51/86400
c Decision: 190437/556292	Time: 1161.71/86400
c Decision: 190437/556292	Time: 1172.14/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.90 0.93 0.90 1/54 18374
Raw data (stat): 18374 (runsolver) R 18373 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968544141 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 23041 0 0 0 947 52 0 0 25 0 1 0 968544141 69971968 12063 4294967295 134512640 135730672 3221224576 3221046360 134546602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17083 12063 301 301 0 16782 0
vsize: 68332
[startup+20.0017 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 50017 0 0 0 1887 112 0 0 25 0 1 0 968544141 152727552 28053 4294967295 134512640 135730672 3221224576 3221123292 135301624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37287 28053 301 301 0 36986 0
vsize: 149148
[startup+30.0029 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 75933 0 0 0 2832 167 0 0 25 0 1 0 968544141 217305088 43507 4294967295 134512640 135730672 3221224576 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53053 43507 301 301 0 52752 0
vsize: 212212
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 75948 0 0 0 3830 169 0 0 25 0 1 0 968544141 217305088 43522 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53053 43522 301 301 0 52752 0
vsize: 212212
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 75986 0 0 0 4829 170 0 0 25 0 1 0 968544141 217444352 43560 4294967295 134512640 135730672 3221224576 3221222900 134732533 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53087 43560 301 301 0 52786 0
vsize: 212348
[startup+60.0056 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 76110 0 0 0 5827 172 0 0 25 0 1 0 968544141 218083328 43684 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53243 43684 301 301 0 52942 0
vsize: 212972
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 76248 0 0 0 6825 174 0 0 25 0 1 0 968544141 218771456 43822 4294967295 134512640 135730672 3221224576 3221223184 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53411 43822 301 301 0 53110 0
vsize: 213644
[startup+80.0067 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 77442 0 0 0 7820 179 0 0 25 0 1 0 968544141 223748096 45016 4294967295 134512640 135730672 3221224576 3221222752 134769149 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54626 45016 301 301 0 54325 0
vsize: 218504
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 77540 0 0 0 8818 181 0 0 25 0 1 0 968544141 219787264 44027 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53659 44027 301 301 0 53358 0
vsize: 214636
[startup+100.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 78696 0 0 0 9814 185 0 0 25 0 1 0 968544141 219951104 44096 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53699 44096 301 301 0 53398 0
vsize: 214796
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 78738 0 0 0 10812 187 0 0 25 0 1 0 968544141 220114944 44138 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53739 44138 301 301 0 53438 0
vsize: 214956
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 79886 0 0 0 11809 190 0 0 25 0 1 0 968544141 220442624 44199 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53819 44199 301 301 0 53518 0
vsize: 215276
[startup+130.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 81023 0 0 0 12806 194 0 0 25 0 1 0 968544141 220606464 44249 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53859 44249 301 301 0 53558 0
vsize: 215436
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 82150 0 0 0 13802 198 0 0 25 0 1 0 968544141 220770304 44289 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53899 44289 301 301 0 53598 0
vsize: 215596
[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 83249 0 0 0 14797 202 0 0 25 0 1 0 968544141 220770304 44301 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53899 44301 301 301 0 53598 0
vsize: 215596
[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 84396 0 0 0 15794 206 0 0 25 0 1 0 968544141 221097984 44361 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53979 44361 301 301 0 53678 0
vsize: 215916
[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 84442 0 0 0 16791 208 0 0 25 0 1 0 968544141 221261824 44407 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54019 44407 301 301 0 53718 0
vsize: 216076
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 85546 0 0 0 17786 214 0 0 25 0 1 0 968544141 221261824 44424 4294967295 134512640 135730672 3221224576 3221223176 135179321 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54019 44424 301 301 0 53718 0
vsize: 216076
[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 99016 0 0 0 18756 244 0 0 25 0 1 0 968544141 271986688 44518 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66403 44518 301 301 0 66102 0
vsize: 265612
[startup+200.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 99057 0 0 0 19755 245 0 0 25 0 1 0 968544141 272183296 44559 4294967295 134512640 135730672 3221224576 3221223088 134745979 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66451 44559 301 301 0 66150 0
vsize: 265804
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 101254 0 0 0 20748 252 0 0 25 0 1 0 968544141 276635648 45669 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67538 45669 301 301 0 67237 0
vsize: 270152
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 101304 0 0 0 21746 254 0 0 25 0 1 0 968544141 272576512 44632 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66547 44632 301 301 0 66246 0
vsize: 266188
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 102416 0 0 0 22742 258 0 0 25 0 1 0 968544141 272576512 44657 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66547 44657 301 301 0 66246 0
vsize: 266188
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 104637 0 0 0 23736 264 0 0 25 0 1 0 968544141 277225472 45791 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67682 45791 301 301 0 67381 0
vsize: 270728
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 104922 0 0 0 24734 266 0 0 25 0 1 0 968544141 274345984 44989 4294967295 134512640 135730672 3221224576 3221223200 134748079 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66979 44989 301 301 0 66678 0
vsize: 267916
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 106120 0 0 0 25731 270 0 0 25 0 1 0 968544141 274935808 45100 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67123 45100 301 301 0 66822 0
vsize: 268492
[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 106346 0 0 0 26729 272 0 0 25 0 1 0 968544141 275918848 45326 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67363 45326 301 301 0 67062 0
vsize: 269452
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 107453 0 0 0 27724 276 0 0 25 0 1 0 968544141 275918848 45346 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67363 45346 301 301 0 67062 0
vsize: 269452
[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 109647 0 0 0 28719 282 0 0 25 0 1 0 968544141 280371200 46453 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 46453 301 301 0 68149 0
vsize: 273800
[startup+300.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 109687 0 0 0 29717 284 0 0 25 0 1 0 968544141 276115456 45406 4294967295 134512640 135730672 3221224576 3221223088 134745856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67411 45406 301 301 0 67110 0
vsize: 269644
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 110856 0 0 0 30713 289 0 0 25 0 1 0 968544141 276508672 45488 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67507 45488 301 301 0 67206 0
vsize: 270028
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 111300 0 0 0 31710 291 0 0 25 0 1 0 968544141 278401024 45932 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67969 45932 301 301 0 67668 0
vsize: 271876
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 112399 0 0 0 32707 294 0 0 25 0 1 0 968544141 278401024 45944 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67969 45944 301 301 0 67668 0
vsize: 271876
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 112453 0 0 0 33704 297 0 0 25 0 1 0 968544141 278536192 45998 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68002 45998 301 301 0 67701 0
vsize: 272008
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 113577 0 0 0 34700 301 0 0 25 0 1 0 968544141 278671360 46035 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46035 301 301 0 67734 0
vsize: 272140
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 113589 0 0 0 35697 304 0 0 25 0 1 0 968544141 278671360 46047 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46047 301 301 0 67734 0
vsize: 272140
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 113604 0 0 0 36695 307 0 0 25 0 1 0 968544141 278671360 46062 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46062 301 301 0 67734 0
vsize: 272140
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 114714 0 0 0 37691 310 0 0 25 0 1 0 968544141 278671360 46085 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68035 46085 301 301 0 67734 0
vsize: 272140
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 114733 0 0 0 38689 313 0 0 25 0 1 0 968544141 278671360 46104 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68035 46104 301 301 0 67734 0
vsize: 272140
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 115835 0 0 0 39685 317 0 0 25 0 1 0 968544141 278671360 46119 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68035 46119 301 301 0 67734 0
vsize: 272140
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 116940 0 0 0 40681 321 0 0 25 0 1 0 968544141 278671360 46137 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68035 46137 301 301 0 67734 0
vsize: 272140
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 118081 0 0 0 41677 325 0 0 25 0 1 0 968544141 279064576 46191 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68131 46191 301 301 0 67830 0
vsize: 272524
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 119180 0 0 0 42674 329 0 0 25 0 1 0 968544141 279064576 46203 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68131 46203 301 301 0 67830 0
vsize: 272524
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 119194 0 0 0 43671 332 0 0 25 0 1 0 968544141 279064576 46217 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68131 46217 301 301 0 67830 0
vsize: 272524
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 120305 0 0 0 44667 336 0 0 25 0 1 0 968544141 279064576 46241 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68131 46241 301 301 0 67830 0
vsize: 272524
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 120409 0 0 0 45666 337 0 0 25 0 1 0 968544141 279457792 46345 4294967295 134512640 135730672 3221224576 3221223088 134745778 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68227 46345 301 301 0 67926 0
vsize: 272908
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 121509 0 0 0 46662 341 0 0 25 0 1 0 968544141 279457792 46358 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68227 46358 301 301 0 67926 0
vsize: 272908
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 122608 0 0 0 47658 345 0 0 25 0 1 0 968544141 279457792 46370 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68227 46370 301 301 0 67926 0
vsize: 272908
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 123715 0 0 0 48655 348 0 0 25 0 1 0 968544141 279457792 46390 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68227 46390 301 301 0 67926 0
vsize: 272908
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 124806 0 0 0 49651 353 0 0 25 0 1 0 968544141 279457792 46394 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68227 46394 301 301 0 67926 0
vsize: 272908
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 125910 0 0 0 50648 356 0 0 25 0 1 0 968544141 279654400 46411 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68275 46411 301 301 0 67974 0
vsize: 273100
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 127129 0 0 0 51644 360 0 0 25 0 1 0 968544141 280195072 46543 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68407 46544 301 301 0 68106 0
vsize: 273628
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 127291 0 0 0 52642 362 0 0 25 0 1 0 968544141 280870912 46705 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68572 46705 301 301 0 68271 0
vsize: 274288
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 129488 0 0 0 53637 368 0 0 25 0 1 0 968544141 285323264 47815 4294967295 134512640 135730672 3221224576 3221222736 134768813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69659 47815 301 301 0 69358 0
vsize: 278636
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 129556 0 0 0 54635 370 0 0 25 0 1 0 968544141 281276416 46796 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68671 46796 301 301 0 68370 0
vsize: 274684
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 131742 0 0 0 55630 375 0 0 25 0 1 0 968544141 285728768 47895 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69758 47895 301 301 0 69457 0
vsize: 279032
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 132885 0 0 0 56627 378 0 0 25 0 1 0 968544141 281411584 46864 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68704 46864 301 301 0 68403 0
vsize: 274816
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 133987 0 0 0 57623 383 0 0 25 0 1 0 968544141 281411584 46879 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68704 46879 301 301 0 68403 0
vsize: 274816
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 135108 0 0 0 58620 386 0 0 25 0 1 0 968544141 281546752 46913 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68737 46913 301 301 0 68436 0
vsize: 274948
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 136200 0 0 0 59616 390 0 0 25 0 1 0 968544141 281546752 46918 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68737 46918 301 301 0 68436 0
vsize: 274948
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 137302 0 0 0 60612 394 0 0 25 0 1 0 968544141 281546752 46933 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68737 46933 301 301 0 68436 0
vsize: 274948
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 137324 0 0 0 61611 395 0 0 25 0 1 0 968544141 281546752 46955 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68737 46955 301 301 0 68436 0
vsize: 274948
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 138427 0 0 0 62607 400 0 0 25 0 1 0 968544141 281546752 46971 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68737 46971 301 301 0 68436 0
vsize: 274948
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 139595 0 0 0 63603 403 0 0 25 0 1 0 968544141 281952256 47052 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68836 47052 301 301 0 68535 0
vsize: 275344
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 140699 0 0 0 64600 407 0 0 25 0 1 0 968544141 281952256 47069 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68836 47069 301 301 0 68535 0
vsize: 275344
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 140704 0 0 0 65598 409 0 0 25 0 1 0 968544141 281952256 47074 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68836 47074 301 301 0 68535 0
vsize: 275344
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 141864 0 0 0 66595 412 0 0 25 0 1 0 968544141 282284032 47147 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68917 47147 301 301 0 68616 0
vsize: 275668
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 143007 0 0 0 67590 417 0 0 25 0 1 0 968544141 282554368 47203 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68983 47203 301 301 0 68682 0
vsize: 275932
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 143025 0 0 0 68589 419 0 0 25 0 1 0 968544141 282554368 47221 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68983 47221 301 301 0 68682 0
vsize: 275932
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 143045 0 0 0 69587 421 0 0 25 0 1 0 968544141 282554368 47241 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68983 47241 301 301 0 68682 0
vsize: 275932
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 143113 0 0 0 70585 423 0 0 25 0 1 0 968544141 282824704 47309 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69049 47309 301 301 0 68748 0
vsize: 276196
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 144248 0 0 0 71582 426 0 0 25 0 1 0 968544141 282959872 47357 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69082 47357 301 301 0 68781 0
vsize: 276328
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 145357 0 0 0 72578 430 0 0 25 0 1 0 968544141 282959872 47379 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69082 47379 301 301 0 68781 0
vsize: 276328
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 146450 0 0 0 73575 433 0 0 25 0 1 0 968544141 282959872 47385 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69082 47385 301 301 0 68781 0
vsize: 276328
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 147585 0 0 0 74572 437 0 0 25 0 1 0 968544141 283230208 47433 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69148 47433 301 301 0 68847 0
vsize: 276592
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 147782 0 0 0 75571 438 0 0 25 0 1 0 968544141 284311552 47630 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69412 47630 301 301 0 69111 0
vsize: 277648
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 148318 0 0 0 76568 441 0 0 25 0 1 0 968544141 286609408 48166 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69973 48166 301 301 0 69672 0
vsize: 279892
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 149447 0 0 0 77564 445 0 0 25 0 1 0 968544141 286744576 48208 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48208 301 301 0 69705 0
vsize: 280024
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 150553 0 0 0 78560 449 0 0 25 0 1 0 968544141 286744576 48227 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48227 301 301 0 69705 0
vsize: 280024
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 151659 0 0 0 79557 453 0 0 25 0 1 0 968544141 286744576 48246 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48246 301 301 0 69705 0
vsize: 280024
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 152762 0 0 0 80553 457 0 0 25 0 1 0 968544141 286744576 48262 4294967295 134512640 135730672 3221224576 3221223200 134783064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48262 301 301 0 69705 0
vsize: 280024
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 152767 0 0 0 81552 458 0 0 25 0 1 0 968544141 286744576 48267 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48267 301 301 0 69705 0
vsize: 280024
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 153871 0 0 0 82549 462 0 0 25 0 1 0 968544141 291196928 49371 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71093 49371 301 301 0 70792 0
vsize: 284372
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 154976 0 0 0 83545 465 0 0 25 0 1 0 968544141 286744576 48302 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48302 301 301 0 69705 0
vsize: 280024
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 156085 0 0 0 84541 469 0 0 25 0 1 0 968544141 286744576 48324 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48324 301 301 0 69705 0
vsize: 280024
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 156112 0 0 0 85540 471 0 0 25 0 1 0 968544141 286744576 48351 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48351 301 301 0 69705 0
vsize: 280024
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 157226 0 0 0 86537 474 0 0 25 0 1 0 968544141 286744576 48378 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48378 301 301 0 69705 0
vsize: 280024
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 158334 0 0 0 87533 478 0 0 25 0 1 0 968544141 286744576 48399 4294967295 134512640 135730672 3221224576 3221223196 134783186 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48399 301 301 0 69705 0
vsize: 280024
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 158338 0 0 0 88533 479 0 0 25 0 1 0 968544141 286744576 48403 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48403 301 301 0 69705 0
vsize: 280024
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 159433 0 0 0 89529 483 0 0 25 0 1 0 968544141 286744576 48411 4294967295 134512640 135730672 3221224576 3221223088 135283013 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48411 301 301 0 69705 0
vsize: 280024
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 160539 0 0 0 90525 487 0 0 25 0 1 0 968544141 286744576 48430 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70006 48430 301 301 0 69705 0
vsize: 280024
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 160606 0 0 0 91524 488 0 0 25 0 1 0 968544141 287014912 48497 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70072 48497 301 301 0 69771 0
vsize: 280288
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 161715 0 0 0 92521 491 0 0 25 0 1 0 968544141 287014912 48519 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70072 48519 301 301 0 69771 0
vsize: 280288
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 162823 0 0 0 93518 495 0 0 25 0 1 0 968544141 287014912 48540 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70072 48540 301 301 0 69771 0
vsize: 280288
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 163922 0 0 0 94515 498 0 0 25 0 1 0 968544141 287014912 48552 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70072 48552 301 301 0 69771 0
vsize: 280288
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 163958 0 0 0 95513 499 0 0 25 0 1 0 968544141 287150080 48588 4294967295 134512640 135730672 3221224576 3221223184 134744652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48588 301 301 0 69804 0
vsize: 280420
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 165050 0 0 0 96510 503 0 0 25 0 1 0 968544141 287150080 48593 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48593 301 301 0 69804 0
vsize: 280420
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 165069 0 0 0 97509 504 0 0 25 0 1 0 968544141 287150080 48612 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48612 301 301 0 69804 0
vsize: 280420
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 166177 0 0 0 98505 509 0 0 25 0 1 0 968544141 287150080 48633 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48633 301 301 0 69804 0
vsize: 280420
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 167284 0 0 0 99501 512 0 0 25 0 1 0 968544141 287150080 48653 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48653 301 301 0 69804 0
vsize: 280420
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 167332 0 0 0 100500 514 0 0 25 0 1 0 968544141 287285248 48701 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48701 301 301 0 69837 0
vsize: 280552
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 168436 0 0 0 101496 518 0 0 25 0 1 0 968544141 287285248 48718 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48718 301 301 0 69837 0
vsize: 280552
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 169532 0 0 0 102493 521 0 0 25 0 1 0 968544141 287285248 48727 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48727 301 301 0 69837 0
vsize: 280552
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 170624 0 0 0 103489 525 0 0 25 0 1 0 968544141 287285248 48732 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48732 301 301 0 69837 0
vsize: 280552
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 170636 0 0 0 104488 527 0 0 25 0 1 0 968544141 287285248 48744 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48744 301 301 0 69837 0
vsize: 280552
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 170655 0 0 0 105487 528 0 0 25 0 1 0 968544141 287285248 48763 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48763 301 301 0 69837 0
vsize: 280552
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 171946 0 0 0 106483 531 0 0 25 0 1 0 968544141 288231424 48967 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70369 48967 301 301 0 70068 0
vsize: 281476
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 173058 0 0 0 107480 535 0 0 25 0 1 0 968544141 288231424 48992 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70369 48992 301 301 0 70068 0
vsize: 281476
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 174160 0 0 0 108477 538 0 0 25 0 1 0 968544141 321785856 49007 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49007 301 301 0 78260 0
vsize: 314244
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 175256 0 0 0 109473 542 0 0 25 0 1 0 968544141 321785856 49016 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49016 301 301 0 78260 0
vsize: 314244
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 176348 0 0 0 110470 546 0 0 25 0 1 0 968544141 321785856 49021 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49021 301 301 0 78260 0
vsize: 314244
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 177447 0 0 0 111466 549 0 0 25 0 1 0 968544141 321785856 49033 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49033 301 301 0 78260 0
vsize: 314244
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 177468 0 0 0 112466 550 0 0 25 0 1 0 968544141 321785856 49054 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49054 301 301 0 78260 0
vsize: 314244
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 178570 0 0 0 113461 555 0 0 25 0 1 0 968544141 321785856 49069 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49069 301 301 0 78260 0
vsize: 314244
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 179673 0 0 0 114458 558 0 0 25 0 1 0 968544141 321785856 49085 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49085 301 301 0 78260 0
vsize: 314244
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 179805 0 0 0 115457 560 0 0 25 0 1 0 968544141 322326528 49217 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78693 49217 301 301 0 78392 0
vsize: 314772
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 180922 0 0 0 116454 562 0 0 25 0 1 0 968544141 322461696 49247 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78726 49247 301 301 0 78425 0
vsize: 314904
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 182054 0 0 0 117451 566 0 0 25 0 1 0 968544141 322596864 49292 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78759 49292 301 301 0 78458 0
vsize: 315036
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 183174 0 0 0 118447 570 0 0 25 0 1 0 968544141 322732032 49325 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78792 49325 301 301 0 78491 0
vsize: 315168
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18374
Raw data (stat): 18374 (pb2sat-v2) R 18373 20224 20223 0 -1 0 184278 0 0 0 119443 574 0 0 25 0 1 0 968544141 322732032 49342 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78792 49342 301 301 0 78491 0
vsize: 315168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.49 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18374
Raw data (stat): 18374 (pb2sat-v2) Z 18373 20224 20223 0 -1 12 184280 0 0 0 119577 584 0 0 25 0 1 0 968544141 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): 1201.49
CPU time (s): 1201.62
CPU user time (s): 1195.78
CPU system time (s): 5.84211
CPU usage (%): 100.011
Max. virtual memory (Kb): 315168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####