PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb
MD5SUM	4afffa77a031423497a8b9b377dd0292
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	689314
Optimality of the best value was proved	NO
Number of terms in the objective function	6069
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1576985250
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1576985250
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	6069
Total number of constraints	323
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	323
Minimum length of a constraint	21
Maximum length of a constraint	340
Trace number 42971

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 19:53:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26187 boxname=wulflinc2 idbench=1487 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4afffa77a031423497a8b9b377dd0292  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran17x17.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran17x17.opb
IDLAUNCH: 26187
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        642512 kB
Buffers:         27348 kB
Cached:         342512 kB
SwapCached:       1420 kB
Active:          31580 kB
Inactive:       340340 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642260 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14556 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:13:57 (client local time) WITH STATUS 0 IN 1200.74 SECONDS
stats: 26187 7 1200.74 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 18815/217603	Time: 49.6485/86400
c Decision: 18815/217603	Time: 54.9486/86400
c Decision: 18815/217603	Time: 61.0697/86400
c Decision: 18815/217603	Time: 67.3498/86400
c Decision: 18815/217603	Time: 74.2097/86400
c Decision: 18815/217603	Time: 81.7826/86400
c Decision: 18815/217603	Time: 86.9228/86400
c Decision: 18815/217603	Time: 94.0887/86400
c Decision: 18815/217603	Time: 101.668/86400
c Decision: 18815/217603	Time: 107.328/86400
c Decision: 18815/217603	Time: 115.009/86400
c Decision: 18815/217603	Time: 121.458/86400
c Decision: 18815/217603	Time: 127.895/86400
c Decision: 18815/217603	Time: 135.872/86400
c Decision: 18815/217603	Time: 143.206/86400
c Decision: 18815/217603	Time: 150.752/86400
c Decision: 18815/217603	Time: 157.464/86400
c Decision: 18815/217603	Time: 164.768/86400
c Decision: 18815/217603	Time: 172.523/86400
c Decision: 18815/217603	Time: 178.851/86400
c Decision: 18815/217603	Time: 185.606/86400
c Decision: 18815/217603	Time: 192.802/86400
c Decision: 18815/217603	Time: 199.356/86400
c Decision: 18815/217603	Time: 205.883/86400
c Decision: 18815/217603	Time: 212.131/86400
c Decision: 18815/217603	Time: 219.842/86400
c Decision: 18815/217603	Time: 226.237/86400
c Decision: 18815/217603	Time: 232.452/86400
c Decision: 18815/217603	Time: 238.925/86400
c Decision: 18815/217603	Time: 245.92/86400
c Decision: 18815/217603	Time: 253.141/86400
c Decision: 18815/217603	Time: 260.022/86400
c Decision: 18815/217603	Time: 266.525/86400
c Decision: 18815/217603	Time: 273.028/86400
c Decision: 18815/217603	Time: 280.165/86400
c Decision: 18815/217603	Time: 287.536/86400
c Decision: 18815/217603	Time: 294.363/86400
c Decision: 18815/217603	Time: 301.058/86400
c Decision: 18815/217603	Time: 307.251/86400
c Decision: 18815/217603	Time: 313.219/86400
c Decision: 18815/217603	Time: 319.702/86400
c Decision: 18815/217603	Time: 325.887/86400
c Decision: 18815/217603	Time: 331.914/86400
c Decision: 18815/217603	Time: 337.995/86400
c Decision: 18815/217603	Time: 344.589/86400
c Decision: 18815/217603	Time: 352.062/86400
c Decision: 18815/217603	Time: 359.435/86400
c Decision: 18815/217603	Time: 366.442/86400
c Decision: 18815/217603	Time: 373.302/86400
c Decision: 18815/217603	Time: 379.764/86400
c Decision: 18815/217603	Time: 387.067/86400
c Decision: 18815/217603	Time: 392.908/86400
c Decision: 18815/217603	Time: 399.664/86400
c Decision: 18815/217603	Time: 406.487/86400
c Decision: 18815/217603	Time: 413.082/86400
c Decision: 18815/217603	Time: 421.04/86400
c Decision: 18815/217603	Time: 427.48/86400
c Decision: 18815/217603	Time: 433.201/86400
c Decision: 18815/217603	Time: 438.455/86400
c Decision: 18815/217603	Time: 443.815/86400
c Decision: 18815/217603	Time: 451.075/86400
c Decision: 18815/217603	Time: 457.679/86400
c Decision: 18815/217603	Time: 464.107/86400
c Decision: 18815/217603	Time: 470.399/86400
c Decision: 18815/217603	Time: 476.629/86400
c Decision: 18815/217603	Time: 483.98/86400
c Decision: 18815/217603	Time: 489.887/86400
c Decision: 18815/217603	Time: 496.791/86400
c Decision: 18815/217603	Time: 503.02/86400
c Decision: 18815/217603	Time: 509.365/86400
c Decision: 18815/217603	Time: 517.484/86400
c Decision: 18815/217603	Time: 524.321/86400
c Decision: 18815/217603	Time: 530.237/86400
c Decision: 18815/217603	Time: 537.281/86400
c Decision: 18815/217603	Time: 544.656/86400
c Decision: 18815/217603	Time: 551.614/86400
c Decision: 18815/217603	Time: 558.538/86400
c Decision: 18815/217603	Time: 565.696/86400
c Decision: 18815/217603	Time: 572.647/86400
c Decision: 18815/217603	Time: 580.139/86400
c Decision: 18815/217603	Time: 586.436/86400
c Decision: 18815/217603	Time: 592.878/86400
c Decision: 18815/217603	Time: 599.273/86400
c Decision: 18815/217603	Time: 605.884/86400
c Decision: 18815/217603	Time: 613.274/86400
c Decision: 18815/217603	Time: 620.575/86400
c Decision: 18815/217603	Time: 627.505/86400
c Decision: 18815/217603	Time: 634.908/86400
c Decision: 18815/217603	Time: 641.756/86400
c Decision: 18815/217603	Time: 648.643/86400
c Decision: 18815/217603	Time: 656.618/86400
c Decision: 18815/217603	Time: 664.338/86400
c Decision: 18815/217603	Time: 671.889/86400
c Decision: 18815/217603	Time: 678.722/86400
c Decision: 18815/217603	Time: 685.71/86400
c Decision: 18815/217603	Time: 693.18/86400
c Decision: 18815/217603	Time: 700.9/86400
c Decision: 18815/217603	Time: 708.266/86400
c Decision: 18815/217603	Time: 714.675/86400
c Decision: 18815/217603	Time: 721.02/86400
c Decision: 18815/217603	Time: 728.943/86400
c Decision: 18815/217603	Time: 734.833/86400
c Decision: 18815/217603	Time: 740.924/86400
c Decision: 18815/217603	Time: 748.193/86400
c Decision: 18815/217603	Time: 754.545/86400
c Decision: 18815/217603	Time: 763.364/86400
c Decision: 18815/217603	Time: 770.348/86400
c Decision: 18815/217603	Time: 777.686/86400
c Decision: 18815/217603	Time: 785.651/86400
c Decision: 18815/217603	Time: 792.736/86400
c Decision: 18815/217603	Time: 799.958/86400
c Decision: 18815/217603	Time: 806.637/86400
c Decision: 18815/217603	Time: 814.01/86400
c Decision: 18815/217603	Time: 821.49/86400
c Decision: 18815/217603	Time: 828.695/86400
c Decision: 18815/217603	Time: 836.473/86400
c Decision: 18815/217603	Time: 843.89/86400
c Decision: 18815/217603	Time: 851.093/86400
c Decision: 18815/217603	Time: 859.789/86400
c Decision: 18815/217603	Time: 866.329/86400
c Decision: 18815/217603	Time: 874.65/86400
c Decision: 18815/217603	Time: 882.026/86400
c Decision: 18815/217603	Time: 888.422/86400
c Decision: 18815/217603	Time: 896.343/86400
c Decision: 18815/217603	Time: 905.244/86400
c Decision: 18815/217603	Time: 912.6/86400
c Decision: 18815/217603	Time: 920.209/86400
c Decision: 18815/217603	Time: 927.646/86400
c Decision: 18815/217603	Time: 935.3/86400
c Decision: 18815/217603	Time: 942.664/86400
c Decision: 18815/217603	Time: 950.77/86400
c Decision: 18815/217603	Time: 958.082/86400
c Decision: 18815/217603	Time: 965.172/86400
c Decision: 18815/217603	Time: 971.633/86400
c Decision: 18815/217603	Time: 979.49/86400
c Decision: 18815/217603	Time: 987.861/86400
c Decision: 18815/217603	Time: 993.995/86400
c Decision: 18815/217603	Time: 1001.37/86400
c Decision: 18815/217603	Time: 1009.37/86400
c Decision: 18815/217603	Time: 1016.74/86400
c Decision: 18815/217603	Time: 1024.35/86400
c Decision: 18815/217603	Time: 1031.99/86400
c Decision: 18815/217603	Time: 1039.77/86400
c Decision: 18815/217603	Time: 1046.71/86400
c Decision: 18815/217603	Time: 1054.07/86400
c Decision: 18815/217603	Time: 1061.92/86400
c Decision: 18815/217603	Time: 1069.33/86400
c Decision: 18815/217603	Time: 1076.57/86400
c Decision: 18815/217603	Time: 1084.87/86400
c Decision: 18815/217603	Time: 1093.11/86400
c Decision: 18815/217603	Time: 1100.5/86400
c Decision: 18815/217603	Time: 1107.5/86400
c Decision: 18815/217603	Time: 1115.09/86400
c Decision: 18815/217603	Time: 1123.03/86400
c Decision: 18815/217603	Time: 1131.86/86400
c Decision: 18815/217603	Time: 1141.01/86400
c Decision: 18815/217603	Time: 1148.21/86400
c Decision: 18815/217603	Time: 1155.86/86400
c Decision: 18815/217603	Time: 1164.58/86400
c Decision: 18815/217603	Time: 1171.91/86400
c Decision: 18815/217603	Time: 1180.18/86400
c Decision: 18815/217603	Time: 1188.25/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.92 0.98 0.91 2/54 14969
Raw data (stat): 14969 (runsolver) R 14968 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973441776 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.0002 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 25916 0 0 0 937 61 0 0 25 0 1 0 973441776 76918784 15011 4294967295 134512640 135730672 3221224576 3221213240 135284277 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18779 15011 301 301 0 18478 0
vsize: 75116
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 28492 0 0 0 1930 68 0 0 25 0 1 0 973441776 85946368 17160 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20983 17160 301 301 0 20682 0
vsize: 83932
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 29041 0 0 0 2928 70 0 0 25 0 1 0 973441776 88244224 17709 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21544 17709 301 301 0 21243 0
vsize: 86176
[startup+40.0001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 29541 0 0 0 3925 73 0 0 25 0 1 0 973441776 90316800 18209 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22050 18209 301 301 0 21749 0
vsize: 88200
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 29692 0 0 0 4922 76 0 0 25 0 1 0 973441776 90935296 18360 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22201 18360 301 301 0 21900 0
vsize: 88804
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 30222 0 0 0 5919 79 0 0 25 0 1 0 973441776 91394048 18464 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22313 18464 301 301 0 22012 0
vsize: 89252
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 30808 0 0 0 6914 83 0 0 25 0 1 0 973441776 92172288 18624 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22503 18624 301 301 0 22202 0
vsize: 90012
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 31281 0 0 0 7910 87 0 0 25 0 1 0 973441776 92319744 18671 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22539 18671 301 301 0 22238 0
vsize: 90156
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 31753 0 0 0 8905 92 0 0 25 0 1 0 973441776 92467200 18717 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22575 18717 301 301 0 22274 0
vsize: 90300
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 32647 0 0 0 9901 96 0 0 25 0 1 0 973441776 92614656 18759 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22611 18759 301 301 0 22310 0
vsize: 90444
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 33111 0 0 0 10897 100 0 0 25 0 1 0 973441776 92778496 18797 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22651 18797 301 301 0 22350 0
vsize: 90604
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 33987 0 0 0 11892 105 0 0 25 0 1 0 973441776 92778496 18821 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22651 18821 301 301 0 22350 0
vsize: 90604
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 34423 0 0 0 12888 109 0 0 25 0 1 0 973441776 92778496 18831 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22651 18831 301 301 0 22350 0
vsize: 90604
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 35315 0 0 0 13882 115 0 0 25 0 1 0 973441776 92942336 18871 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22691 18871 301 301 0 22390 0
vsize: 90764
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 35830 0 0 0 14878 119 0 0 25 0 1 0 973441776 93212672 18960 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22757 18960 301 301 0 22456 0
vsize: 91028
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 36699 0 0 0 15873 124 0 0 25 0 1 0 973441776 94957568 19403 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23183 19403 301 301 0 22882 0
vsize: 92732
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 37133 0 0 0 16870 128 0 0 25 0 1 0 973441776 93212672 18985 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22757 18985 301 301 0 22456 0
vsize: 91028
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 37621 0 0 0 17865 132 0 0 25 0 1 0 973441776 93519872 19047 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22832 19047 301 301 0 22531 0
vsize: 91328
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 38498 0 0 0 18862 136 0 0 25 0 1 0 973441776 93519872 19072 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22832 19072 301 301 0 22531 0
vsize: 91328
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 38943 0 0 0 19858 140 0 0 25 0 1 0 973441776 93683712 19091 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22872 19091 301 301 0 22571 0
vsize: 91488
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 39830 0 0 0 20853 146 0 0 25 0 1 0 973441776 93683712 19126 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22872 19126 301 301 0 22571 0
vsize: 91488
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 40276 0 0 0 21849 150 0 0 25 0 1 0 973441776 93814784 19146 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22904 19146 301 301 0 22603 0
vsize: 91616
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 41147 0 0 0 22845 154 0 0 25 0 1 0 973441776 93814784 19165 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22904 19165 301 301 0 22603 0
vsize: 91616
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 41594 0 0 0 23841 158 0 0 25 0 1 0 973441776 93814784 19186 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22904 19186 301 301 0 22603 0
vsize: 91616
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 42495 0 0 0 24837 162 0 0 25 0 1 0 973441776 94011392 19235 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 19235 301 301 0 22651 0
vsize: 91808
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 42970 0 0 0 25833 166 0 0 25 0 1 0 973441776 94175232 19284 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22992 19284 301 301 0 22691 0
vsize: 91968
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 43836 0 0 0 26829 171 0 0 25 0 1 0 973441776 95920128 19724 4294967295 134512640 135730672 3221224576 3221222848 134774598 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23418 19724 301 301 0 23117 0
vsize: 93672
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 44283 0 0 0 27824 176 0 0 25 0 1 0 973441776 94339072 19319 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23032 19319 301 301 0 22731 0
vsize: 92128
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 45163 0 0 0 28818 181 0 0 25 0 1 0 973441776 96083968 19773 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23458 19773 301 301 0 23157 0
vsize: 93832
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 45607 0 0 0 29814 186 0 0 25 0 1 0 973441776 94339072 19365 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23032 19365 301 301 0 22731 0
vsize: 92128
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 46056 0 0 0 30809 191 0 0 25 0 1 0 973441776 94470144 19388 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23064 19388 301 301 0 22763 0
vsize: 92256
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 46937 0 0 0 31804 197 0 0 25 0 1 0 973441776 94470144 19417 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23064 19417 301 301 0 22763 0
vsize: 92256
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 47816 0 0 0 32799 202 0 0 25 0 1 0 973441776 94470144 19444 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23064 19444 301 301 0 22763 0
vsize: 92256
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 48263 0 0 0 33795 206 0 0 25 0 1 0 973441776 94601216 19465 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23096 19465 301 301 0 22795 0
vsize: 92384
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 49140 0 0 0 34790 211 0 0 25 0 1 0 973441776 94601216 19490 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23096 19490 301 301 0 22795 0
vsize: 92384
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14969
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 49593 0 0 0 35786 215 0 0 25 0 1 0 973441776 94601216 19517 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23096 19517 301 301 0 22795 0
vsize: 92384
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14970
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 50474 0 0 0 36781 221 0 0 25 0 1 0 973441776 94732288 19546 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23128 19546 301 301 0 22827 0
vsize: 92512
[startup+380.009 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15022
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 50932 0 0 0 37772 229 0 0 25 0 1 0 973441776 94879744 19578 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23164 19578 301 301 0 22863 0
vsize: 92656
[startup+390.009 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15022
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 51808 0 0 0 38767 234 0 0 25 0 1 0 973441776 94879744 19602 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23164 19602 301 301 0 22863 0
vsize: 92656
[startup+400.009 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15022
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 52260 0 0 0 39763 239 0 0 25 0 1 0 973441776 94879744 19628 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23164 19628 301 301 0 22863 0
vsize: 92656
[startup+410.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15022
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 53137 0 0 0 40758 244 0 0 25 0 1 0 973441776 95014912 19653 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23197 19653 301 301 0 22896 0
vsize: 92788
[startup+420.009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15022
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 53617 0 0 0 41752 250 0 0 25 0 1 0 973441776 95186944 19707 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23239 19707 301 301 0 22938 0
vsize: 92956
[startup+430.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15022
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 54506 0 0 0 42748 254 0 0 25 0 1 0 973441776 96931840 20170 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23665 20170 301 301 0 23364 0
vsize: 94660
[startup+440.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 54949 0 0 0 43743 259 0 0 25 0 1 0 973441776 95186944 19761 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23239 19761 301 301 0 22938 0
vsize: 92956
[startup+450.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 55837 0 0 0 44738 264 0 0 25 0 1 0 973441776 95318016 19797 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23271 19797 301 301 0 22970 0
vsize: 93084
[startup+460.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 56719 0 0 0 45734 269 0 0 25 0 1 0 973441776 97062912 20253 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23697 20253 301 301 0 23396 0
vsize: 94788
[startup+470.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 57169 0 0 0 46730 273 0 0 25 0 1 0 973441776 95449088 19851 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23303 19851 301 301 0 23002 0
vsize: 93212
[startup+480.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 58049 0 0 0 47724 279 0 0 25 0 1 0 973441776 97193984 20305 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23729 20305 301 301 0 23428 0
vsize: 94916
[startup+490.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 58506 0 0 0 48719 285 0 0 25 0 1 0 973441776 95580160 19910 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23335 19910 301 301 0 23034 0
vsize: 93340
[startup+500.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 59391 0 0 0 49713 290 0 0 25 0 1 0 973441776 95580160 19943 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23335 19943 301 301 0 23034 0
vsize: 93340
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 59844 0 0 0 50708 295 0 0 25 0 1 0 973441776 95711232 19970 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23367 19970 301 301 0 23066 0
vsize: 93468
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 60722 0 0 0 51703 300 0 0 25 0 1 0 973441776 95711232 19996 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23367 19996 301 301 0 23066 0
vsize: 93468
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 61187 0 0 0 52699 304 0 0 25 0 1 0 973441776 95891456 20035 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23411 20035 301 301 0 23110 0
vsize: 93644
[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 62109 0 0 0 53696 309 0 0 25 0 1 0 973441776 97804288 20531 4294967295 134512640 135730672 3221224576 3221222752 134772756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23878 20531 301 301 0 23577 0
vsize: 95512
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 62549 0 0 0 54692 313 0 0 25 0 1 0 973441776 96059392 20119 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23452 20119 301 301 0 23151 0
vsize: 93808
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 62992 0 0 0 55688 316 0 0 25 0 1 0 973441776 96059392 20136 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23452 20136 301 301 0 23151 0
vsize: 93808
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 63874 0 0 0 56684 321 0 0 25 0 1 0 973441776 96190464 20166 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23484 20166 301 301 0 23183 0
vsize: 93936
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 64320 0 0 0 57680 325 0 0 25 0 1 0 973441776 96190464 20186 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23484 20186 301 301 0 23183 0
vsize: 93936
[startup+590.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 65194 0 0 0 58676 329 0 0 25 0 1 0 973441776 98066432 20634 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23942 20634 301 301 0 23641 0
vsize: 95768
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 65220 0 0 0 59673 332 0 0 25 0 1 0 973441776 96321536 20234 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23516 20234 301 301 0 23215 0
vsize: 94064
[startup+610.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 66100 0 0 0 60667 338 0 0 25 0 1 0 973441776 96321536 20262 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23516 20262 301 301 0 23215 0
vsize: 94064
[startup+620.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 66556 0 0 0 61663 343 0 0 25 0 1 0 973441776 96452608 20292 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23548 20292 301 301 0 23247 0
vsize: 94192
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 67448 0 0 0 62658 348 0 0 25 0 1 0 973441776 96608256 20332 4294967295 134512640 135730672 3221224576 3221223196 134783158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23586 20332 301 301 0 23285 0
vsize: 94344
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 67895 0 0 0 63655 352 0 0 25 0 1 0 973441776 96608256 20353 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23586 20353 301 301 0 23285 0
vsize: 94344
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 68358 0 0 0 64650 356 0 0 25 0 1 0 973441776 96759808 20390 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23623 20390 301 301 0 23322 0
vsize: 94492
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 69232 0 0 0 65646 361 0 0 25 0 1 0 973441776 96759808 20412 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23623 20412 301 301 0 23322 0
vsize: 94492
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 69679 0 0 0 66642 365 0 0 25 0 1 0 973441776 96759808 20433 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23623 20433 301 301 0 23322 0
vsize: 94492
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 70122 0 0 0 67639 368 0 0 25 0 1 0 973441776 96759808 20450 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23623 20450 301 301 0 23322 0
vsize: 94492
[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 70995 0 0 0 68634 373 0 0 25 0 1 0 973441776 96759808 20471 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23623 20471 301 301 0 23322 0
vsize: 94492
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 71448 0 0 0 69631 377 0 0 25 0 1 0 973441776 96894976 20498 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23656 20498 301 301 0 23355 0
vsize: 94624
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 71895 0 0 0 70626 381 0 0 25 0 1 0 973441776 96894976 20519 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23656 20519 301 301 0 23355 0
vsize: 94624
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 72770 0 0 0 71622 386 0 0 25 0 1 0 973441776 96894976 20542 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23656 20542 301 301 0 23355 0
vsize: 94624
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15024
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 73228 0 0 0 72618 389 0 0 25 0 1 0 973441776 97026048 20574 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23688 20574 301 301 0 23387 0
vsize: 94752
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 74110 0 0 0 73614 394 0 0 25 0 1 0 973441776 97026048 20604 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23688 20604 301 301 0 23387 0
vsize: 94752
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 74573 0 0 0 74611 397 0 0 25 0 1 0 973441776 97161216 20641 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23721 20641 301 301 0 23420 0
vsize: 94884
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 75450 0 0 0 75608 401 0 0 25 0 1 0 973441776 97161216 20666 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23721 20666 301 301 0 23420 0
vsize: 94884
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 75899 0 0 0 76603 406 0 0 25 0 1 0 973441776 97161216 20689 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23721 20689 301 301 0 23420 0
vsize: 94884
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 76769 0 0 0 77599 410 0 0 25 0 1 0 973441776 99037184 21133 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24179 21133 301 301 0 23878 0
vsize: 96716
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 77216 0 0 0 78596 413 0 0 25 0 1 0 973441776 97292288 20728 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23753 20728 301 301 0 23452 0
vsize: 95012
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 77668 0 0 0 79592 417 0 0 25 0 1 0 973441776 97292288 20754 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23753 20754 301 301 0 23452 0
vsize: 95012
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 78543 0 0 0 80587 422 0 0 25 0 1 0 973441776 97427456 20777 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23786 20777 301 301 0 23485 0
vsize: 95144
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 78986 0 0 0 81584 425 0 0 25 0 1 0 973441776 97427456 20794 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23786 20794 301 301 0 23485 0
vsize: 95144
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 79438 0 0 0 82580 430 0 0 25 0 1 0 973441776 97427456 20820 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23786 20820 301 301 0 23485 0
vsize: 95144
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 80316 0 0 0 83576 434 0 0 25 0 1 0 973441776 97427456 20846 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23786 20846 301 301 0 23485 0
vsize: 95144
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 80763 0 0 0 84573 437 0 0 25 0 1 0 973441776 97562624 20867 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23819 20867 301 301 0 23518 0
vsize: 95276
[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 81218 0 0 0 85570 441 0 0 25 0 1 0 973441776 97562624 20896 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23819 20896 301 301 0 23518 0
vsize: 95276
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 82085 0 0 0 86565 445 0 0 25 0 1 0 973441776 97562624 20911 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23819 20911 301 301 0 23518 0
vsize: 95276
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 82544 0 0 0 87561 450 0 0 25 0 1 0 973441776 97693696 20944 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23851 20944 301 301 0 23550 0
vsize: 95404
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 82990 0 0 0 88556 455 0 0 25 0 1 0 973441776 97693696 20964 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23851 20964 301 301 0 23550 0
vsize: 95404
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 83867 0 0 0 89552 459 0 0 25 0 1 0 973441776 97693696 20989 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23851 20989 301 301 0 23550 0
vsize: 95404
[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 84312 0 0 0 90548 463 0 0 25 0 1 0 973441776 97693696 21008 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23851 21008 301 301 0 23550 0
vsize: 95404
[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 84760 0 0 0 91544 468 0 0 25 0 1 0 973441776 97841152 21030 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23887 21030 301 301 0 23586 0
vsize: 95548
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 85628 0 0 0 92541 471 0 0 25 0 1 0 973441776 99586048 21472 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24313 21472 301 301 0 24012 0
vsize: 97252
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 86077 0 0 0 93537 475 0 0 25 0 1 0 973441776 97841152 21069 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23887 21069 301 301 0 23586 0
vsize: 95548
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 86527 0 0 0 94533 479 0 0 25 0 1 0 973441776 97841152 21093 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23887 21093 301 301 0 23586 0
vsize: 95548
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 87403 0 0 0 95530 483 0 0 25 0 1 0 973441776 97976320 21117 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23920 21117 301 301 0 23619 0
vsize: 95680
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 87856 0 0 0 96526 487 0 0 25 0 1 0 973441776 97976320 21144 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23920 21144 301 301 0 23619 0
vsize: 95680
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 88310 0 0 0 97523 490 0 0 25 0 1 0 973441776 97976320 21172 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23920 21172 301 301 0 23619 0
vsize: 95680
[startup+990.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 89184 0 0 0 98518 495 0 0 25 0 1 0 973441776 98111488 21194 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23953 21194 301 301 0 23652 0
vsize: 95812
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 89632 0 0 0 99514 499 0 0 25 0 1 0 973441776 98111488 21216 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23953 21216 301 301 0 23652 0
vsize: 95812
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 90081 0 0 0 100511 503 0 0 25 0 1 0 973441776 98111488 21239 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23953 21239 301 301 0 23652 0
vsize: 95812
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 90954 0 0 0 101505 508 0 0 25 0 1 0 973441776 98246656 21260 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23986 21260 301 301 0 23685 0
vsize: 95944
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 91412 0 0 0 102501 513 0 0 25 0 1 0 973441776 98246656 21292 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23986 21292 301 301 0 23685 0
vsize: 95944
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 91861 0 0 0 103497 517 0 0 25 0 1 0 973441776 98246656 21315 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23986 21315 301 301 0 23685 0
vsize: 95944
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 92747 0 0 0 104494 521 0 0 25 0 1 0 973441776 98390016 21349 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24021 21349 301 301 0 23720 0
vsize: 96084
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 93195 0 0 0 105491 524 0 0 25 0 1 0 973441776 98390016 21371 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24021 21371 301 301 0 23720 0
vsize: 96084
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 93670 0 0 0 106487 528 0 0 25 0 1 0 973441776 98529280 21420 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24055 21420 301 301 0 23754 0
vsize: 96220
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 94534 0 0 0 107482 533 0 0 25 0 1 0 973441776 98529280 21432 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24055 21432 301 301 0 23754 0
vsize: 96220
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 94979 0 0 0 108478 537 0 0 25 0 1 0 973441776 98529280 21451 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24055 21451 301 301 0 23754 0
vsize: 96220
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 95430 0 0 0 109474 542 0 0 25 0 1 0 973441776 98664448 21476 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24088 21476 301 301 0 23787 0
vsize: 96352
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 96299 0 0 0 110470 545 0 0 25 0 1 0 973441776 98664448 21493 4294967295 134512640 135730672 3221224576 3221223200 134783268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24088 21493 301 301 0 23787 0
vsize: 96352
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 96753 0 0 0 111468 548 0 0 25 0 1 0 973441776 98664448 21521 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24088 21521 301 301 0 23787 0
vsize: 96352
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 97200 0 0 0 112465 552 0 0 25 0 1 0 973441776 98664448 21542 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24088 21542 301 301 0 23787 0
vsize: 96352
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 97647 0 0 0 113461 555 0 0 25 0 1 0 973441776 98795520 21563 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24120 21563 301 301 0 23819 0
vsize: 96480
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 98518 0 0 0 114457 560 0 0 25 0 1 0 973441776 100540416 22008 4294967295 134512640 135730672 3221224576 3221222736 134769183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24546 22008 301 301 0 24245 0
vsize: 98184
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 98972 0 0 0 115454 563 0 0 25 0 1 0 973441776 98795520 21610 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24120 21610 301 301 0 23819 0
vsize: 96480
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 99423 0 0 0 116451 566 0 0 25 0 1 0 973441776 98926592 21635 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24152 21635 301 301 0 23851 0
vsize: 96608
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 99871 0 0 0 117448 569 0 0 25 0 1 0 973441776 98926592 21657 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24152 21657 301 301 0 23851 0
vsize: 96608
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 100745 0 0 0 118444 573 0 0 25 0 1 0 973441776 98926592 21679 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24152 21679 301 301 0 23851 0
vsize: 96608
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15026
Raw data (stat): 14969 (pb2sat-v2) R 14968 31399 31398 0 -1 0 101194 0 0 0 119441 577 0 0 25 0 1 0 973441776 98926592 21702 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24152 21702 301 301 0 23851 0
vsize: 96608
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.59 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 15026
Raw data (stat): 14969 (pb2sat-v2) Z 14968 31399 31398 0 -1 12 101196 0 0 0 119491 581 0 0 25 0 1 0 973441776 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.59
CPU time (s): 1200.74
CPU user time (s): 1194.92
CPU system time (s): 5.81712
CPU usage (%): 100.012
Max. virtual memory (Kb): 98184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####